|
Paolo Bonzini |
750d89 |
Open Virtual Machine Firmware (OVMF) Status Report
|
|
Paolo Bonzini |
750d89 |
July 2014 (with updates in August 2014 - January 2015)
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Author: Laszlo Ersek <lersek@redhat.com>
|
|
Paolo Bonzini |
750d89 |
Copyright (C) 2014-2015, Red Hat, Inc.
|
|
Paolo Bonzini |
750d89 |
CC BY-SA 4.0 <http://creativecommons.org/licenses/by-sa/4.0/>
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Abstract
|
|
Paolo Bonzini |
750d89 |
--------
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The Unified Extensible Firmware Interface (UEFI) is a specification that
|
|
Paolo Bonzini |
750d89 |
defines a software interface between an operating system and platform firmware.
|
|
Paolo Bonzini |
750d89 |
UEFI is designed to replace the Basic Input/Output System (BIOS) firmware
|
|
Paolo Bonzini |
750d89 |
interface.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Hardware platform vendors have been increasingly adopting the UEFI
|
|
Paolo Bonzini |
750d89 |
Specification to govern their boot firmware developments. OVMF (Open Virtual
|
|
Paolo Bonzini |
750d89 |
Machine Firmware), a sub-project of Intel's EFI Development Kit II (edk2),
|
|
Paolo Bonzini |
750d89 |
enables UEFI support for Ia32 and X64 Virtual Machines.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
This paper reports on the status of the OVMF project, treats features and
|
|
Paolo Bonzini |
750d89 |
limitations, gives end-user hints, and examines some areas in-depth.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Keywords: ACPI, boot options, CSM, edk2, firmware, flash, fw_cfg, KVM, memory
|
|
Paolo Bonzini |
750d89 |
map, non-volatile variables, OVMF, PCD, QEMU, reset vector, S3, Secure Boot,
|
|
Paolo Bonzini |
750d89 |
Smbios, SMM, TianoCore, UEFI, VBE shim, Virtio
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Table of Contents
|
|
Paolo Bonzini |
750d89 |
-----------------
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- Motivation
|
|
Paolo Bonzini |
750d89 |
- Scope
|
|
Paolo Bonzini |
750d89 |
- Example qemu invocation
|
|
Paolo Bonzini |
750d89 |
- Installation of OVMF guests with virt-manager and virt-install
|
|
Paolo Bonzini |
750d89 |
- Supported guest operating systems
|
|
Paolo Bonzini |
750d89 |
- Compatibility Support Module (CSM)
|
|
Paolo Bonzini |
750d89 |
- Phases of the boot process
|
|
Paolo Bonzini |
750d89 |
- Project structure
|
|
Paolo Bonzini |
750d89 |
- Platform Configuration Database (PCD)
|
|
Paolo Bonzini |
750d89 |
- Firmware image structure
|
|
Paolo Bonzini |
750d89 |
- S3 (suspend to RAM and resume)
|
|
Paolo Bonzini |
750d89 |
- A comprehensive memory map of OVMF
|
|
Paolo Bonzini |
750d89 |
- Known Secure Boot limitations
|
|
Paolo Bonzini |
750d89 |
- Variable store and LockBox in SMRAM
|
|
Paolo Bonzini |
750d89 |
- Select features
|
|
Paolo Bonzini |
750d89 |
- X64-specific reset vector for OVMF
|
|
Paolo Bonzini |
750d89 |
- Client library for QEMU's firmware configuration interface
|
|
Paolo Bonzini |
750d89 |
- Guest ACPI tables
|
|
Paolo Bonzini |
750d89 |
- Guest SMBIOS tables
|
|
Paolo Bonzini |
750d89 |
- Platform-specific boot policy
|
|
Paolo Bonzini |
750d89 |
- Virtio drivers
|
|
Paolo Bonzini |
750d89 |
- Platform Driver
|
|
Paolo Bonzini |
750d89 |
- Video driver
|
|
Paolo Bonzini |
750d89 |
- Afterword
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Motivation
|
|
Paolo Bonzini |
750d89 |
----------
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
OVMF extends the usual benefits of virtualization to UEFI. Reasons to use OVMF
|
|
Paolo Bonzini |
750d89 |
include:
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- Legacy-free guests. A UEFI-based environment eliminates dependencies on
|
|
Paolo Bonzini |
750d89 |
legacy address spaces and devices. This is especially beneficial when used
|
|
Paolo Bonzini |
750d89 |
with physically assigned devices where the legacy operating mode is
|
|
Paolo Bonzini |
750d89 |
troublesome to support, ex. assigned graphics cards operating in legacy-free,
|
|
Paolo Bonzini |
750d89 |
non-VGA mode in the guest.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- Future proof guests. The x86 market is steadily moving towards a legacy-free
|
|
Paolo Bonzini |
750d89 |
platform and guest operating systems may eventually require a UEFI
|
|
Paolo Bonzini |
750d89 |
environment. OVMF provides that next generation firmware support for such
|
|
Paolo Bonzini |
750d89 |
applications.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- GUID partition tables (GPTs). MBR partition tables represent partition
|
|
Paolo Bonzini |
750d89 |
offsets and sizes with 32-bit integers, in units of 512 byte sectors. This
|
|
Paolo Bonzini |
750d89 |
limits the addressable portion of the disk to 2 TB. GPT represents logical
|
|
Paolo Bonzini |
750d89 |
block addresses with 64 bits.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- Liberating boot loader binaries from residing in contested and poorly defined
|
|
Paolo Bonzini |
750d89 |
space between the partition table and the partitions.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- Support for booting off disks (eg. pass-through physical SCSI devices) with a
|
|
Paolo Bonzini |
750d89 |
4kB physical and logical sector size, i.e. which don't have 512-byte block
|
|
Paolo Bonzini |
750d89 |
emulation.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- Development and testing of Secure Boot-related features in guest operating
|
|
Paolo Bonzini |
750d89 |
systems. Although OVMF's Secure Boot implementation is currently not secure
|
|
Paolo Bonzini |
750d89 |
against malicious UEFI drivers, UEFI applications, and guest kernels,
|
|
Paolo Bonzini |
750d89 |
trusted guest code that only uses standard UEFI interfaces will find a valid
|
|
Paolo Bonzini |
750d89 |
Secure Boot environment under OVMF, with working key enrollment and signature
|
|
Paolo Bonzini |
750d89 |
validation. This enables development and testing of portable, Secure
|
|
Paolo Bonzini |
750d89 |
Boot-related guest code.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- Presence of non-volatile UEFI variables. This furthers development and
|
|
Paolo Bonzini |
750d89 |
testing of OS installers, UEFI boot loaders, and unique, dependent guest OS
|
|
Paolo Bonzini |
750d89 |
features. For example, an efivars-backed pstore (persistent storage)
|
|
Paolo Bonzini |
750d89 |
file system works under Linux.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- Altogether, a near production-level UEFI environment for virtual machines
|
|
Paolo Bonzini |
750d89 |
when Secure Boot is not required.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Scope
|
|
Paolo Bonzini |
750d89 |
-----
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
UEFI and especially Secure Boot have been topics fraught with controversy and
|
|
Paolo Bonzini |
750d89 |
political activism. This paper sidesteps these aspects and strives to focus on
|
|
Paolo Bonzini |
750d89 |
use cases, hands-on information for end users, and technical details.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Unless stated otherwise, the expression "X supports Y" means "X is technically
|
|
Paolo Bonzini |
750d89 |
compatible with interfaces provided or required by Y". It does not imply
|
|
Paolo Bonzini |
750d89 |
support as an activity performed by natural persons or companies.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
We discuss the status of OVMF at a state no earlier than edk2 SVN revision
|
|
Paolo Bonzini |
750d89 |
16158. The paper concentrates on upstream projects and communities, but
|
|
Paolo Bonzini |
750d89 |
occasionally it pans out about OVMF as it is planned to be shipped (as
|
|
Paolo Bonzini |
750d89 |
Technical Preview) in Red Hat Enterprise Linux 7.1. Such digressions are marked
|
|
Paolo Bonzini |
750d89 |
with the [RHEL] margin notation.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Although other VMMs and accelerators are known to support (or plan to support)
|
|
Paolo Bonzini |
750d89 |
OVMF to various degrees -- for example, VirtualBox, Xen, BHyVe --, we'll
|
|
Paolo Bonzini |
750d89 |
emphasize OVMF on qemu/KVM, because QEMU and KVM have always been Red Hat's
|
|
Paolo Bonzini |
750d89 |
focus wrt. OVMF.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The recommended upstream QEMU version is 2.1+. The recommended host Linux
|
|
Paolo Bonzini |
750d89 |
kernel (KVM) version is 3.10+. The recommended QEMU machine type is
|
|
Paolo Bonzini |
750d89 |
"qemu-system-x86_64 -M pc-i440fx-2.1" or later.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The term "TianoCore" is used interchangeably with "edk2" in this paper.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Example qemu invocation
|
|
Paolo Bonzini |
750d89 |
-----------------------
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The following commands give a quick foretaste of installing a UEFI operating
|
|
Paolo Bonzini |
750d89 |
system on OVMF, relying only on upstream edk2 and qemu.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- Clone and build OVMF:
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
git clone https://github.com/tianocore/edk2.git
|
|
Paolo Bonzini |
750d89 |
cd edk2
|
|
Paolo Bonzini |
750d89 |
nice OvmfPkg/build.sh -a X64 -n $(getconf _NPROCESSORS_ONLN)
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(Note that this ad-hoc build will not include the Secure Boot feature.)
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- The build output file, "OVMF.fd", includes not only the executable firmware
|
|
Paolo Bonzini |
750d89 |
code, but the non-volatile variable store as well. For this reason, make a
|
|
Paolo Bonzini |
750d89 |
VM-specific copy of the build output (the variable store should be private to
|
|
Paolo Bonzini |
750d89 |
the virtual machine):
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
cp Build/OvmfX64/DEBUG_GCC4?/FV/OVMF.fd fedora.flash
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(The variable store and the firmware executable are also available in the
|
|
Paolo Bonzini |
750d89 |
build output as separate files: "OVMF_VARS.fd" and "OVMF_CODE.fd". This
|
|
Paolo Bonzini |
750d89 |
enables central management and updates of the firmware executable, while each
|
|
Paolo Bonzini |
750d89 |
virtual machine can retain its own variable store.)
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- Download a Fedora LiveCD:
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
wget https://dl.fedoraproject.org/pub/fedora/linux/releases/20/Live/x86_64/Fedora-Live-Xfce-x86_64-20-1.iso
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- Create a virtual disk (qcow2 format, 20 GB in size):
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
qemu-img create -f qcow2 fedora.img 20G
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- Create the following qemu wrapper script under the name "fedora.sh":
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
# Basic virtual machine properties: a recent i440fx machine type, KVM
|
|
Paolo Bonzini |
750d89 |
# acceleration, 2048 MB RAM, two VCPUs.
|
|
Paolo Bonzini |
750d89 |
OPTS="-M pc-i440fx-2.1 -enable-kvm -m 2048 -smp 2"
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
# The OVMF binary, including the non-volatile variable store, appears as a
|
|
Paolo Bonzini |
750d89 |
# "normal" qemu drive on the host side, and it is exposed to the guest as a
|
|
Paolo Bonzini |
750d89 |
# persistent flash device.
|
|
Paolo Bonzini |
750d89 |
OPTS="$OPTS -drive if=pflash,format=raw,file=fedora.flash"
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
# The hard disk is exposed to the guest as a virtio-block device. OVMF has a
|
|
Paolo Bonzini |
750d89 |
# driver stack that supports such a disk. We specify this disk as first boot
|
|
Paolo Bonzini |
750d89 |
# option. OVMF recognizes the boot order specification.
|
|
Paolo Bonzini |
750d89 |
OPTS="$OPTS -drive id=disk0,if=none,format=qcow2,file=fedora.img"
|
|
Paolo Bonzini |
750d89 |
OPTS="$OPTS -device virtio-blk-pci,drive=disk0,bootindex=0"
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
# The Fedora installer disk appears as an IDE CD-ROM in the guest. This is
|
|
Paolo Bonzini |
750d89 |
# the 2nd boot option.
|
|
Paolo Bonzini |
750d89 |
OPTS="$OPTS -drive id=cd0,if=none,format=raw,readonly"
|
|
Paolo Bonzini |
750d89 |
OPTS="$OPTS,file=Fedora-Live-Xfce-x86_64-20-1.iso"
|
|
Paolo Bonzini |
750d89 |
OPTS="$OPTS -device ide-cd,bus=ide.1,drive=cd0,bootindex=1"
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
# The following setting enables S3 (suspend to RAM). OVMF supports S3
|
|
Paolo Bonzini |
750d89 |
# suspend/resume.
|
|
Paolo Bonzini |
750d89 |
OPTS="$OPTS -global PIIX4_PM.disable_s3=0"
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
# OVMF emits a number of info / debug messages to the QEMU debug console, at
|
|
Paolo Bonzini |
750d89 |
# ioport 0x402. We configure qemu so that the debug console is indeed
|
|
Paolo Bonzini |
750d89 |
# available at that ioport. We redirect the host side of the debug console to
|
|
Paolo Bonzini |
750d89 |
# a file.
|
|
Paolo Bonzini |
750d89 |
OPTS="$OPTS -global isa-debugcon.iobase=0x402 -debugcon file:fedora.ovmf.log"
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
# QEMU accepts various commands and queries from the user on the monitor
|
|
Paolo Bonzini |
750d89 |
# interface. Connect the monitor with the qemu process's standard input and
|
|
Paolo Bonzini |
750d89 |
# output.
|
|
Paolo Bonzini |
750d89 |
OPTS="$OPTS -monitor stdio"
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
# A USB tablet device in the guest allows for accurate pointer tracking
|
|
Paolo Bonzini |
750d89 |
# between the host and the guest.
|
|
Paolo Bonzini |
750d89 |
OPTS="$OPTS -device piix3-usb-uhci -device usb-tablet"
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
# Provide the guest with a virtual network card (virtio-net).
|
|
Paolo Bonzini |
750d89 |
#
|
|
Paolo Bonzini |
750d89 |
# Normally, qemu provides the guest with a UEFI-conformant network driver
|
|
Paolo Bonzini |
750d89 |
# from the iPXE project, in the form of a PCI expansion ROM. For this test,
|
|
Paolo Bonzini |
750d89 |
# we disable the expansion ROM and allow OVMF's built-in virtio-net driver to
|
|
Paolo Bonzini |
750d89 |
# take effect.
|
|
Paolo Bonzini |
750d89 |
#
|
|
Paolo Bonzini |
750d89 |
# On the host side, we use the SLIRP ("user") network backend, which has
|
|
Paolo Bonzini |
750d89 |
# relatively low performance, but it doesn't require extra privileges from
|
|
Paolo Bonzini |
750d89 |
# the user executing qemu.
|
|
Paolo Bonzini |
750d89 |
OPTS="$OPTS -netdev id=net0,type=user"
|
|
Paolo Bonzini |
750d89 |
OPTS="$OPTS -device virtio-net-pci,netdev=net0,romfile="
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
# A Spice QXL GPU is recommended as the primary VGA-compatible display
|
|
Paolo Bonzini |
750d89 |
# device. It is a full-featured virtual video card, with great operating
|
|
Paolo Bonzini |
750d89 |
# system driver support. OVMF supports it too.
|
|
Paolo Bonzini |
750d89 |
OPTS="$OPTS -device qxl-vga"
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
qemu-system-x86_64 $OPTS
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- Start the Fedora guest:
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
sh fedora.sh
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- The above command can be used for both installation and later boots of the
|
|
Paolo Bonzini |
750d89 |
Fedora guest.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- In order to verify basic OVMF network connectivity:
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- Assuming that the non-privileged user running qemu belongs to group G
|
|
Paolo Bonzini |
750d89 |
(where G is a numeric identifier), ensure as root on the host that the
|
|
Paolo Bonzini |
750d89 |
group range in file "/proc/sys/net/ipv4/ping_group_range" includes G.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- As the non-privileged user, boot the guest as usual.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- On the TianoCore splash screen, press ESC.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- Navigate to Boot Manager | EFI Internal Shell
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- In the UEFI Shell, issue the following commands:
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
ifconfig -s eth0 dhcp
|
|
Paolo Bonzini |
750d89 |
ping A.B.C.D
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
where A.B.C.D is a public IPv4 address in dotted decimal notation that your
|
|
Paolo Bonzini |
750d89 |
host can reach.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- Type "quit" at the (qemu) monitor prompt.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Installation of OVMF guests with virt-manager and virt-install
|
|
Paolo Bonzini |
750d89 |
--------------------------------------------------------------
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(1) Assuming OVMF has been installed on the host with the following files:
|
|
Paolo Bonzini |
750d89 |
- /usr/share/OVMF/OVMF_CODE.fd
|
|
Paolo Bonzini |
750d89 |
- /usr/share/OVMF/OVMF_VARS.fd
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
locate the "nvram" stanza in "/etc/libvirt/qemu.conf", and edit it as
|
|
Paolo Bonzini |
750d89 |
follows:
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
nvram = [ "/usr/share/OVMF/OVMF_CODE.fd:/usr/share/OVMF/OVMF_VARS.fd" ]
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(2) Restart libvirtd with your Linux distribution's service management tool;
|
|
Paolo Bonzini |
750d89 |
for example,
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
systemctl restart libvirtd
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(3) In virt-manager, proceed with the guest installation as usual:
|
|
Paolo Bonzini |
750d89 |
- select File | New Virtual Machine,
|
|
Paolo Bonzini |
750d89 |
- advance to Step 5 of 5,
|
|
Paolo Bonzini |
750d89 |
- in Step 5, check "Customize configuration before install",
|
|
Paolo Bonzini |
750d89 |
- click Finish;
|
|
Paolo Bonzini |
750d89 |
- in the customization dialog, select Overview | Firmware, and choose UEFI,
|
|
Paolo Bonzini |
750d89 |
- click Apply and Begin Installation.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(4) With virt-install:
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
LDR="loader=/usr/share/OVMF/OVMF_CODE.fd,loader_ro=yes,loader_type=pflash"
|
|
Paolo Bonzini |
750d89 |
virt-install \
|
|
Paolo Bonzini |
750d89 |
--name fedora20 \
|
|
Paolo Bonzini |
750d89 |
--memory 2048 \
|
|
Paolo Bonzini |
750d89 |
--vcpus 2 \
|
|
Paolo Bonzini |
750d89 |
--os-variant fedora20 \
|
|
Paolo Bonzini |
750d89 |
--boot hd,cdrom,$LDR \
|
|
Paolo Bonzini |
750d89 |
--disk size=20 \
|
|
Paolo Bonzini |
750d89 |
--disk path=Fedora-Live-Xfce-x86_64-20-1.iso,device=cdrom,bus=scsi
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(5) A popular, distribution-independent, bleeding-edge OVMF package is
|
|
Paolo Bonzini |
750d89 |
available under <https://www.kraxel.org/repos/>, courtesy of Gerd Hoffmann.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The "edk2.git-ovmf-x64" package provides the following files, among others:
|
|
Paolo Bonzini |
750d89 |
- /usr/share/edk2.git/ovmf-x64/OVMF_CODE-pure-efi.fd
|
|
Paolo Bonzini |
750d89 |
- /usr/share/edk2.git/ovmf-x64/OVMF_VARS-pure-efi.fd
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
When using this package, adapt steps (1) and (4) accordingly.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(6) Additionally, the "edk2.git-ovmf-x64" package seeks to simplify the
|
|
Paolo Bonzini |
750d89 |
enablement of Secure Boot in a virtual machine (strictly for development
|
|
Paolo Bonzini |
750d89 |
and testing purposes).
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- Boot the virtual machine off the CD-ROM image called
|
|
Paolo Bonzini |
750d89 |
"/usr/share/edk2.git/ovmf-x64/UefiShell.iso"; before or after installing
|
|
Paolo Bonzini |
750d89 |
the main guest operating system.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- When the UEFI shell appears, issue the following commands:
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
EnrollDefaultKeys.efi
|
|
Paolo Bonzini |
750d89 |
reset -s
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- The EnrollDefaultKeys.efi utility enrolls the following keys:
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- A static example X.509 certificate (CN=TestCommonName) as Platform Key
|
|
Paolo Bonzini |
750d89 |
and first Key Exchange Key.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The private key matching this certificate has been destroyed (but you
|
|
Paolo Bonzini |
750d89 |
shouldn't trust this statement).
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- "Microsoft Corporation KEK CA 2011" as second Key Exchange Key
|
|
Paolo Bonzini |
750d89 |
(SHA1: 31:59:0b:fd:89:c9:d7:4e:d0:87:df:ac:66:33:4b:39:31:25:4b:30).
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- "Microsoft Windows Production PCA 2011" as first DB entry
|
|
Paolo Bonzini |
750d89 |
(SHA1: 58:0a:6f:4c:c4:e4:b6:69:b9:eb:dc:1b:2b:3e:08:7b:80:d0:67:8d).
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- "Microsoft Corporation UEFI CA 2011" as second DB entry
|
|
Paolo Bonzini |
750d89 |
(SHA1: 46:de:f6:3b:5c:e6:1c:f8:ba:0d:e2:e6:63:9c:10:19:d0:ed:14:f3).
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
These keys suffice to boot released versions of popular Linux
|
|
Paolo Bonzini |
750d89 |
distributions (through the shim.efi utility), and Windows 8 and Windows
|
|
Paolo Bonzini |
750d89 |
Server 2012 R2, in Secure Boot mode.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Supported guest operating systems
|
|
Paolo Bonzini |
750d89 |
---------------------------------
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Upstream OVMF does not favor some guest operating systems over others for
|
|
Paolo Bonzini |
750d89 |
political or ideological reasons. However, some operating systems are harder to
|
|
Paolo Bonzini |
750d89 |
obtain and/or technically more difficult to support. The general expectation is
|
|
Paolo Bonzini |
750d89 |
that recent UEFI OSes should just work. Please consult the "OvmfPkg/README"
|
|
Paolo Bonzini |
750d89 |
file.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The following guest OSes were tested with OVMF:
|
|
Paolo Bonzini |
750d89 |
- Red Hat Enterprise Linux 6
|
|
Paolo Bonzini |
750d89 |
- Red Hat Enterprise Linux 7
|
|
Paolo Bonzini |
750d89 |
- Fedora 18
|
|
Paolo Bonzini |
750d89 |
- Fedora 19
|
|
Paolo Bonzini |
750d89 |
- Fedora 20
|
|
Paolo Bonzini |
750d89 |
- Windows Server 2008 R2 SP1
|
|
Paolo Bonzini |
750d89 |
- Windows Server 2012
|
|
Paolo Bonzini |
750d89 |
- Windows 8
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Notes about Windows Server 2008 R2 (paraphrasing the "OvmfPkg/README" file):
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- QEMU should be started with one of the "-device qxl-vga" and "-device VGA"
|
|
Paolo Bonzini |
750d89 |
options.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- Only one video mode, 1024x768x32, is supported at OS runtime.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Please refer to the section about QemuVideoDxe (OVMF's built-in video driver)
|
|
Paolo Bonzini |
750d89 |
for more details on this limitation.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- The qxl-vga video card is recommended ("-device qxl-vga"). After booting the
|
|
Paolo Bonzini |
750d89 |
installed guest OS, select the video card in Device Manager, and upgrade the
|
|
Paolo Bonzini |
750d89 |
video driver to the QXL XDDM one.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The QXL XDDM driver can be downloaded from
|
|
Paolo Bonzini |
750d89 |
<http://www.spice-space.org/download.html>, under Guest | Windows binaries.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
This driver enables additional graphics resolutions at OS runtime, and
|
|
Paolo Bonzini |
750d89 |
provides S3 (suspend/resume) capability.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Notes about Windows Server 2012 and Windows 8:
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- QEMU should be started with the "-device qxl-vga,revision=4" option (or a
|
|
Paolo Bonzini |
750d89 |
later revision, if available).
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- The guest OS's builtin video driver inherits the video mode / frame buffer
|
|
Paolo Bonzini |
750d89 |
from OVMF. There's no way to change the resolution at OS runtime.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
For this reason, a platform driver has been developed for OVMF, which allows
|
|
Paolo Bonzini |
750d89 |
users to change the preferred video mode in the firmware. Please refer to the
|
|
Paolo Bonzini |
750d89 |
section about PlatformDxe for details.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- It is recommended to upgrade the guest OS's video driver to the QXL WDDM one,
|
|
Paolo Bonzini |
750d89 |
via Device Manager.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Binaries for the QXL WDDM driver can be found at
|
|
Paolo Bonzini |
750d89 |
<http://people.redhat.com/~vrozenfe/qxlwddm> (pick a version greater than or
|
|
Paolo Bonzini |
750d89 |
equal to 0.6), while the source code resides at
|
|
Paolo Bonzini |
750d89 |
<https://github.com/vrozenfe/qxl-dod>.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
This driver enables additional graphics resolutions at OS runtime, and
|
|
Paolo Bonzini |
750d89 |
provides S3 (suspend/resume) capability.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Compatibility Support Module (CSM)
|
|
Paolo Bonzini |
750d89 |
----------------------------------
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Collaboration between SeaBIOS and OVMF developers has enabled SeaBIOS to be
|
|
Paolo Bonzini |
750d89 |
built as a Compatibility Support Module, and OVMF to embed and use it.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Benefits of a SeaBIOS CSM include:
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- The ability to boot legacy (non-UEFI) operating systems, such as legacy Linux
|
|
Paolo Bonzini |
750d89 |
systems, Windows 7, OpenBSD 5.2, FreeBSD 8/9, NetBSD, DragonflyBSD, Solaris
|
|
Paolo Bonzini |
750d89 |
10/11.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- Legacy (non-UEFI-compliant) PCI expansion ROMs, such as a VGA BIOS, mapped by
|
|
Paolo Bonzini |
750d89 |
QEMU in emulated devices' ROM BARs, are loaded and executed by OVMF.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
For example, this grants the Windows Server 2008 R2 SP1 guest's native,
|
|
Paolo Bonzini |
750d89 |
legacy video driver access to all modes of all QEMU video cards.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Building the CSM target of the SeaBIOS source tree is out of scope for this
|
|
Paolo Bonzini |
750d89 |
report. Additionally, upstream OVMF does not enable the CSM by default.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Interested users and developers should look for OVMF's "-D CSM_ENABLE"
|
|
Paolo Bonzini |
750d89 |
build-time option, and check out the <https://www.kraxel.org/repos/> continuous
|
|
Paolo Bonzini |
750d89 |
integration repository, which provides CSM-enabled OVMF builds.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
[RHEL] The "OVMF_CODE.fd" firmware image made available on the Red Hat
|
|
Paolo Bonzini |
750d89 |
Enterprise Linux 7.1 host does not include a Compatibility Support
|
|
Paolo Bonzini |
750d89 |
Module, for the following reasons:
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- Virtual machines running officially supported, legacy guest operating
|
|
Paolo Bonzini |
750d89 |
systems should just use the standalone SeaBIOS firmware. Firmware
|
|
Paolo Bonzini |
750d89 |
selection is flexible in virtualization, see eg. "Installation of OVMF
|
|
Paolo Bonzini |
750d89 |
guests with virt-manager and virt-install" above.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- The 16-bit thunking interface between OVMF and SeaBIOS is very complex
|
|
Paolo Bonzini |
750d89 |
and presents a large debugging and support burden, based on past
|
|
Paolo Bonzini |
750d89 |
experience.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- Secure Boot is incompatible with CSM.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- Inter-project dependencies should be minimized whenever possible.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- Using the default QXL video card, the Windows 2008 R2 SP1 guest can be
|
|
Paolo Bonzini |
750d89 |
installed with its built-in, legacy video driver. Said driver will
|
|
Paolo Bonzini |
750d89 |
select the only available video mode, 1024x768x32. After installation,
|
|
Paolo Bonzini |
750d89 |
the video driver can be upgraded to the full-featured QXL XDDM driver.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Phases of the boot process
|
|
Paolo Bonzini |
750d89 |
--------------------------
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The PI and UEFI specifications, and Intel's UEFI and EDK II Learning and
|
|
Paolo Bonzini |
750d89 |
Development materials provide ample information on PI and UEFI concepts. The
|
|
Paolo Bonzini |
750d89 |
following is an absolutely minimal, rough glossary that is included only to
|
|
Paolo Bonzini |
750d89 |
help readers new to PI and UEFI understand references in later, OVMF-specific
|
|
Paolo Bonzini |
750d89 |
sections. We defer heavily to the official specifications and the training
|
|
Paolo Bonzini |
750d89 |
materials, and frequently quote them below.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
A central concept to mention early is the GUID -- globally unique identifier. A
|
|
Paolo Bonzini |
750d89 |
GUID is a 128-bit number, written as XXXXXXXX-XXXX-XXXX-XXXX-XXXXXXXXXXXX,
|
|
Paolo Bonzini |
750d89 |
where each X stands for a hexadecimal nibble. GUIDs are used to name everything
|
|
Paolo Bonzini |
750d89 |
in PI and in UEFI. Programmers introduce new GUIDs with the "uuidgen" utility,
|
|
Paolo Bonzini |
750d89 |
and standards bodies standardize well-known services by positing their GUIDs.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The boot process is roughly divided in the following phases:
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- Reset vector code.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- SEC: Security phase. This phase is the root of firmware integrity.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- PEI: Pre-EFI Initialization. This phase performs "minimal processor, chipset
|
|
Paolo Bonzini |
750d89 |
and platform configuration for the purpose of discovering memory". Modules in
|
|
Paolo Bonzini |
750d89 |
PEI collectively save their findings about the platform in a list of HOBs
|
|
Paolo Bonzini |
750d89 |
(hand-off blocks).
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
When developing PEI code, the Platform Initialization (PI) specification
|
|
Paolo Bonzini |
750d89 |
should be consulted.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- DXE: Driver eXecution Environment, pronounced as "Dixie". This "is the phase
|
|
Paolo Bonzini |
750d89 |
where the bulk of the booting occurs: devices are enumerated and initialized,
|
|
Paolo Bonzini |
750d89 |
UEFI services are supported, and protocols and drivers are implemented. Also,
|
|
Paolo Bonzini |
750d89 |
the tables that create the UEFI interface are produced".
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
On the PEI/DXE boundary, the HOBs produced by PEI are consumed. For example,
|
|
Paolo Bonzini |
750d89 |
this is how the memory space map is configured initially.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- BDS: Boot Device Selection. It is "responsible for determining how and where
|
|
Paolo Bonzini |
750d89 |
you want to boot the operating system".
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
When developing DXE and BDS code, it is mainly the UEFI specification that
|
|
Paolo Bonzini |
750d89 |
should be consulted. When speaking about DXE, BDS is frequently considered to
|
|
Paolo Bonzini |
750d89 |
be a part of it.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The following concepts are tied to specific boot process phases:
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- PEIM: a PEI Module (pronounced "PIM"). A binary module running in the PEI
|
|
Paolo Bonzini |
750d89 |
phase, consuming some PPIs and producing other PPIs, and producing HOBs.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- PPI: PEIM-to-PEIM interface. A structure of function pointers and related
|
|
Paolo Bonzini |
750d89 |
data members that establishes a PEI service, or an instance of a PEI service.
|
|
Paolo Bonzini |
750d89 |
PPIs are identified by GUID.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
An example is EFI_PEI_S3_RESUME2_PPI (6D582DBC-DB85-4514-8FCC-5ADF6227B147).
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- DXE driver: a binary module running in the DXE and BDS phases, consuming some
|
|
Paolo Bonzini |
750d89 |
protocols and producing other protocols.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- Protocol: A structure of function pointers and related data members that
|
|
Paolo Bonzini |
750d89 |
establishes a DXE service, or an instance of a DXE service. Protocols are
|
|
Paolo Bonzini |
750d89 |
identified by GUID.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
An example is EFI_BLOCK_IO_PROTOCOL (964E5B21-6459-11D2-8E39-00A0C969723B).
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- Architectural protocols: a set of standard protocols that are foundational to
|
|
Paolo Bonzini |
750d89 |
the working of a UEFI system. Each architectural protocol has at most one
|
|
Paolo Bonzini |
750d89 |
instance. Architectural protocols are implemented by a subset of DXE drivers.
|
|
Paolo Bonzini |
750d89 |
DXE drivers explicitly list the set of protocols (including architectural
|
|
Paolo Bonzini |
750d89 |
protocols) that they need to work. UEFI drivers can only be loaded once all
|
|
Paolo Bonzini |
750d89 |
architectural protocols have become available during the DXE phase.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
An example is EFI_VARIABLE_WRITE_ARCH_PROTOCOL
|
|
Paolo Bonzini |
750d89 |
(6441F818-6362-4E44-B570-7DBA31DD2453).
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Project structure
|
|
Paolo Bonzini |
750d89 |
-----------------
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The term "OVMF" usually denotes the project (community and development effort)
|
|
Paolo Bonzini |
750d89 |
that provide and maintain the subject matter UEFI firmware for virtual
|
|
Paolo Bonzini |
750d89 |
machines. However the term is also frequently applied to the firmware binary
|
|
Paolo Bonzini |
750d89 |
proper that a virtual machine executes.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
OVMF emerges as a compilation of several modules from the edk2 source
|
|
Paolo Bonzini |
750d89 |
repository. "edk2" stands for EFI Development Kit II; it is a "modern,
|
|
Paolo Bonzini |
750d89 |
feature-rich, cross-platform firmware development environment for the UEFI and
|
|
Paolo Bonzini |
750d89 |
PI specifications".
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The composition of OVMF is dictated by the following build control files:
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
OvmfPkg/OvmfPkgIa32.dsc
|
|
Paolo Bonzini |
750d89 |
OvmfPkg/OvmfPkgIa32.fdf
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
OvmfPkg/OvmfPkgIa32X64.dsc
|
|
Paolo Bonzini |
750d89 |
OvmfPkg/OvmfPkgIa32X64.fdf
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
OvmfPkg/OvmfPkgX64.dsc
|
|
Paolo Bonzini |
750d89 |
OvmfPkg/OvmfPkgX64.fdf
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The format of these files is described in the edk2 DSC and FDF specifications.
|
|
Paolo Bonzini |
750d89 |
Roughly, the DSC file determines:
|
|
Paolo Bonzini |
750d89 |
- library instance resolutions for library class requirements presented by the
|
|
Paolo Bonzini |
750d89 |
modules to be compiled,
|
|
Paolo Bonzini |
750d89 |
- the set of modules to compile.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The FDF file roughly determines:
|
|
Paolo Bonzini |
750d89 |
- what binary modules (compilation output files, precompiled binaries, graphics
|
|
Paolo Bonzini |
750d89 |
image files, verbatim binary sections) to include in the firmware image,
|
|
Paolo Bonzini |
750d89 |
- how to lay out the firmware image.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The Ia32 flavor of these files builds a firmware where both PEI and DXE phases
|
|
Paolo Bonzini |
750d89 |
are 32-bit. The Ia32X64 flavor builds a firmware where the PEI phase consists
|
|
Paolo Bonzini |
750d89 |
of 32-bit modules, and the DXE phase is 64-bit. The X64 flavor builds a purely
|
|
Paolo Bonzini |
750d89 |
64-bit firmware.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The word size of the DXE phase must match the word size of the runtime OS -- a
|
|
Paolo Bonzini |
750d89 |
32-bit DXE can't cooperate with a 64-bit OS, and a 64-bit DXE can't work a
|
|
Paolo Bonzini |
750d89 |
32-bit OS.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
OVMF pulls together modules from across the edk2 tree. For example:
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- common drivers and libraries that are platform independent are usually
|
|
Paolo Bonzini |
750d89 |
located under MdeModulePkg and MdePkg,
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- common but hardware-specific drivers and libraries that match QEMU's
|
|
Paolo Bonzini |
750d89 |
pc-i440fx-* machine type are pulled in from IntelFrameworkModulePkg,
|
|
Paolo Bonzini |
750d89 |
PcAtChipsetPkg and UefiCpuPkg,
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- the platform independent UEFI Shell is built from ShellPkg,
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- OvmfPkg includes drivers and libraries that are useful for virtual machines
|
|
Paolo Bonzini |
750d89 |
and may or may not be specific to QEMU's pc-i440fx-* machine type.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Platform Configuration Database (PCD)
|
|
Paolo Bonzini |
750d89 |
-------------------------------------
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Like the "Phases of the boot process" section, this one introduces a concept in
|
|
Paolo Bonzini |
750d89 |
very raw form. We defer to the PCD related edk2 specifications, and we won't
|
|
Paolo Bonzini |
750d89 |
discuss implementation details here. Our purpose is only to offer the reader a
|
|
Paolo Bonzini |
750d89 |
usable (albeit possibly inaccurate) definition, so that we can refer to PCDs
|
|
Paolo Bonzini |
750d89 |
later on.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Colloquially, when we say "PCD", we actually mean "PCD entry"; that is, an
|
|
Paolo Bonzini |
750d89 |
entry stored in the Platform Configuration Database.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The Platform Configuration Database is
|
|
Paolo Bonzini |
750d89 |
- a firmware-wide
|
|
Paolo Bonzini |
750d89 |
- name-value store
|
|
Paolo Bonzini |
750d89 |
- of scalars and buffers
|
|
Paolo Bonzini |
750d89 |
- where each entry may be
|
|
Paolo Bonzini |
750d89 |
- build-time constant, or
|
|
Paolo Bonzini |
750d89 |
- run-time dynamic, or
|
|
Paolo Bonzini |
750d89 |
- theoretically, a middle option: patchable in the firmware file itself,
|
|
Paolo Bonzini |
750d89 |
using a dedicated tool. (OVMF does not utilize externally patchable
|
|
Paolo Bonzini |
750d89 |
entries.)
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
A PCD entry is declared in the DEC file of the edk2 top-level Package directory
|
|
Paolo Bonzini |
750d89 |
whose modules (drivers and libraries) are the primary consumers of the PCD
|
|
Paolo Bonzini |
750d89 |
entry. (See for example OvmfPkg/OvmfPkg.dec). Basically, a PCD in a DEC file
|
|
Paolo Bonzini |
750d89 |
exposes a simple customization point.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Interest in a PCD entry is communicated to the build system by naming the PCD
|
|
Paolo Bonzini |
750d89 |
entry in the INF file of the interested module (application, driver or
|
|
Paolo Bonzini |
750d89 |
library). The module may read and -- dependent on the PCD entry's category --
|
|
Paolo Bonzini |
750d89 |
write the PCD entry.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Let's investigate the characteristics of the Database and the PCD entries.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- Firmware-wide: technically, all modules may access all entries they are
|
|
Paolo Bonzini |
750d89 |
interested in, assuming they advertise their interest in their INF files.
|
|
Paolo Bonzini |
750d89 |
With careful design, PCDs enable inter-driver propagation of (simple) system
|
|
Paolo Bonzini |
750d89 |
configuration. PCDs are available in both PEI and DXE.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(UEFI drivers meant to be portable (ie. from third party vendors) are not
|
|
Paolo Bonzini |
750d89 |
supposed to use PCDs, since PCDs qualify internal to the specific edk2
|
|
Paolo Bonzini |
750d89 |
firmware in question.)
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- Name-value store of scalars and buffers: each PCD has a symbolic name, and a
|
|
Paolo Bonzini |
750d89 |
fixed scalar type (UINT16, UINT32 etc), or VOID* for buffers. Each PCD entry
|
|
Paolo Bonzini |
750d89 |
belongs to a namespace, where a namespace is (obviously) a GUID, defined in
|
|
Paolo Bonzini |
750d89 |
the DEC file.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- A DEC file can permit several categories for a PCD:
|
|
Paolo Bonzini |
750d89 |
- build-time constant ("FixedAtBuild"),
|
|
Paolo Bonzini |
750d89 |
- patchable in the firmware image ("PatchableInModule", unused in OVMF),
|
|
Paolo Bonzini |
750d89 |
- runtime modifiable ("Dynamic").
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The platform description file (DSC) of a top-level Package directory may choose
|
|
Paolo Bonzini |
750d89 |
the exact category for a given PCD entry that its modules wish to use, and
|
|
Paolo Bonzini |
750d89 |
assign a default (or constant) initial value to it.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
In addition, the edk2 build system too can initialize PCD entries to values
|
|
Paolo Bonzini |
750d89 |
that it calculates while laying out the flash device image. Such PCD
|
|
Paolo Bonzini |
750d89 |
assignments are described in the FDF control file.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Firmware image structure
|
|
Paolo Bonzini |
750d89 |
------------------------
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(We assume the common X64 choice for both PEI and DXE, and the default DEBUG
|
|
Paolo Bonzini |
750d89 |
build target.)
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The OvmfPkg/OvmfPkgX64.fdf file defines the following layout for the flash
|
|
Paolo Bonzini |
750d89 |
device image "OVMF.fd":
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Description Compression type Size
|
|
Paolo Bonzini |
750d89 |
------------------------------ ---------------------- -------
|
|
Paolo Bonzini |
750d89 |
Non-volatile data storage open-coded binary data 128 KB
|
|
Paolo Bonzini |
750d89 |
Variable store 56 KB
|
|
Paolo Bonzini |
750d89 |
Event log 4 KB
|
|
Paolo Bonzini |
750d89 |
Working block 4 KB
|
|
Paolo Bonzini |
750d89 |
Spare area 64 KB
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
FVMAIN_COMPACT uncompressed 1712 KB
|
|
Paolo Bonzini |
750d89 |
FV Firmware File System file LZMA compressed
|
|
Paolo Bonzini |
750d89 |
PEIFV uncompressed 896 KB
|
|
Paolo Bonzini |
750d89 |
individual PEI modules uncompressed
|
|
Paolo Bonzini |
750d89 |
DXEFV uncompressed 8192 KB
|
|
Paolo Bonzini |
750d89 |
individual DXE modules uncompressed
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
SECFV uncompressed 208 KB
|
|
Paolo Bonzini |
750d89 |
SEC driver
|
|
Paolo Bonzini |
750d89 |
reset vector code
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The top-level image consists of three regions (three firmware volumes):
|
|
Paolo Bonzini |
750d89 |
- non-volatile data store (128 KB),
|
|
Paolo Bonzini |
750d89 |
- main firmware volume (FVMAIN_COMPACT, 1712 KB),
|
|
Paolo Bonzini |
750d89 |
- firmware volume containing the reset vector code and the SEC phase code (208
|
|
Paolo Bonzini |
750d89 |
KB).
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
In total, the OVMF.fd file has size 128 KB + 1712 KB + 208 KB == 2 MB.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(1) The firmware volume with non-volatile data store (128 KB) has the following
|
|
Paolo Bonzini |
750d89 |
internal structure, in blocks of 4 KB:
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ L: event log
|
|
Paolo Bonzini |
750d89 |
LIVE | varstore |L|W| W: working block
|
|
Paolo Bonzini |
750d89 |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|
|
Paolo Bonzini |
750d89 |
SPARE | |
|
|
Paolo Bonzini |
750d89 |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The first half of this firmware volume is "live", while the second half is
|
|
Paolo Bonzini |
750d89 |
"spare". The spare half is important when the variable driver reclaims
|
|
Paolo Bonzini |
750d89 |
unused storage and reorganizes the variable store.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The live half dedicates 14 blocks (56 KB) to the variable store itself. On
|
|
Paolo Bonzini |
750d89 |
top of those, one block is set aside for an event log, and one block is
|
|
Paolo Bonzini |
750d89 |
used as the working block of the fault tolerant write protocol. Fault
|
|
Paolo Bonzini |
750d89 |
tolerant writes are used to recover from an occasional (virtual) power loss
|
|
Paolo Bonzini |
750d89 |
during variable updates.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The blocks in this firmware volume are accessed, in stacking order from
|
|
Paolo Bonzini |
750d89 |
least abstract to most abstract, by:
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- EFI_FIRMWARE_VOLUME_BLOCK_PROTOCOL (provided by
|
|
Paolo Bonzini |
750d89 |
OvmfPkg/QemuFlashFvbServicesRuntimeDxe),
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- EFI_FAULT_TOLERANT_WRITE_PROTOCOL (provided by
|
|
Paolo Bonzini |
750d89 |
MdeModulePkg/Universal/FaultTolerantWriteDxe),
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- architectural protocols instrumental to the runtime UEFI variable
|
|
Paolo Bonzini |
750d89 |
services:
|
|
Paolo Bonzini |
750d89 |
- EFI_VARIABLE_ARCH_PROTOCOL,
|
|
Paolo Bonzini |
750d89 |
- EFI_VARIABLE_WRITE_ARCH_PROTOCOL.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
In a non-secure boot build, the DXE driver providing these architectural
|
|
Paolo Bonzini |
750d89 |
protocols is MdeModulePkg/Universal/Variable/RuntimeDxe. In a secure boot
|
|
Paolo Bonzini |
750d89 |
build, where authenticated variables are available, the DXE driver
|
|
Paolo Bonzini |
750d89 |
offering these protocols is SecurityPkg/VariableAuthenticated/RuntimeDxe.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(2) The main firmware volume (FVMAIN_COMPACT, 1712 KB) embeds further firmware
|
|
Paolo Bonzini |
750d89 |
volumes. The outermost layer is a Firmware File System (FFS), carrying a
|
|
Paolo Bonzini |
750d89 |
single file. This file holds an LZMA-compressed section, which embeds two
|
|
Paolo Bonzini |
750d89 |
firmware volumes: PEIFV (896 KB) with PEIMs, and DXEFV (8192 KB) with DXE
|
|
Paolo Bonzini |
750d89 |
and UEFI drivers.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
This scheme enables us to build 896 KB worth of PEI drivers and 8192 KB
|
|
Paolo Bonzini |
750d89 |
worth of DXE and UEFI drivers, compress them all with LZMA in one go, and
|
|
Paolo Bonzini |
750d89 |
store the compressed result in 1712 KB, saving room in the flash device.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(3) The SECFV firmware volume (208 KB) is not compressed. It carries the
|
|
Paolo Bonzini |
750d89 |
"volume top file" with the reset vector code, to end at 4 GB in
|
|
Paolo Bonzini |
750d89 |
guest-physical address space, and the SEC phase driver (OvmfPkg/Sec).
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The last 16 bytes of the volume top file (mapped directly under 4 GB)
|
|
Paolo Bonzini |
750d89 |
contain a NOP slide and a jump instruction. This is where QEMU starts
|
|
Paolo Bonzini |
750d89 |
executing the firmware, at address 0xFFFF_FFF0. The reset vector and the
|
|
Paolo Bonzini |
750d89 |
SEC driver run from flash directly.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The SEC driver locates FVMAIN_COMPACT in the flash, and decompresses the
|
|
Paolo Bonzini |
750d89 |
main firmware image to RAM. The rest of OVMF (PEI, DXE, BDS phases) run
|
|
Paolo Bonzini |
750d89 |
from RAM.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
As already mentioned, the OVMF.fd file is mapped by qemu's
|
|
Paolo Bonzini |
750d89 |
"hw/block/pflash_cfi01.c" device just under 4 GB in guest-physical address
|
|
Paolo Bonzini |
750d89 |
space, according to the command line option
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
-drive if=pflash,format=raw,file=fedora.flash
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(refer to the Example qemu invocation). This is a "ROMD device", which can
|
|
Paolo Bonzini |
750d89 |
switch out of "ROMD mode" and back into it.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Namely, in the default ROMD mode, the guest-physical address range backed by
|
|
Paolo Bonzini |
750d89 |
the flash device reads and executes as ROM (it does not trap from KVM to QEMU).
|
|
Paolo Bonzini |
750d89 |
The first write access in this mode traps to QEMU, and flips the device out of
|
|
Paolo Bonzini |
750d89 |
ROMD mode.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
In non-ROMD mode, the flash chip is programmed by storing CFI (Common Flash
|
|
Paolo Bonzini |
750d89 |
Interface) command values at the flash-covered addresses; both reads and writes
|
|
Paolo Bonzini |
750d89 |
trap to QEMU, and the flash contents are modified and synchronized to the
|
|
Paolo Bonzini |
750d89 |
host-side file. A special CFI command flips the flash device back to ROMD mode.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Qemu implements the above based on the KVM_CAP_READONLY_MEM / KVM_MEM_READONLY
|
|
Paolo Bonzini |
750d89 |
KVM features, and OVMF puts it to use in its EFI_FIRMWARE_VOLUME_BLOCK_PROTOCOL
|
|
Paolo Bonzini |
750d89 |
implementation, under "OvmfPkg/QemuFlashFvbServicesRuntimeDxe".
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
IMPORTANT: Never pass OVMF.fd to qemu with the -bios option. That option maps
|
|
Paolo Bonzini |
750d89 |
the firmware image as ROM into the guest's address space, and forces OVMF to
|
|
Paolo Bonzini |
750d89 |
emulate non-volatile variables with a fallback driver that is bound to have
|
|
Paolo Bonzini |
750d89 |
insufficient and confusing semantics.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The 128 KB firmware volume with the variable store, discussed under (1), is
|
|
Paolo Bonzini |
750d89 |
also built as a separate host-side file, named "OVMF_VARS.fd". The "rest" is
|
|
Paolo Bonzini |
750d89 |
built into a third file, "OVMF_CODE.fd", which is only 1920 KB in size. The
|
|
Paolo Bonzini |
750d89 |
variable store is mapped into its usual location, at 4 GB - 2 MB = 0xFFE0_0000,
|
|
Paolo Bonzini |
750d89 |
through the following qemu options:
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
-drive if=pflash,format=raw,readonly,file=OVMF_CODE.fd \
|
|
Paolo Bonzini |
750d89 |
-drive if=pflash,format=raw,file=fedora.varstore.fd
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
This way qemu configures two flash chips consecutively, with start addresses
|
|
Paolo Bonzini |
750d89 |
growing downwards, which is transparent to OVMF.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
[RHEL] Red Hat Enterprise Linux 7.1 ships a Secure Boot-enabled, X64, DEBUG
|
|
Paolo Bonzini |
750d89 |
firmware only. Furthermore, only the split files ("OVMF_VARS.fd" and
|
|
Paolo Bonzini |
750d89 |
"OVMF_CODE.fd") are available.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
S3 (suspend to RAM and resume)
|
|
Paolo Bonzini |
750d89 |
------------------------------
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
As noted in Example qemu invocation, the
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
-global PIIX4_PM.disable_s3=0
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
command line option tells qemu and OVMF if the user would like to enable S3
|
|
Paolo Bonzini |
750d89 |
support. (This is corresponds to the /domain/pm/suspend-to-mem/@enabled libvirt
|
|
Paolo Bonzini |
750d89 |
domain XML attribute.)
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Implementing / orchestrating S3 was a considerable community effort in OVMF. A
|
|
Paolo Bonzini |
750d89 |
detailed description exceeds the scope of this report; we only make a few
|
|
Paolo Bonzini |
750d89 |
statements.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(1) S3-related PPIs and protocols are well documented in the PI specification.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(2) Edk2 contains most modules that are needed to implement S3 on a given
|
|
Paolo Bonzini |
750d89 |
platform. One abstraction that is central to the porting / extending of the
|
|
Paolo Bonzini |
750d89 |
S3-related modules to a new platform is the LockBox library interface,
|
|
Paolo Bonzini |
750d89 |
which a specific platform can fill in by implementing its own LockBox
|
|
Paolo Bonzini |
750d89 |
library instance.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The LockBox library provides a privileged name-value store (to be addressed
|
|
Paolo Bonzini |
750d89 |
by GUIDs). The privilege separation stretches between the firmware and the
|
|
Paolo Bonzini |
750d89 |
operating system. That is, the S3-related machinery of the firmware saves
|
|
Paolo Bonzini |
750d89 |
some items in the LockBox securely, under well-known GUIDs, before booting
|
|
Paolo Bonzini |
750d89 |
the operating system. During resume (which is a form of warm reset), the
|
|
Paolo Bonzini |
750d89 |
firmware is activated again, and retrieves items from the LockBox. Before
|
|
Paolo Bonzini |
750d89 |
jumping to the OS's resume vector, the LockBox is secured again.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
We'll return to this later when we separately discuss SMRAM and SMM.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(3) During resume, the DXE and later phases are never reached; only the reset
|
|
Paolo Bonzini |
750d89 |
vector, and the SEC and PEI phases of the firmware run. The platform is
|
|
Paolo Bonzini |
750d89 |
supposed to detect a resume in progress during PEI, and to store that fact
|
|
Paolo Bonzini |
750d89 |
in the BootMode field of the Phase Handoff Information Table (PHIT) HOB.
|
|
Paolo Bonzini |
750d89 |
OVMF keys this off the CMOS, see OvmfPkg/PlatformPei.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
At the end of PEI, the DXE IPL PEIM (Initial Program Load PEI Module, see
|
|
Paolo Bonzini |
750d89 |
MdeModulePkg/Core/DxeIplPeim) examines the Boot Mode, and if it says "S3
|
|
Paolo Bonzini |
750d89 |
resume in progress", then the IPL branches to the PEIM that exports
|
|
Paolo Bonzini |
750d89 |
EFI_PEI_S3_RESUME2_PPI (provided by UefiCpuPkg/Universal/Acpi/S3Resume2Pei)
|
|
Paolo Bonzini |
750d89 |
rather than loading the DXE core.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
S3Resume2Pei executes the technical steps of the resumption, relying on the
|
|
Paolo Bonzini |
750d89 |
contents of the LockBox.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(4) During first boot (or after a normal platform reset), when DXE does run,
|
|
Paolo Bonzini |
750d89 |
hardware drivers in the DXE phase are encouraged to "stash" their hardware
|
|
Paolo Bonzini |
750d89 |
configuration steps (eg. accesses to PCI config space, I/O ports, memory
|
|
Paolo Bonzini |
750d89 |
mapped addresses, and so on) in a centrally maintained, so called "S3 boot
|
|
Paolo Bonzini |
750d89 |
script". Hardware accesses are represented with opcodes of a special binary
|
|
Paolo Bonzini |
750d89 |
script language.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
This boot script is to be replayed during resume, by S3Resume2Pei. The
|
|
Paolo Bonzini |
750d89 |
general goal is to bring back hardware devices -- which have been powered
|
|
Paolo Bonzini |
750d89 |
off during suspend -- to their original after-first-boot state, and in
|
|
Paolo Bonzini |
750d89 |
particular, to do so quickly.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
At the moment, OVMF saves only one opcode in the S3 resume boot script: an
|
|
Paolo Bonzini |
750d89 |
INFORMATION opcode, with contents 0xDEADBEEF (in network byte order). The
|
|
Paolo Bonzini |
750d89 |
consensus between Linux developers seems to be that boot firmware is only
|
|
Paolo Bonzini |
750d89 |
responsible for restoring basic chipset state, which OVMF does during PEI
|
|
Paolo Bonzini |
750d89 |
anyway, independently of S3 vs. normal reset. (One example is the power
|
|
Paolo Bonzini |
750d89 |
management registers of the i440fx chipset.) Device and peripheral state is
|
|
Paolo Bonzini |
750d89 |
the responsibility of the runtime operating system.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Although an experimental OVMF S3 boot script was at one point captured for
|
|
Paolo Bonzini |
750d89 |
the virtual Cirrus VGA card, such a boot script cannot follow eg. video
|
|
Paolo Bonzini |
750d89 |
mode changes effected by the OS. Hence the operating system can never avoid
|
|
Paolo Bonzini |
750d89 |
restoring device state, and most Linux display drivers (eg. stdvga, QXL)
|
|
Paolo Bonzini |
750d89 |
already cover S3 resume fully.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The XDDM and WDDM driver models used under Windows OSes seem to recognize
|
|
Paolo Bonzini |
750d89 |
this notion of runtime OS responsibility as well. (See the list of OSes
|
|
Paolo Bonzini |
750d89 |
supported by OVMF in a separate section.)
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(5) The S3 suspend/resume data flow in OVMF is included here tersely, for
|
|
Paolo Bonzini |
750d89 |
interested developers.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(a) BdsLibBootViaBootOption()
|
|
Paolo Bonzini |
750d89 |
EFI_ACPI_S3_SAVE_PROTOCOL [AcpiS3SaveDxe]
|
|
Paolo Bonzini |
750d89 |
- saves ACPI S3 Context to LockBox ---------------------+
|
|
Paolo Bonzini |
750d89 |
(including FACS address -- FACS ACPI table |
|
|
Paolo Bonzini |
750d89 |
contains OS waking vector) |
|
|
Paolo Bonzini |
750d89 |
|
|
|
Paolo Bonzini |
750d89 |
- prepares boot script: |
|
|
Paolo Bonzini |
750d89 |
EFI_S3_SAVE_STATE_PROTOCOL.Write() [S3SaveStateDxe] |
|
|
Paolo Bonzini |
750d89 |
S3BootScriptLib [PiDxeS3BootScriptLib] |
|
|
Paolo Bonzini |
750d89 |
- opcodes & arguments are saved in NVS. --+ |
|
|
Paolo Bonzini |
750d89 |
| |
|
|
Paolo Bonzini |
750d89 |
- issues a notification by installing | |
|
|
Paolo Bonzini |
750d89 |
EFI_DXE_SMM_READY_TO_LOCK_PROTOCOL | |
|
|
Paolo Bonzini |
750d89 |
| |
|
|
Paolo Bonzini |
750d89 |
(b) EFI_S3_SAVE_STATE_PROTOCOL [S3SaveStateDxe] | |
|
|
Paolo Bonzini |
750d89 |
S3BootScriptLib [PiDxeS3BootScriptLib] | |
|
|
Paolo Bonzini |
750d89 |
- closes script with special opcode <---------+ |
|
|
Paolo Bonzini |
750d89 |
- script is available in non-volatile memory |
|
|
Paolo Bonzini |
750d89 |
via PcdS3BootScriptTablePrivateDataPtr --+ |
|
|
Paolo Bonzini |
750d89 |
| |
|
|
Paolo Bonzini |
750d89 |
BootScriptExecutorDxe | |
|
|
Paolo Bonzini |
750d89 |
S3BootScriptLib [PiDxeS3BootScriptLib] | |
|
|
Paolo Bonzini |
750d89 |
- Knows about boot script location by <----+ |
|
|
Paolo Bonzini |
750d89 |
synchronizing with the other library |
|
|
Paolo Bonzini |
750d89 |
instance via |
|
|
Paolo Bonzini |
750d89 |
PcdS3BootScriptTablePrivateDataPtr. |
|
|
Paolo Bonzini |
750d89 |
- Copies relocated image of itself to |
|
|
Paolo Bonzini |
750d89 |
reserved memory. --------------------------------+ |
|
|
Paolo Bonzini |
750d89 |
- Saved image contains pointer to boot script. ---|--+ |
|
|
Paolo Bonzini |
750d89 |
| | |
|
|
Paolo Bonzini |
750d89 |
Runtime: | | |
|
|
Paolo Bonzini |
750d89 |
| | |
|
|
Paolo Bonzini |
750d89 |
(c) OS is booted, writes OS waking vector to FACS, | | |
|
|
Paolo Bonzini |
750d89 |
suspends machine | | |
|
|
Paolo Bonzini |
750d89 |
| | |
|
|
Paolo Bonzini |
750d89 |
S3 Resume (PEI): | | |
|
|
Paolo Bonzini |
750d89 |
| | |
|
|
Paolo Bonzini |
750d89 |
(d) PlatformPei sets S3 Boot Mode based on CMOS | | |
|
|
Paolo Bonzini |
750d89 |
| | |
|
|
Paolo Bonzini |
750d89 |
(e) DXE core is skipped and EFI_PEI_S3_RESUME2 is | | |
|
|
Paolo Bonzini |
750d89 |
called as last step of PEI | | |
|
|
Paolo Bonzini |
750d89 |
| | |
|
|
Paolo Bonzini |
750d89 |
(f) S3Resume2Pei retrieves from LockBox: | | |
|
|
Paolo Bonzini |
750d89 |
- ACPI S3 Context (path to FACS) <------------------|--|--+
|
|
Paolo Bonzini |
750d89 |
| | |
|
|
Paolo Bonzini |
750d89 |
+------------------|--|--+
|
|
Paolo Bonzini |
750d89 |
- Boot Script Executor Image <----------------------+ | |
|
|
Paolo Bonzini |
750d89 |
| |
|
|
Paolo Bonzini |
750d89 |
(g) BootScriptExecutorDxe | |
|
|
Paolo Bonzini |
750d89 |
S3BootScriptLib [PiDxeS3BootScriptLib] | |
|
|
Paolo Bonzini |
750d89 |
- executes boot script <-----------------------------+ |
|
|
Paolo Bonzini |
750d89 |
|
|
|
Paolo Bonzini |
750d89 |
(h) OS waking vector available from ACPI S3 Context / FACS <--+
|
|
Paolo Bonzini |
750d89 |
is called
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
A comprehensive memory map of OVMF
|
|
Paolo Bonzini |
750d89 |
----------------------------------
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The following section gives a detailed analysis of memory ranges below 4 GB
|
|
Paolo Bonzini |
750d89 |
that OVMF statically uses.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
In the rightmost column, the PCD entry is identified by which the source refers
|
|
Paolo Bonzini |
750d89 |
to the address or size in question.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The flash-covered range has been discussed previously in "Firmware image
|
|
Paolo Bonzini |
750d89 |
structure", therefore we include it only for completeness. Due to the fact that
|
|
Paolo Bonzini |
750d89 |
this range is always backed by a memory mapped device (and never RAM), it is
|
|
Paolo Bonzini |
750d89 |
unaffected by S3 (suspend to RAM and resume).
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
+--------------------------+ 4194304 KB
|
|
Paolo Bonzini |
750d89 |
| |
|
|
Paolo Bonzini |
750d89 |
| SECFV | size: 208 KB
|
|
Paolo Bonzini |
750d89 |
| |
|
|
Paolo Bonzini |
750d89 |
+--------------------------+ 4194096 KB
|
|
Paolo Bonzini |
750d89 |
| |
|
|
Paolo Bonzini |
750d89 |
| FVMAIN_COMPACT | size: 1712 KB
|
|
Paolo Bonzini |
750d89 |
| |
|
|
Paolo Bonzini |
750d89 |
+--------------------------+ 4192384 KB
|
|
Paolo Bonzini |
750d89 |
| |
|
|
Paolo Bonzini |
750d89 |
| variable store | size: 64 KB PcdFlashNvStorageFtwSpareSize
|
|
Paolo Bonzini |
750d89 |
| spare area |
|
|
Paolo Bonzini |
750d89 |
| |
|
|
Paolo Bonzini |
750d89 |
+--------------------------+ 4192320 KB PcdOvmfFlashNvStorageFtwSpareBase
|
|
Paolo Bonzini |
750d89 |
| |
|
|
Paolo Bonzini |
750d89 |
| FTW working block | size: 4 KB PcdFlashNvStorageFtwWorkingSize
|
|
Paolo Bonzini |
750d89 |
| |
|
|
Paolo Bonzini |
750d89 |
+--------------------------+ 4192316 KB PcdOvmfFlashNvStorageFtwWorkingBase
|
|
Paolo Bonzini |
750d89 |
| |
|
|
Paolo Bonzini |
750d89 |
| Event log of | size: 4 KB PcdOvmfFlashNvStorageEventLogSize
|
|
Paolo Bonzini |
750d89 |
| non-volatile storage |
|
|
Paolo Bonzini |
750d89 |
| |
|
|
Paolo Bonzini |
750d89 |
+--------------------------+ 4192312 KB PcdOvmfFlashNvStorageEventLogBase
|
|
Paolo Bonzini |
750d89 |
| |
|
|
Paolo Bonzini |
750d89 |
| variable store | size: 56 KB PcdFlashNvStorageVariableSize
|
|
Paolo Bonzini |
750d89 |
| |
|
|
Paolo Bonzini |
750d89 |
+--------------------------+ 4192256 KB PcdOvmfFlashNvStorageVariableBase
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The flash-mapped image of OVMF.fd covers the entire structure above (2048 KB).
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
When using the split files, the address 4192384 KB
|
|
Paolo Bonzini |
750d89 |
(PcdOvmfFlashNvStorageFtwSpareBase + PcdFlashNvStorageFtwSpareSize) is the
|
|
Paolo Bonzini |
750d89 |
boundary between the mapped images of OVMF_VARS.fd (56 KB + 4 KB + 4 KB + 64 KB
|
|
Paolo Bonzini |
750d89 |
= 128 KB) and OVMF_CODE.fd (1712 KB + 208 KB = 1920 KB).
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
With regard to RAM that is statically used by OVMF, S3 (suspend to RAM and
|
|
Paolo Bonzini |
750d89 |
resume) complicates matters. Many ranges have been introduced only to support
|
|
Paolo Bonzini |
750d89 |
S3, hence for all ranges below, the following questions will be audited:
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(a) when and how a given range is initialized after first boot of the VM,
|
|
Paolo Bonzini |
750d89 |
(b) how it is protected from memory allocations during DXE,
|
|
Paolo Bonzini |
750d89 |
(c) how it is protected from the OS,
|
|
Paolo Bonzini |
750d89 |
(d) how it is accessed on the S3 resume path,
|
|
Paolo Bonzini |
750d89 |
(e) how it is accessed on the warm reset path.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Importantly, the term "protected" is meant as protection against inadvertent
|
|
Paolo Bonzini |
750d89 |
reallocations and overwrites by co-operating DXE and OS modules. It does not
|
|
Paolo Bonzini |
750d89 |
imply security against malicious code.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
+--------------------------+ 17408 KB
|
|
Paolo Bonzini |
750d89 |
| |
|
|
Paolo Bonzini |
750d89 |
|DXEFV from FVMAIN_COMPACT | size: 8192 KB PcdOvmfDxeMemFvSize
|
|
Paolo Bonzini |
750d89 |
| decompressed firmware |
|
|
Paolo Bonzini |
750d89 |
| volume with DXE modules |
|
|
Paolo Bonzini |
750d89 |
| |
|
|
Paolo Bonzini |
750d89 |
+--------------------------+ 9216 KB PcdOvmfDxeMemFvBase
|
|
Paolo Bonzini |
750d89 |
| |
|
|
Paolo Bonzini |
750d89 |
|PEIFV from FVMAIN_COMPACT | size: 896 KB PcdOvmfPeiMemFvSize
|
|
Paolo Bonzini |
750d89 |
| decompressed firmware |
|
|
Paolo Bonzini |
750d89 |
| volume with PEI modules |
|
|
Paolo Bonzini |
750d89 |
| |
|
|
Paolo Bonzini |
750d89 |
+--------------------------+ 8320 KB PcdOvmfPeiMemFvBase
|
|
Paolo Bonzini |
750d89 |
| |
|
|
Paolo Bonzini |
750d89 |
| permanent PEI memory for | size: 32 KB PcdS3AcpiReservedMemorySize
|
|
Paolo Bonzini |
750d89 |
| the S3 resume path |
|
|
Paolo Bonzini |
750d89 |
| |
|
|
Paolo Bonzini |
750d89 |
+--------------------------+ 8288 KB PcdS3AcpiReservedMemoryBase
|
|
Paolo Bonzini |
750d89 |
| |
|
|
Paolo Bonzini |
750d89 |
| temporary SEC/PEI heap | size: 32 KB PcdOvmfSecPeiTempRamSize
|
|
Paolo Bonzini |
750d89 |
| and stack |
|
|
Paolo Bonzini |
750d89 |
| |
|
|
Paolo Bonzini |
750d89 |
+--------------------------+ 8256 KB PcdOvmfSecPeiTempRamBase
|
|
Paolo Bonzini |
750d89 |
| |
|
|
Paolo Bonzini |
750d89 |
| unused | size: 32 KB
|
|
Paolo Bonzini |
750d89 |
| |
|
|
Paolo Bonzini |
750d89 |
+--------------------------+ 8224 KB
|
|
Paolo Bonzini |
750d89 |
| |
|
|
Paolo Bonzini |
750d89 |
| SEC's table of | size: 4 KB PcdGuidedExtractHandlerTableSize
|
|
Paolo Bonzini |
750d89 |
| GUIDed section handlers |
|
|
Paolo Bonzini |
750d89 |
| |
|
|
Paolo Bonzini |
750d89 |
+--------------------------+ 8220 KB PcdGuidedExtractHandlerTableAddress
|
|
Paolo Bonzini |
750d89 |
| |
|
|
Paolo Bonzini |
750d89 |
| LockBox storage | size: 4 KB PcdOvmfLockBoxStorageSize
|
|
Paolo Bonzini |
750d89 |
| |
|
|
Paolo Bonzini |
750d89 |
+--------------------------+ 8216 KB PcdOvmfLockBoxStorageBase
|
|
Paolo Bonzini |
750d89 |
| |
|
|
Paolo Bonzini |
750d89 |
| early page tables on X64 | size: 24 KB PcdOvmfSecPageTablesSize
|
|
Paolo Bonzini |
750d89 |
| |
|
|
Paolo Bonzini |
750d89 |
+--------------------------+ 8192 KB PcdOvmfSecPageTablesBase
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(1) Early page tables on X64:
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(a) when and how it is initialized after first boot of the VM
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The range is filled in during the SEC phase
|
|
Paolo Bonzini |
750d89 |
[OvmfPkg/ResetVector/Ia32/PageTables64.asm]. The CR3 register is verified
|
|
Paolo Bonzini |
750d89 |
against the base address in SecCoreStartupWithStack()
|
|
Paolo Bonzini |
750d89 |
[OvmfPkg/Sec/SecMain.c].
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(b) how it is protected from memory allocations during DXE
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
If S3 was enabled on the QEMU command line (see "-global
|
|
Paolo Bonzini |
750d89 |
PIIX4_PM.disable_s3=0" earlier), then InitializeRamRegions()
|
|
Paolo Bonzini |
750d89 |
[OvmfPkg/PlatformPei/MemDetect.c] protects the range with an AcpiNVS memory
|
|
Paolo Bonzini |
750d89 |
allocation HOB, in PEI.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
If S3 was disabled, then this range is not protected. DXE's own page tables
|
|
Paolo Bonzini |
750d89 |
are first built while still in PEI (see HandOffToDxeCore()
|
|
Paolo Bonzini |
750d89 |
[MdeModulePkg/Core/DxeIplPeim/X64/DxeLoadFunc.c]). Those tables are located
|
|
Paolo Bonzini |
750d89 |
in permanent PEI memory. After CR3 is switched over to them (which occurs
|
|
Paolo Bonzini |
750d89 |
before jumping to the DXE core entry point), we don't have to preserve the
|
|
Paolo Bonzini |
750d89 |
initial tables.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(c) how it is protected from the OS
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
If S3 is enabled, then (1b) reserves it from the OS too.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
If S3 is disabled, then the range needs no protection.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(d) how it is accessed on the S3 resume path
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
It is rewritten same as in (1a), which is fine because (1c) reserved it.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(e) how it is accessed on the warm reset path
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
It is rewritten same as in (1a).
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(2) LockBox storage:
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(a) when and how it is initialized after first boot of the VM
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
InitializeRamRegions() [OvmfPkg/PlatformPei/MemDetect.c] zeroes out the
|
|
Paolo Bonzini |
750d89 |
area during PEI. This is correct but not strictly necessary, since on first
|
|
Paolo Bonzini |
750d89 |
boot the area is zero-filled anyway.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The LockBox signature of the area is filled in by the PEI module or DXE
|
|
Paolo Bonzini |
750d89 |
driver that has been linked against OVMF's LockBoxLib and is run first. The
|
|
Paolo Bonzini |
750d89 |
signature is written in LockBoxLibInitialize()
|
|
Paolo Bonzini |
750d89 |
[OvmfPkg/Library/LockBoxLib/LockBoxLib.c].
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Any module calling SaveLockBox() [OvmfPkg/Library/LockBoxLib/LockBoxLib.c]
|
|
Paolo Bonzini |
750d89 |
will co-populate this area.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(b) how it is protected from memory allocations during DXE
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
If S3 is enabled, then InitializeRamRegions()
|
|
Paolo Bonzini |
750d89 |
[OvmfPkg/PlatformPei/MemDetect.c] protects the range as AcpiNVS.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Otherwise, the range is covered with a BootServicesData memory allocation
|
|
Paolo Bonzini |
750d89 |
HOB.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(c) how it is protected from the OS
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
If S3 is enabled, then (2b) protects it sufficiently.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Otherwise the range requires no runtime protection, and the
|
|
Paolo Bonzini |
750d89 |
BootServicesData allocation type from (2b) ensures that the range will be
|
|
Paolo Bonzini |
750d89 |
released to the OS.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(d) how it is accessed on the S3 resume path
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The S3 Resume PEIM restores data from the LockBox, which has been correctly
|
|
Paolo Bonzini |
750d89 |
protected in (2c).
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(e) how it is accessed on the warm reset path
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
InitializeRamRegions() [OvmfPkg/PlatformPei/MemDetect.c] zeroes out the
|
|
Paolo Bonzini |
750d89 |
range during PEI, effectively emptying the LockBox. Modules will
|
|
Paolo Bonzini |
750d89 |
re-populate the LockBox as described in (2a).
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(3) SEC's table of GUIDed section handlers
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(a) when and how it is initialized after first boot of the VM
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The following two library instances are linked into SecMain:
|
|
Paolo Bonzini |
750d89 |
- IntelFrameworkModulePkg/Library/LzmaCustomDecompressLib,
|
|
Paolo Bonzini |
750d89 |
- MdePkg/Library/BaseExtractGuidedSectionLib.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The first library registers its LZMA decompressor plugin (which is a called
|
|
Paolo Bonzini |
750d89 |
a "section handler") by calling the second library:
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
LzmaDecompressLibConstructor() [GuidedSectionExtraction.c]
|
|
Paolo Bonzini |
750d89 |
ExtractGuidedSectionRegisterHandlers() [BaseExtractGuidedSectionLib.c]
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The second library maintains its table of registered "section handlers", to
|
|
Paolo Bonzini |
750d89 |
be indexed by GUID, in this fixed memory area, independently of S3
|
|
Paolo Bonzini |
750d89 |
enablement.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(The decompression of FVMAIN_COMPACT's FFS file section that contains the
|
|
Paolo Bonzini |
750d89 |
PEIFV and DXEFV firmware volumes occurs with the LZMA decompressor
|
|
Paolo Bonzini |
750d89 |
registered above. See (6) and (7) below.)
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(b) how it is protected from memory allocations during DXE
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
There is no need to protect this area from DXE: because nothing else in
|
|
Paolo Bonzini |
750d89 |
OVMF links against BaseExtractGuidedSectionLib, the area loses its
|
|
Paolo Bonzini |
750d89 |
significance as soon as OVMF progresses from SEC to PEI, therefore DXE is
|
|
Paolo Bonzini |
750d89 |
allowed to overwrite the region.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(c) how it is protected from the OS
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
When S3 is enabled, we cover the range with an AcpiNVS memory allocation
|
|
Paolo Bonzini |
750d89 |
HOB in InitializeRamRegions().
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
When S3 is disabled, the range is not protected.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(d) how it is accessed on the S3 resume path
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The table of registered section handlers is again managed by
|
|
Paolo Bonzini |
750d89 |
BaseExtractGuidedSectionLib linked into SecMain exclusively. Section
|
|
Paolo Bonzini |
750d89 |
handler registrations update the table in-place (based on GUID matches).
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(e) how it is accessed on the warm reset path
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
If S3 is enabled, then the OS won't damage the table (due to (3c)), thus
|
|
Paolo Bonzini |
750d89 |
see (3d).
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
If S3 is disabled, then the OS has most probably overwritten the range with
|
|
Paolo Bonzini |
750d89 |
its own data, hence (3a) -- complete reinitialization -- will come into
|
|
Paolo Bonzini |
750d89 |
effect, based on the table signature check in BaseExtractGuidedSectionLib.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(4) temporary SEC/PEI heap and stack
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(a) when and how it is initialized after first boot of the VM
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The range is configured in [OvmfPkg/Sec/X64/SecEntry.S] and
|
|
Paolo Bonzini |
750d89 |
SecCoreStartupWithStack() [OvmfPkg/Sec/SecMain.c]. The stack half is read &
|
|
Paolo Bonzini |
750d89 |
written by the CPU transparently. The heap half is used for memory
|
|
Paolo Bonzini |
750d89 |
allocations during PEI.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Data is migrated out (to permanent PEI stack & memory) in (or soon after)
|
|
Paolo Bonzini |
750d89 |
PublishPeiMemory() [OvmfPkg/PlatformPei/MemDetect.c].
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(b) how it is protected from memory allocations during DXE
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
It is not necessary to protect this range during DXE because its use ends
|
|
Paolo Bonzini |
750d89 |
still in PEI.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(c) how it is protected from the OS
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
If S3 is enabled, then InitializeRamRegions()
|
|
Paolo Bonzini |
750d89 |
[OvmfPkg/PlatformPei/MemDetect.c] reserves it as AcpiNVS.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
If S3 is disabled, then the range doesn't require protection.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(d) how it is accessed on the S3 resume path
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Same as in (4a), except the target area of the migration triggered by
|
|
Paolo Bonzini |
750d89 |
PublishPeiMemory() [OvmfPkg/PlatformPei/MemDetect.c] is different -- see
|
|
Paolo Bonzini |
750d89 |
(5).
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(e) how it is accessed on the warm reset path
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Same as in (4a). The stack and heap halves both may contain garbage, but it
|
|
Paolo Bonzini |
750d89 |
doesn't matter.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(5) permanent PEI memory for the S3 resume path
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(a) when and how it is initialized after first boot of the VM
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
No particular initialization or use.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(b) how it is protected from memory allocations during DXE
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
We don't need to protect this area during DXE.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(c) how it is protected from the OS
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
When S3 is enabled, InitializeRamRegions()
|
|
Paolo Bonzini |
750d89 |
[OvmfPkg/PlatformPei/MemDetect.c] makes sure the OS stays away by covering
|
|
Paolo Bonzini |
750d89 |
the range with an AcpiNVS memory allocation HOB.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
When S3 is disabled, the range needs no protection.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(d) how it is accessed on the S3 resume path
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
PublishPeiMemory() installs the range as permanent RAM for PEI. The range
|
|
Paolo Bonzini |
750d89 |
will serve as stack and will satisfy allocation requests during the rest of
|
|
Paolo Bonzini |
750d89 |
PEI. OS data won't overlap due to (5c).
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(e) how it is accessed on the warm reset path
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Same as (5a).
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(6) PEIFV -- decompressed firmware volume with PEI modules
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(a) when and how it is initialized after first boot of the VM
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
DecompressMemFvs() [OvmfPkg/Sec/SecMain.c] populates the area, by
|
|
Paolo Bonzini |
750d89 |
decompressing the flash-mapped FVMAIN_COMPACT volume's contents. (Refer to
|
|
Paolo Bonzini |
750d89 |
"Firmware image structure".)
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(b) how it is protected from memory allocations during DXE
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
When S3 is disabled, PeiFvInitialization() [OvmfPkg/PlatformPei/Fv.c]
|
|
Paolo Bonzini |
750d89 |
covers the range with a BootServicesData memory allocation HOB.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
When S3 is enabled, the same is coverage is ensured, just with the stronger
|
|
Paolo Bonzini |
750d89 |
AcpiNVS memory allocation type.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(c) how it is protected from the OS
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
When S3 is disabled, it is not necessary to keep the range from the OS.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Otherwise the AcpiNVS type allocation from (6b) provides coverage.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(d) how it is accessed on the S3 resume path
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Rather than decompressing it again from FVMAIN_COMPACT, GetS3ResumePeiFv()
|
|
Paolo Bonzini |
750d89 |
[OvmfPkg/Sec/SecMain.c] reuses the protected area for parsing / execution
|
|
Paolo Bonzini |
750d89 |
from (6c).
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(e) how it is accessed on the warm reset path
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Same as (6a).
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(7) DXEFV -- decompressed firmware volume with DXE modules
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(a) when and how it is initialized after first boot of the VM
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Same as (6a).
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(b) how it is protected from memory allocations during DXE
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
PeiFvInitialization() [OvmfPkg/PlatformPei/Fv.c] covers the range with a
|
|
Paolo Bonzini |
750d89 |
BootServicesData memory allocation HOB.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(c) how it is protected from the OS
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The OS is allowed to release and reuse this range.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(d) how it is accessed on the S3 resume path
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
It's not; DXE never runs during S3 resume.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(e) how it is accessed on the warm reset path
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Same as in (7a).
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Known Secure Boot limitations
|
|
Paolo Bonzini |
750d89 |
-----------------------------
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Under "Motivation" we've mentioned that OVMF's Secure Boot implementation is
|
|
Paolo Bonzini |
750d89 |
not suitable for production use yet -- it's only good for development and
|
|
Paolo Bonzini |
750d89 |
testing of standards-conformant, non-malicious guest code (UEFI and operating
|
|
Paolo Bonzini |
750d89 |
system alike).
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Now that we've examined the persistent flash device, the workings of S3, and
|
|
Paolo Bonzini |
750d89 |
the memory map, we can discuss two currently known shortcomings of OVMF's
|
|
Paolo Bonzini |
750d89 |
Secure Boot that in fact make it insecure. (Clearly problems other than these
|
|
Paolo Bonzini |
750d89 |
two might exist; the set of issues considered here is not meant to be
|
|
Paolo Bonzini |
750d89 |
exhaustive.)
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
One trait of Secure Boot is tamper-evidence. Secure Boot may not prevent
|
|
Paolo Bonzini |
750d89 |
malicious modification of software components (for example, operating system
|
|
Paolo Bonzini |
750d89 |
drivers), but by being the root of integrity on a platform, it can catch (or
|
|
Paolo Bonzini |
750d89 |
indirectly contribute to catching) unauthorized changes, by way of signature
|
|
Paolo Bonzini |
750d89 |
and certificate checks at the earliest phases of boot.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
If an attacker can tamper with key material stored in authenticated and/or
|
|
Paolo Bonzini |
750d89 |
boot-time only persistent variables (for example, PK, KEK, db, dbt, dbx), then
|
|
Paolo Bonzini |
750d89 |
the intended security of this scheme is compromised. The UEFI 2.4A
|
|
Paolo Bonzini |
750d89 |
specification says
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- in section 28.3.4:
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Platform Keys:
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The public key must be stored in non-volatile storage which is tamper and
|
|
Paolo Bonzini |
750d89 |
delete resistant.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Key Exchange Keys:
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The public key must be stored in non-volatile storage which is tamper
|
|
Paolo Bonzini |
750d89 |
resistant.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- in section 28.6.1:
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The signature database variables db, dbt, and dbx must be stored in
|
|
Paolo Bonzini |
750d89 |
tamper-resistant non-volatile storage.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(1) The combination of QEMU, KVM, and OVMF does not provide this kind of
|
|
Paolo Bonzini |
750d89 |
resistance. The variable store in the emulated flash chip is directly
|
|
Paolo Bonzini |
750d89 |
accessible to, and reprogrammable by, UEFI drivers, applications, and
|
|
Paolo Bonzini |
750d89 |
operating systems.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(2) Under "S3 (suspend to RAM and resume)" we pointed out that the LockBox
|
|
Paolo Bonzini |
750d89 |
storage must be similarly secure and tamper-resistant.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
On the S3 resume path, the PEIM providing EFI_PEI_S3_RESUME2_PPI
|
|
Paolo Bonzini |
750d89 |
(UefiCpuPkg/Universal/Acpi/S3Resume2Pei) restores and interprets data from
|
|
Paolo Bonzini |
750d89 |
the LockBox that has been saved there during boot. This PEIM, being part of
|
|
Paolo Bonzini |
750d89 |
the firmware, has full access to the platform. If an operating system can
|
|
Paolo Bonzini |
750d89 |
tamper with the contents of the LockBox, then at the next resume the
|
|
Paolo Bonzini |
750d89 |
platform's integrity might be subverted.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
OVMF stores the LockBox in normal guest RAM (refer to the memory map
|
|
Paolo Bonzini |
750d89 |
section above). Operating systems and third party UEFI drivers and UEFI
|
|
Paolo Bonzini |
750d89 |
applications that respect the UEFI memory map will not inadvertently
|
|
Paolo Bonzini |
750d89 |
overwrite the LockBox storage, but there's nothing to prevent eg. a
|
|
Paolo Bonzini |
750d89 |
malicious kernel from modifying the LockBox.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
One means to address these issues is SMM and SMRAM (System Management Mode and
|
|
Paolo Bonzini |
750d89 |
System Management RAM).
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
During boot and resume, the firmware can enter and leave SMM and access SMRAM.
|
|
Paolo Bonzini |
750d89 |
Before the DXE phase is left, and control is transferred to the BDS phase (when
|
|
Paolo Bonzini |
750d89 |
third party UEFI drivers and applications can be loaded, and an operating
|
|
Paolo Bonzini |
750d89 |
system can be loaded), SMRAM is locked in hardware, and subsequent modules
|
|
Paolo Bonzini |
750d89 |
cannot access it directly. (See EFI_DXE_SMM_READY_TO_LOCK_PROTOCOL.)
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Once SMRAM has been locked, UEFI drivers and the operating system can enter SMM
|
|
Paolo Bonzini |
750d89 |
by raising a System Management Interrupt (SMI), at which point trusted code
|
|
Paolo Bonzini |
750d89 |
(part of the platform firmware) takes control. SMRAM is also unlocked by
|
|
Paolo Bonzini |
750d89 |
platform reset, at which point the boot firmware takes control again.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Variable store and LockBox in SMRAM
|
|
Paolo Bonzini |
750d89 |
-----------------------------------
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Edk2 provides almost all components to implement the variable store and the
|
|
Paolo Bonzini |
750d89 |
LockBox in SMRAM. In this section we summarize ideas for utilizing those
|
|
Paolo Bonzini |
750d89 |
facilities.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The SMRAM and SMM infrastructure in edk2 is built up as follows:
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(1) The platform hardware provides SMM / SMI / SMRAM.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Qemu/KVM doesn't support these features currently and should implement them
|
|
Paolo Bonzini |
750d89 |
in the longer term.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(2) The platform vendor (in this case, OVMF developers) implement device
|
|
Paolo Bonzini |
750d89 |
drivers for the platform's System Management Mode:
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- EFI_SMM_CONTROL2_PROTOCOL: for raising a synchronous (and/or) periodic
|
|
Paolo Bonzini |
750d89 |
SMI(s); that is, for entering SMM.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- EFI_SMM_ACCESS2_PROTOCOL: for describing and accessing SMRAM.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
These protocols are documented in the PI Specification, Volume 4.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(3) The platform DSC file is to include the following platform-independent
|
|
Paolo Bonzini |
750d89 |
modules:
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- MdeModulePkg/Core/PiSmmCore/PiSmmIpl.inf: SMM Initial Program Load
|
|
Paolo Bonzini |
750d89 |
- MdeModulePkg/Core/PiSmmCore/PiSmmCore.inf: SMM Core
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(4) At this point, modules of type DXE_SMM_DRIVER can be loaded.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Such drivers are privileged. They run in SMM, have access to SMRAM, and are
|
|
Paolo Bonzini |
750d89 |
separated and switched from other drivers through SMIs. Secure
|
|
Paolo Bonzini |
750d89 |
communication between unprivileged (non-SMM) and privileged (SMM) drivers
|
|
Paolo Bonzini |
750d89 |
happens through EFI_SMM_COMMUNICATION_PROTOCOL (implemented by the SMM
|
|
Paolo Bonzini |
750d89 |
Core, see (3)).
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
DXE_SMM_DRIVER modules must sanitize their input (coming from unprivileged
|
|
Paolo Bonzini |
750d89 |
drivers) carefully.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(5) The authenticated runtime variable services driver (for Secure Boot builds)
|
|
Paolo Bonzini |
750d89 |
is located under "SecurityPkg/VariableAuthenticated/RuntimeDxe". OVMF
|
|
Paolo Bonzini |
750d89 |
currently builds the driver (a DXE_RUNTIME_DRIVER module) with the
|
|
Paolo Bonzini |
750d89 |
"VariableRuntimeDxe.inf" control file (refer to "OvmfPkg/OvmfPkgX64.dsc"),
|
|
Paolo Bonzini |
750d89 |
which does not use SMM.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The directory includes two more INF files:
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- VariableSmm.inf -- module type: DXE_SMM_DRIVER. A privileged driver that
|
|
Paolo Bonzini |
750d89 |
runs in SMM and has access to SMRAM.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- VariableSmmRuntimeDxe.inf -- module type: DXE_RUNTIME_DRIVER. A
|
|
Paolo Bonzini |
750d89 |
non-privileged driver that implements the variable runtime services
|
|
Paolo Bonzini |
750d89 |
(replacing the current "VariableRuntimeDxe.inf" file) by communicating
|
|
Paolo Bonzini |
750d89 |
with the above privileged SMM half via EFI_SMM_COMMUNICATION_PROTOCOL.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(6) An SMRAM-based LockBox implementation needs to be discussed in two parts,
|
|
Paolo Bonzini |
750d89 |
because the LockBox is accessed in both PEI and DXE.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(a) During DXE, drivers save data in the LockBox. A save operation is
|
|
Paolo Bonzini |
750d89 |
layered as follows:
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- The unprivileged driver wishing to store data in the LockBox links
|
|
Paolo Bonzini |
750d89 |
against the "MdeModulePkg/Library/SmmLockBoxLib/SmmLockBoxDxeLib.inf"
|
|
Paolo Bonzini |
750d89 |
library instance.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The library allows the unprivileged driver to format requests for the
|
|
Paolo Bonzini |
750d89 |
privileged SMM LockBox driver (see below), and to parse responses.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- The privileged SMM LockBox driver is built from
|
|
Paolo Bonzini |
750d89 |
"MdeModulePkg/Universal/LockBox/SmmLockBox/SmmLockBox.inf". This
|
|
Paolo Bonzini |
750d89 |
driver has module type DXE_SMM_DRIVER and can access SMRAM.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The driver delegates command parsing and response formatting to
|
|
Paolo Bonzini |
750d89 |
"MdeModulePkg/Library/SmmLockBoxLib/SmmLockBoxSmmLib.inf".
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- The above two halves (unprivileged and privileged) mirror what we've
|
|
Paolo Bonzini |
750d89 |
seen in case of the variable service drivers, under (5).
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(b) In PEI, the S3 Resume PEIM (UefiCpuPkg/Universal/Acpi/S3Resume2Pei)
|
|
Paolo Bonzini |
750d89 |
retrieves data from the LockBox.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Presumably, S3Resume2Pei should be considered an "unprivileged PEIM",
|
|
Paolo Bonzini |
750d89 |
and the SMRAM access should be layered as seen in DXE. Unfortunately,
|
|
Paolo Bonzini |
750d89 |
edk2 does not implement all of the layers in PEI -- the code either
|
|
Paolo Bonzini |
750d89 |
doesn't exist, or it is not open source:
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
role | DXE: protocol/module | PEI: PPI/module
|
|
Paolo Bonzini |
750d89 |
-------------+--------------------------------+------------------------------
|
|
Paolo Bonzini |
750d89 |
unprivileged | any | S3Resume2Pei.inf
|
|
Paolo Bonzini |
750d89 |
driver | |
|
|
Paolo Bonzini |
750d89 |
-------------+--------------------------------+------------------------------
|
|
Paolo Bonzini |
750d89 |
command | LIBRARY_CLASS = LockBoxLib | LIBRARY_CLASS = LockBoxLib
|
|
Paolo Bonzini |
750d89 |
formatting | |
|
|
Paolo Bonzini |
750d89 |
and response | SmmLockBoxDxeLib.inf | SmmLockBoxPeiLib.inf
|
|
Paolo Bonzini |
750d89 |
parsing | |
|
|
Paolo Bonzini |
750d89 |
-------------+--------------------------------+------------------------------
|
|
Paolo Bonzini |
750d89 |
privilege | EFI_SMM_COMMUNICATION_PROTOCOL | EFI_PEI_SMM_COMMUNICATION_PPI
|
|
Paolo Bonzini |
750d89 |
separation | |
|
|
Paolo Bonzini |
750d89 |
| PiSmmCore.inf | missing!
|
|
Paolo Bonzini |
750d89 |
-------------+--------------------------------+------------------------------
|
|
Paolo Bonzini |
750d89 |
platform SMM | EFI_SMM_CONTROL2_PROTOCOL | PEI_SMM_CONTROL_PPI
|
|
Paolo Bonzini |
750d89 |
and SMRAM | EFI_SMM_ACCESS2_PROTOCOL | PEI_SMM_ACCESS_PPI
|
|
Paolo Bonzini |
750d89 |
access | |
|
|
Paolo Bonzini |
750d89 |
| to be done in OVMF | to be done in OVMF
|
|
Paolo Bonzini |
750d89 |
-------------+--------------------------------+------------------------------
|
|
Paolo Bonzini |
750d89 |
command | LIBRARY_CLASS = LockBoxLib | LIBRARY_CLASS = LockBoxLib
|
|
Paolo Bonzini |
750d89 |
parsing and | |
|
|
Paolo Bonzini |
750d89 |
response | SmmLockBoxSmmLib.inf | missing!
|
|
Paolo Bonzini |
750d89 |
formatting | |
|
|
Paolo Bonzini |
750d89 |
-------------+--------------------------------+------------------------------
|
|
Paolo Bonzini |
750d89 |
privileged | SmmLockBox.inf | missing!
|
|
Paolo Bonzini |
750d89 |
LockBox | |
|
|
Paolo Bonzini |
750d89 |
driver | |
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Alternatively, in the future OVMF might be able to provide a LockBoxLib
|
|
Paolo Bonzini |
750d89 |
instance (an SmmLockBoxPeiLib substitute) for S3Resume2Pei that
|
|
Paolo Bonzini |
750d89 |
accesses SMRAM directly, eliminating the need for deeper layers in the
|
|
Paolo Bonzini |
750d89 |
stack (that is, EFI_PEI_SMM_COMMUNICATION_PPI and deeper).
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
In fact, a "thin" EFI_PEI_SMM_COMMUNICATION_PPI implementation whose
|
|
Paolo Bonzini |
750d89 |
sole Communicate() member invariably returns EFI_NOT_STARTED would
|
|
Paolo Bonzini |
750d89 |
cause the current SmmLockBoxPeiLib library instance to directly perform
|
|
Paolo Bonzini |
750d89 |
full-depth SMRAM access and LockBox search, obviating the "missing"
|
|
Paolo Bonzini |
750d89 |
cells. (With reference to A Tour Beyond BIOS: Implementing S3 Resume
|
|
Paolo Bonzini |
750d89 |
with EDK2, by Jiewen Yao and Vincent Zimmer, October 2014.)
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Select features
|
|
Paolo Bonzini |
750d89 |
---------------
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
In this section we'll browse the top-level "OvmfPkg" package directory, and
|
|
Paolo Bonzini |
750d89 |
discuss the more interesting drivers and libraries that have not been mentioned
|
|
Paolo Bonzini |
750d89 |
thus far.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
X64-specific reset vector for OVMF
|
|
Paolo Bonzini |
750d89 |
..................................
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The "OvmfPkg/ResetVector" directory customizes the reset vector (found in
|
|
Paolo Bonzini |
750d89 |
"UefiCpuPkg/ResetVector/Vtf0") for "OvmfPkgX64.fdf", that is, when the SEC/PEI
|
|
Paolo Bonzini |
750d89 |
phases run in 64-bit (ie. long) mode.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The reset vector's control flow looks roughly like:
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
resetVector [Ia16/ResetVectorVtf0.asm]
|
|
Paolo Bonzini |
750d89 |
EarlyBspInitReal16 [Ia16/Init16.asm]
|
|
Paolo Bonzini |
750d89 |
Main16 [Main.asm]
|
|
Paolo Bonzini |
750d89 |
EarlyInit16 [Ia16/Init16.asm]
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
; Transition the processor from
|
|
Paolo Bonzini |
750d89 |
; 16-bit real mode to 32-bit flat mode
|
|
Paolo Bonzini |
750d89 |
TransitionFromReal16To32BitFlat [Ia16/Real16ToFlat32.asm]
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
; Search for the
|
|
Paolo Bonzini |
750d89 |
; Boot Firmware Volume (BFV)
|
|
Paolo Bonzini |
750d89 |
Flat32SearchForBfvBase [Ia32/SearchForBfvBase.asm]
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
; Search for the SEC entry point
|
|
Paolo Bonzini |
750d89 |
Flat32SearchForSecEntryPoint [Ia32/SearchForSecEntry.asm]
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
%ifdef ARCH_IA32
|
|
Paolo Bonzini |
750d89 |
; Jump to the 32-bit SEC entry point
|
|
Paolo Bonzini |
750d89 |
%else
|
|
Paolo Bonzini |
750d89 |
; Transition the processor
|
|
Paolo Bonzini |
750d89 |
; from 32-bit flat mode
|
|
Paolo Bonzini |
750d89 |
; to 64-bit flat mode
|
|
Paolo Bonzini |
750d89 |
Transition32FlatTo64Flat [Ia32/Flat32ToFlat64.asm]
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
SetCr3ForPageTables64 [Ia32/PageTables64.asm]
|
|
Paolo Bonzini |
750d89 |
; set CR3 to page tables
|
|
Paolo Bonzini |
750d89 |
; built into the ROM image
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
; enable PAE
|
|
Paolo Bonzini |
750d89 |
; set LME
|
|
Paolo Bonzini |
750d89 |
; enable paging
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
; Jump to the 64-bit SEC entry point
|
|
Paolo Bonzini |
750d89 |
%endif
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
On physical platforms, the initial page tables referenced by
|
|
Paolo Bonzini |
750d89 |
SetCr3ForPageTables64 are built statically into the flash device image, and are
|
|
Paolo Bonzini |
750d89 |
present in ROM at runtime. This is fine on physical platforms because the
|
|
Paolo Bonzini |
750d89 |
pre-built page table entries have the Accessed and Dirty bits set from the
|
|
Paolo Bonzini |
750d89 |
start.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Accordingly, for OVMF running in long mode on qemu/KVM, the initial page tables
|
|
Paolo Bonzini |
750d89 |
were mapped as a KVM_MEM_READONLY slot, as part of QEMU's pflash device (refer
|
|
Paolo Bonzini |
750d89 |
to "Firmware image structure" above).
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
In spite of the Accessed and Dirty bits being pre-set in the read-only,
|
|
Paolo Bonzini |
750d89 |
in-flash PTEs, in a virtual machine attempts are made to update said PTE bits,
|
|
Paolo Bonzini |
750d89 |
differently from physical hardware. The component attempting to update the
|
|
Paolo Bonzini |
750d89 |
read-only PTEs can be one of the following:
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- The processor itself, if it supports nested paging, and the user enables that
|
|
Paolo Bonzini |
750d89 |
processor feature,
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- KVM code implementing shadow paging, otherwise.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The first case presents no user-visible symptoms, but the second case (KVM,
|
|
Paolo Bonzini |
750d89 |
shadow paging) used to cause a triple fault, prior to Linux commit ba6a354
|
|
Paolo Bonzini |
750d89 |
("KVM: mmu: allow page tables to be in read-only slots").
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
For compatibility with earlier KVM versions, the OvmfPkg/ResetVector directory
|
|
Paolo Bonzini |
750d89 |
adapts the generic reset vector code as follows:
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Transition32FlatTo64Flat [UefiCpuPkg/.../Ia32/Flat32ToFlat64.asm]
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
SetCr3ForPageTables64 [OvmfPkg/ResetVector/Ia32/PageTables64.asm]
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
; dynamically build the initial page tables in RAM, at address
|
|
Paolo Bonzini |
750d89 |
; PcdOvmfSecPageTablesBase (refer to the memory map above),
|
|
Paolo Bonzini |
750d89 |
; identity-mapping the first 4 GB of address space
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
; set CR3 to PcdOvmfSecPageTablesBase
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
; enable PAE
|
|
Paolo Bonzini |
750d89 |
; set LME
|
|
Paolo Bonzini |
750d89 |
; enable paging
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
This way the PTEs that earlier KVM versions try to update (during shadow
|
|
Paolo Bonzini |
750d89 |
paging) are located in a read-write memory slot, and the write attempts
|
|
Paolo Bonzini |
750d89 |
succeed.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Client library for QEMU's firmware configuration interface
|
|
Paolo Bonzini |
750d89 |
..........................................................
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
QEMU provides a write-only, 16-bit wide control port, and a read-write, 8-bit
|
|
Paolo Bonzini |
750d89 |
wide data port for exchanging configuration elements with the firmware.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The firmware writes a selector (a key) to the control port (0x510), and then
|
|
Paolo Bonzini |
750d89 |
reads the corresponding configuration data (produced by QEMU) from the data
|
|
Paolo Bonzini |
750d89 |
port (0x511).
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
If the selected entry is writable, the firmware may overwrite it. If QEMU has
|
|
Paolo Bonzini |
750d89 |
associated a callback with the entry, then when the entry is completely
|
|
Paolo Bonzini |
750d89 |
rewritten, QEMU runs the callback. (OVMF does not rewrite any entries at the
|
|
Paolo Bonzini |
750d89 |
moment.)
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
A number of selector values (keys) are predefined. In particular, key 0x19
|
|
Paolo Bonzini |
750d89 |
selects (returns) a directory of { name, selector, size } triplets, roughly
|
|
Paolo Bonzini |
750d89 |
speaking.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The firmware can request configuration elements by well-known name as well, by
|
|
Paolo Bonzini |
750d89 |
looking up the selector value first in the directory, by name, and then writing
|
|
Paolo Bonzini |
750d89 |
the selector to the control port. The number of bytes to read subsequently from
|
|
Paolo Bonzini |
750d89 |
the data port is known from the directory entry's "size" field.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
By convention, directory entries (well-known symbolic names of configuration
|
|
Paolo Bonzini |
750d89 |
elements) are formatted as POSIX pathnames. For example, the array selected by
|
|
Paolo Bonzini |
750d89 |
the "etc/system-states" name indicates (among other things) whether the user
|
|
Paolo Bonzini |
750d89 |
enabled S3 support in QEMU.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The above interface is called "fw_cfg".
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The binary data associated with a symbolic name is called an "fw_cfg file".
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
OVMF's fw_cfg client library is found in "OvmfPkg/Library/QemuFwCfgLib". OVMF
|
|
Paolo Bonzini |
750d89 |
discovers many aspects of the virtual system with it; we refer to a few
|
|
Paolo Bonzini |
750d89 |
examples below.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Guest ACPI tables
|
|
Paolo Bonzini |
750d89 |
.................
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
An operating system discovers a good amount of its hardware by parsing ACPI
|
|
Paolo Bonzini |
750d89 |
tables, and by interpreting ACPI objects and methods. On physical hardware, the
|
|
Paolo Bonzini |
750d89 |
platform vendor's firmware installs ACPI tables in memory that match both the
|
|
Paolo Bonzini |
750d89 |
hardware present in the system and the user's firmware configuration ("BIOS
|
|
Paolo Bonzini |
750d89 |
setup").
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Under qemu/KVM, the owner of the (virtual) hardware configuration is QEMU.
|
|
Paolo Bonzini |
750d89 |
Hardware can easily be reconfigured on the command line. Furthermore, features
|
|
Paolo Bonzini |
750d89 |
like CPU hotplug, PCI hotplug, memory hotplug are continuously developed for
|
|
Paolo Bonzini |
750d89 |
QEMU, and operating systems need direct ACPI support to exploit these features.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
For this reason, QEMU builds its own ACPI tables dynamically, in a
|
|
Paolo Bonzini |
750d89 |
self-descriptive manner, and exports them to the firmware through a complex,
|
|
Paolo Bonzini |
750d89 |
multi-file fw_cfg interface. It is rooted in the "etc/table-loader" fw_cfg
|
|
Paolo Bonzini |
750d89 |
file. (Further details of this interface are out of scope for this report.)
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
OVMF's AcpiPlatformDxe driver fetches the ACPI tables, and installs them for
|
|
Paolo Bonzini |
750d89 |
the guest OS with the EFI_ACPI_TABLE_PROTOCOL (which is in turn provided by the
|
|
Paolo Bonzini |
750d89 |
generic "MdeModulePkg/Universal/Acpi/AcpiTableDxe" driver).
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
For earlier QEMU versions and machine types (which we generally don't recommend
|
|
Paolo Bonzini |
750d89 |
for OVMF; see "Scope"), the "OvmfPkg/AcpiTables" directory contains a few
|
|
Paolo Bonzini |
750d89 |
static ACPI table templates. When the "etc/table-loader" fw_cfg file is
|
|
Paolo Bonzini |
750d89 |
unavailable, AcpiPlatformDxe installs these default tables (with a little bit
|
|
Paolo Bonzini |
750d89 |
of dynamic patching).
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
When OVMF runs in a Xen domU, AcpiTableDxe also installs ACPI tables that
|
|
Paolo Bonzini |
750d89 |
originate from the hypervisor's environment.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Guest SMBIOS tables
|
|
Paolo Bonzini |
750d89 |
...................
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Quoting the SMBIOS Reference Specification,
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
[...] the System Management BIOS Reference Specification addresses how
|
|
Paolo Bonzini |
750d89 |
motherboard and system vendors present management information about their
|
|
Paolo Bonzini |
750d89 |
products in a standard format [...]
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
In practice SMBIOS tables are just another set of tables that the platform
|
|
Paolo Bonzini |
750d89 |
vendor's firmware installs in RAM for the operating system, and, importantly,
|
|
Paolo Bonzini |
750d89 |
for management applications running on the OS. Without rehashing the "Guest
|
|
Paolo Bonzini |
750d89 |
ACPI tables" section in full, let's map the OVMF roles seen there from ACPI to
|
|
Paolo Bonzini |
750d89 |
SMBIOS:
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
role | ACPI | SMBIOS
|
|
Paolo Bonzini |
750d89 |
-------------------------+-------------------------+-------------------------
|
|
Paolo Bonzini |
750d89 |
fw_cfg file | etc/table-loader | etc/smbios/smbios-tables
|
|
Paolo Bonzini |
750d89 |
-------------------------+-------------------------+-------------------------
|
|
Paolo Bonzini |
750d89 |
OVMF driver | AcpiPlatformDxe | SmbiosPlatformDxe
|
|
Paolo Bonzini |
750d89 |
under "OvmfPkg" | |
|
|
Paolo Bonzini |
750d89 |
-------------------------+-------------------------+-------------------------
|
|
Paolo Bonzini |
750d89 |
Underlying protocol, | EFI_ACPI_TABLE_PROTOCOL | EFI_SMBIOS_PROTOCOL
|
|
Paolo Bonzini |
750d89 |
implemented by generic | |
|
|
Paolo Bonzini |
750d89 |
driver under | Acpi/AcpiTableDxe | SmbiosDxe
|
|
Paolo Bonzini |
750d89 |
"MdeModulePkg/Universal" | |
|
|
Paolo Bonzini |
750d89 |
-------------------------+-------------------------+-------------------------
|
|
Paolo Bonzini |
750d89 |
default tables available | yes | [RHEL] yes, Type0 and
|
|
Paolo Bonzini |
750d89 |
for earlier QEMU machine | | Type1 tables
|
|
Paolo Bonzini |
750d89 |
types, with hot-patching | |
|
|
Paolo Bonzini |
750d89 |
-------------------------+-------------------------+-------------------------
|
|
Paolo Bonzini |
750d89 |
tables fetched in Xen | yes | yes
|
|
Paolo Bonzini |
750d89 |
domUs | |
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Platform-specific boot policy
|
|
Paolo Bonzini |
750d89 |
.............................
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
OVMF's BDS (Boot Device Selection) phase is implemented by
|
|
Paolo Bonzini |
750d89 |
IntelFrameworkModulePkg/Universal/BdsDxe. Roughly speaking, this large driver:
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- provides the EFI BDS architectural protocol (which DXE transfers control to
|
|
Paolo Bonzini |
750d89 |
after dispatching all DXE drivers),
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- connects drivers to devices,
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- enumerates boot devices,
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- auto-generates boot options,
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- provides "BIOS setup" screens, such as:
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- Boot Manager, for booting an option,
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- Boot Maintenance Manager, for adding, deleting, and reordering boot
|
|
Paolo Bonzini |
750d89 |
options, changing console properties etc,
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- Device Manager, where devices can register configuration forms, including
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- Secure Boot configuration forms,
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- OVMF's Platform Driver form (see under PlatformDxe).
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Firmware that includes the "IntelFrameworkModulePkg/Universal/BdsDxe" driver
|
|
Paolo Bonzini |
750d89 |
can customize its behavior by providing an instance of the PlatformBdsLib
|
|
Paolo Bonzini |
750d89 |
library class. The driver links against this platform library, and the
|
|
Paolo Bonzini |
750d89 |
platform library can call Intel's BDS utility functions from
|
|
Paolo Bonzini |
750d89 |
"IntelFrameworkModulePkg/Library/GenericBdsLib".
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
OVMF's PlatformBdsLib instance can be found in
|
|
Paolo Bonzini |
750d89 |
"OvmfPkg/Library/PlatformBdsLib". The main function where the BdsDxe driver
|
|
Paolo Bonzini |
750d89 |
enters the library is PlatformBdsPolicyBehavior(). We mention two OVMF
|
|
Paolo Bonzini |
750d89 |
particulars here.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(1) OVMF is capable of loading kernel images directly from fw_cfg, matching
|
|
Paolo Bonzini |
750d89 |
QEMU's -kernel, -initrd, and -append command line options. This feature is
|
|
Paolo Bonzini |
750d89 |
useful for rapid, repeated Linux kernel testing, and is implemented in the
|
|
Paolo Bonzini |
750d89 |
following call tree:
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
PlatformBdsPolicyBehavior() [OvmfPkg/Library/PlatformBdsLib/BdsPlatform.c]
|
|
Paolo Bonzini |
750d89 |
TryRunningQemuKernel() [OvmfPkg/Library/PlatformBdsLib/QemuKernel.c]
|
|
Paolo Bonzini |
750d89 |
LoadLinux*() [OvmfPkg/Library/LoadLinuxLib/Linux.c]
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
OvmfPkg/Library/LoadLinuxLib ports the efilinux bootloader project into
|
|
Paolo Bonzini |
750d89 |
OvmfPkg.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(2) OVMF seeks to comply with the boot order specification passed down by QEMU
|
|
Paolo Bonzini |
750d89 |
over fw_cfg.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(a) About Boot Modes
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
During the PEI phase, OVMF determines and stores the Boot Mode in the
|
|
Paolo Bonzini |
750d89 |
PHIT HOB (already mentioned in "S3 (suspend to RAM and resume)"). The
|
|
Paolo Bonzini |
750d89 |
boot mode is supposed to influence the rest of the system, for example it
|
|
Paolo Bonzini |
750d89 |
distinguishes S3 resume (BOOT_ON_S3_RESUME) from a "normal" boot.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
In general, "normal" boots can be further differentiated from each other;
|
|
Paolo Bonzini |
750d89 |
for example for speed reasons. When the firmware can tell during PEI that
|
|
Paolo Bonzini |
750d89 |
the chassis has not been opened since last power-up, then it might want
|
|
Paolo Bonzini |
750d89 |
to save time by not connecting all devices and not enumerating all boot
|
|
Paolo Bonzini |
750d89 |
options from scratch; it could just rely on the stored results of the
|
|
Paolo Bonzini |
750d89 |
last enumeration. The matching BootMode value, to be set during PEI,
|
|
Paolo Bonzini |
750d89 |
would be BOOT_ASSUMING_NO_CONFIGURATION_CHANGES.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
OVMF only sets one of the following two boot modes, based on CMOS
|
|
Paolo Bonzini |
750d89 |
contents:
|
|
Paolo Bonzini |
750d89 |
- BOOT_ON_S3_RESUME,
|
|
Paolo Bonzini |
750d89 |
- BOOT_WITH_FULL_CONFIGURATION.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
For BOOT_ON_S3_RESUME, please refer to "S3 (suspend to RAM and resume)".
|
|
Paolo Bonzini |
750d89 |
The other boot mode supported by OVMF, BOOT_WITH_FULL_CONFIGURATION, is
|
|
Paolo Bonzini |
750d89 |
an appropriate "catch-all" for a virtual machine, where hardware can
|
|
Paolo Bonzini |
750d89 |
easily change from boot to boot.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(b) Auto-generation of boot options
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Accordingly, when not resuming from S3 sleep (*), OVMF always connects
|
|
Paolo Bonzini |
750d89 |
all devices, and enumerates all bootable devices as new boot options
|
|
Paolo Bonzini |
750d89 |
(non-volatile variables called Boot####).
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(*) During S3 resume, DXE is not reached, hence BDS isn't either.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The auto-enumerated boot options are stored in the BootOrder non-volatile
|
|
Paolo Bonzini |
750d89 |
variable after any preexistent options. (Boot options may exist before
|
|
Paolo Bonzini |
750d89 |
auto-enumeration eg. because the user added them manually with the Boot
|
|
Paolo Bonzini |
750d89 |
Maintenance Manager or the efibootmgr utility. They could also originate
|
|
Paolo Bonzini |
750d89 |
from an earlier auto-enumeration.)
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
PlatformBdsPolicyBehavior() [OvmfPkg/.../BdsPlatform.c]
|
|
Paolo Bonzini |
750d89 |
TryRunningQemuKernel() [OvmfPkg/.../QemuKernel.c]
|
|
Paolo Bonzini |
750d89 |
BdsLibConnectAll() [IntelFrameworkModulePkg/.../BdsConnect.c]
|
|
Paolo Bonzini |
750d89 |
BdsLibEnumerateAllBootOption() [IntelFrameworkModulePkg/.../BdsBoot.c]
|
|
Paolo Bonzini |
750d89 |
BdsLibBuildOptionFromHandle() [IntelFrameworkModulePkg/.../BdsBoot.c]
|
|
Paolo Bonzini |
750d89 |
BdsLibRegisterNewOption() [IntelFrameworkModulePkg/.../BdsMisc.c]
|
|
Paolo Bonzini |
750d89 |
//
|
|
Paolo Bonzini |
750d89 |
// Append the new option number to the original option order
|
|
Paolo Bonzini |
750d89 |
//
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(c) Relative UEFI device paths in boot options
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The handling of relative ("short-form") UEFI device paths is best
|
|
Paolo Bonzini |
750d89 |
demonstrated through an example, and by quoting the UEFI 2.4A
|
|
Paolo Bonzini |
750d89 |
specification.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
A short-form hard drive UEFI device path could be (displaying each device
|
|
Paolo Bonzini |
750d89 |
path node on a separate line for readability):
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
HD(1,GPT,14DD1CC5-D576-4BBF-8858-BAF877C8DF61,0x800,0x64000)/
|
|
Paolo Bonzini |
750d89 |
\EFI\fedora\shim.efi
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
This device path lacks prefix nodes (eg. hardware or messaging type
|
|
Paolo Bonzini |
750d89 |
nodes) that would lead to the hard drive. During load option processing,
|
|
Paolo Bonzini |
750d89 |
the above short-form or relative device path could be matched against the
|
|
Paolo Bonzini |
750d89 |
following absolute device path:
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
PciRoot(0x0)/
|
|
Paolo Bonzini |
750d89 |
Pci(0x4,0x0)/
|
|
Paolo Bonzini |
750d89 |
HD(1,GPT,14DD1CC5-D576-4BBF-8858-BAF877C8DF61,0x800,0x64000)/
|
|
Paolo Bonzini |
750d89 |
\EFI\fedora\shim.efi
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The motivation for this type of device path matching / completion is to
|
|
Paolo Bonzini |
750d89 |
allow the user to move around the hard drive (for example, to plug a
|
|
Paolo Bonzini |
750d89 |
controller in a different PCI slot, or to expose the block device on a
|
|
Paolo Bonzini |
750d89 |
different iSCSI path) and still enable the firmware to find the hard
|
|
Paolo Bonzini |
750d89 |
drive.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The UEFI specification says,
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
9.3.6 Media Device Path
|
|
Paolo Bonzini |
750d89 |
9.3.6.1 Hard Drive
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
[...] Section 3.1.2 defines special rules for processing the Hard
|
|
Paolo Bonzini |
750d89 |
Drive Media Device Path. These special rules enable a disk's location
|
|
Paolo Bonzini |
750d89 |
to change and still have the system boot from the disk. [...]
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
3.1.2 Load Option Processing
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
[...] The boot manager must [...] support booting from a short-form
|
|
Paolo Bonzini |
750d89 |
device path that starts with the first element being a hard drive
|
|
Paolo Bonzini |
750d89 |
media device path [...]. The boot manager must use the GUID or
|
|
Paolo Bonzini |
750d89 |
signature and partition number in the hard drive device path to match
|
|
Paolo Bonzini |
750d89 |
it to a device in the system. If the drive supports the GPT
|
|
Paolo Bonzini |
750d89 |
partitioning scheme the GUID in the hard drive media device path is
|
|
Paolo Bonzini |
750d89 |
compared with the UniquePartitionGuid field of the GUID Partition
|
|
Paolo Bonzini |
750d89 |
Entry [...]. If the drive supports the PC-AT MBR scheme the signature
|
|
Paolo Bonzini |
750d89 |
in the hard drive media device path is compared with the
|
|
Paolo Bonzini |
750d89 |
UniqueMBRSignature in the Legacy Master Boot Record [...]. If a
|
|
Paolo Bonzini |
750d89 |
signature match is made, then the partition number must also be
|
|
Paolo Bonzini |
750d89 |
matched. The hard drive device path can be appended to the matching
|
|
Paolo Bonzini |
750d89 |
hardware device path and normal boot behavior can then be used. If
|
|
Paolo Bonzini |
750d89 |
more than one device matches the hard drive device path, the boot
|
|
Paolo Bonzini |
750d89 |
manager will pick one arbitrarily. Thus the operating system must
|
|
Paolo Bonzini |
750d89 |
ensure the uniqueness of the signatures on hard drives to guarantee
|
|
Paolo Bonzini |
750d89 |
deterministic boot behavior.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Edk2 implements and exposes the device path completion logic in the
|
|
Paolo Bonzini |
750d89 |
already referenced "IntelFrameworkModulePkg/Library/GenericBdsLib"
|
|
Paolo Bonzini |
750d89 |
library, in the BdsExpandPartitionPartialDevicePathToFull() function.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(d) Filtering and reordering the boot options based on fw_cfg
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Once we have an "all-inclusive", partly preexistent, partly freshly
|
|
Paolo Bonzini |
750d89 |
auto-generated boot option list from bullet (b), OVMF loads QEMU's
|
|
Paolo Bonzini |
750d89 |
requested boot order from fw_cfg, and filters and reorders the list from
|
|
Paolo Bonzini |
750d89 |
(b) with it:
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
PlatformBdsPolicyBehavior() [OvmfPkg/.../BdsPlatform.c]
|
|
Paolo Bonzini |
750d89 |
TryRunningQemuKernel() [OvmfPkg/.../QemuKernel.c]
|
|
Paolo Bonzini |
750d89 |
BdsLibConnectAll() [IntelFrameworkModulePkg/.../BdsConnect.c]
|
|
Paolo Bonzini |
750d89 |
BdsLibEnumerateAllBootOption() [IntelFrameworkModulePkg/.../BdsBoot.c]
|
|
Paolo Bonzini |
750d89 |
SetBootOrderFromQemu() [OvmfPkg/.../QemuBootOrder.c]
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
According to the (preferred) "-device ...,bootindex=N" and the (legacy)
|
|
Paolo Bonzini |
750d89 |
'-boot order=drives' command line options, QEMU requests a boot order
|
|
Paolo Bonzini |
750d89 |
from the firmware through the "bootorder" fw_cfg file. (For a bootindex
|
|
Paolo Bonzini |
750d89 |
example, refer to the "Example qemu invocation" section.)
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
This fw_cfg file consists of OpenFirmware (OFW) device paths -- note: not
|
|
Paolo Bonzini |
750d89 |
UEFI device paths! --, one per line. An example list is:
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
/pci@i0cf8/scsi@4/disk@0,0
|
|
Paolo Bonzini |
750d89 |
/pci@i0cf8/ide@1,1/drive@1/disk@0
|
|
Paolo Bonzini |
750d89 |
/pci@i0cf8/ethernet@3/ethernet-phy@0
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
OVMF filters and reorders the boot option list from bullet (b) with the
|
|
Paolo Bonzini |
750d89 |
following nested loops algorithm:
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
new_uefi_order := <empty>
|
|
Paolo Bonzini |
750d89 |
for each qemu_ofw_path in QEMU's OpenFirmware device path list:
|
|
Paolo Bonzini |
750d89 |
qemu_uefi_path_prefix := translate(qemu_ofw_path)
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
for each boot_option in current_uefi_order:
|
|
Paolo Bonzini |
750d89 |
full_boot_option := complete(boot_option)
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
if match(qemu_uefi_path_prefix, full_boot_option):
|
|
Paolo Bonzini |
750d89 |
append(new_uefi_order, boot_option)
|
|
Paolo Bonzini |
750d89 |
break
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
for each unmatched boot_option in current_uefi_order:
|
|
Paolo Bonzini |
750d89 |
if survives(boot_option):
|
|
Paolo Bonzini |
750d89 |
append(new_uefi_order, boot_option)
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
current_uefi_order := new_uefi_order
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
OVMF iterates over QEMU's OFW device paths in order, translates each to a
|
|
Paolo Bonzini |
750d89 |
UEFI device path prefix, tries to match the translated prefix against the
|
|
Paolo Bonzini |
750d89 |
UEFI boot options (which are completed from relative form to absolute
|
|
Paolo Bonzini |
750d89 |
form for the purpose of prefix matching), and if there's a match, the
|
|
Paolo Bonzini |
750d89 |
matching boot option is appended to the new boot order (which starts out
|
|
Paolo Bonzini |
750d89 |
empty).
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(We elaborate on the translate() function under bullet (e). The
|
|
Paolo Bonzini |
750d89 |
complete() function has been explained in bullet (c).)
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
In addition, UEFI boot options that remain unmatched after filtering and
|
|
Paolo Bonzini |
750d89 |
reordering are post-processed, and some of them "survive". Due to the
|
|
Paolo Bonzini |
750d89 |
fact that OpenFirmware device paths have less expressive power than their
|
|
Paolo Bonzini |
750d89 |
UEFI counterparts, some UEFI boot options are simply inexpressible (hence
|
|
Paolo Bonzini |
750d89 |
unmatchable) by the nested loops algorithm.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
An important example is the memory-mapped UEFI shell, whose UEFI device
|
|
Paolo Bonzini |
750d89 |
path is inexpressible by QEMU's OFW device paths:
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
MemoryMapped(0xB,0x900000,0x10FFFFF)/
|
|
Paolo Bonzini |
750d89 |
FvFile(7C04A583-9E3E-4F1C-AD65-E05268D0B4D1)
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(Side remark: notice that the address range visible in the MemoryMapped()
|
|
Paolo Bonzini |
750d89 |
node corresponds to DXEFV under "comprehensive memory map of OVMF"! In
|
|
Paolo Bonzini |
750d89 |
addition, the FvFile() node's GUID originates from the FILE_GUID entry of
|
|
Paolo Bonzini |
750d89 |
"ShellPkg/Application/Shell/Shell.inf".)
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The UEFI shell can be booted by pressing ESC in OVMF on the TianoCore
|
|
Paolo Bonzini |
750d89 |
splash screen, and navigating to Boot Manager | EFI Internal Shell. If
|
|
Paolo Bonzini |
750d89 |
the "survival policy" was not implemented, the UEFI shell's boot option
|
|
Paolo Bonzini |
750d89 |
would always be filtered out.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The current "survival policy" preserves all boot options that start with
|
|
Paolo Bonzini |
750d89 |
neither PciRoot() nor HD().
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(e) Translating QEMU's OpenFirmware device paths to UEFI device path
|
|
Paolo Bonzini |
750d89 |
prefixes
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
In this section we list the (strictly heuristical) mappings currently
|
|
Paolo Bonzini |
750d89 |
performed by OVMF.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The "prefix only" nature of the translation output is rooted minimally in
|
|
Paolo Bonzini |
750d89 |
the fact that QEMU's OpenFirmware device paths cannot carry pathnames
|
|
Paolo Bonzini |
750d89 |
within filesystems. There's no way to specify eg.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
\EFI\fedora\shim.efi
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
in an OFW device path, therefore a UEFI device path translated from an
|
|
Paolo Bonzini |
750d89 |
OFW device path can at best be a prefix (not a full match) of a UEFI
|
|
Paolo Bonzini |
750d89 |
device path that ends with "\EFI\fedora\shim.efi".
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- IDE disk, IDE CD-ROM:
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
OpenFirmware device path:
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
/pci@i0cf8/ide@1,1/drive@0/disk@0
|
|
Paolo Bonzini |
750d89 |
^ ^ ^ ^ ^
|
|
Paolo Bonzini |
750d89 |
| | | | master or slave
|
|
Paolo Bonzini |
750d89 |
| | | primary or secondary
|
|
Paolo Bonzini |
750d89 |
| PCI slot & function holding IDE controller
|
|
Paolo Bonzini |
750d89 |
PCI root at system bus port, PIO
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
UEFI device path prefix:
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
PciRoot(0x0)/Pci(0x1,0x1)/Ata(Primary,Master,0x0)
|
|
Paolo Bonzini |
750d89 |
^
|
|
Paolo Bonzini |
750d89 |
fixed LUN
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- Floppy disk:
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
OpenFirmware device path:
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
/pci@i0cf8/isa@1/fdc@03f0/floppy@0
|
|
Paolo Bonzini |
750d89 |
^ ^ ^ ^
|
|
Paolo Bonzini |
750d89 |
| | | A: or B:
|
|
Paolo Bonzini |
750d89 |
| | ISA controller io-port (hex)
|
|
Paolo Bonzini |
750d89 |
| PCI slot holding ISA controller
|
|
Paolo Bonzini |
750d89 |
PCI root at system bus port, PIO
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
UEFI device path prefix:
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
PciRoot(0x0)/Pci(0x1,0x0)/Floppy(0x0)
|
|
Paolo Bonzini |
750d89 |
^
|
|
Paolo Bonzini |
750d89 |
ACPI UID (A: or B:)
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- Virtio-block disk:
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
OpenFirmware device path:
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
/pci@i0cf8/scsi@6[,3]/disk@0,0
|
|
Paolo Bonzini |
750d89 |
^ ^ ^ ^ ^
|
|
Paolo Bonzini |
750d89 |
| | | fixed
|
|
Paolo Bonzini |
750d89 |
| | PCI function corresponding to disk (optional)
|
|
Paolo Bonzini |
750d89 |
| PCI slot holding disk
|
|
Paolo Bonzini |
750d89 |
PCI root at system bus port, PIO
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
UEFI device path prefixes (dependent on the presence of a nonzero PCI
|
|
Paolo Bonzini |
750d89 |
function in the OFW device path):
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
PciRoot(0x0)/Pci(0x6,0x0)/HD(
|
|
Paolo Bonzini |
750d89 |
PciRoot(0x0)/Pci(0x6,0x3)/HD(
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- Virtio-scsi disk and virtio-scsi passthrough:
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
OpenFirmware device path:
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
/pci@i0cf8/scsi@7[,3]/channel@0/disk@2,3
|
|
Paolo Bonzini |
750d89 |
^ ^ ^ ^ ^
|
|
Paolo Bonzini |
750d89 |
| | | | LUN
|
|
Paolo Bonzini |
750d89 |
| | | target
|
|
Paolo Bonzini |
750d89 |
| | channel (unused, fixed 0)
|
|
Paolo Bonzini |
750d89 |
| PCI slot[, function] holding SCSI controller
|
|
Paolo Bonzini |
750d89 |
PCI root at system bus port, PIO
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
UEFI device path prefixes (dependent on the presence of a nonzero PCI
|
|
Paolo Bonzini |
750d89 |
function in the OFW device path):
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
PciRoot(0x0)/Pci(0x7,0x0)/Scsi(0x2,0x3)
|
|
Paolo Bonzini |
750d89 |
PciRoot(0x0)/Pci(0x7,0x3)/Scsi(0x2,0x3)
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- Emulated and passed-through (physical) network cards:
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
OpenFirmware device path:
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
/pci@i0cf8/ethernet@3[,2]
|
|
Paolo Bonzini |
750d89 |
^ ^
|
|
Paolo Bonzini |
750d89 |
| PCI slot[, function] holding Ethernet card
|
|
Paolo Bonzini |
750d89 |
PCI root at system bus port, PIO
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
UEFI device path prefixes (dependent on the presence of a nonzero PCI
|
|
Paolo Bonzini |
750d89 |
function in the OFW device path):
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
PciRoot(0x0)/Pci(0x3,0x0)
|
|
Paolo Bonzini |
750d89 |
PciRoot(0x0)/Pci(0x3,0x2)
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Virtio drivers
|
|
Paolo Bonzini |
750d89 |
..............
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
UEFI abstracts various types of hardware resources into protocols, and allows
|
|
Paolo Bonzini |
750d89 |
firmware developers to implement those protocols in device drivers. The Virtio
|
|
Paolo Bonzini |
750d89 |
Specification defines various types of virtual hardware for virtual machines.
|
|
Paolo Bonzini |
750d89 |
Connecting the two specifications, OVMF provides UEFI drivers for QEMU's
|
|
Paolo Bonzini |
750d89 |
virtio-block, virtio-scsi, and virtio-net devices.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The following diagram presents the protocol and driver stack related to Virtio
|
|
Paolo Bonzini |
750d89 |
devices in edk2 and OVMF. Each node in the graph identifies a protocol and/or
|
|
Paolo Bonzini |
750d89 |
the edk2 driver that produces it. Nodes on the top are more abstract.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
EFI_BLOCK_IO_PROTOCOL EFI_SIMPLE_NETWORK_PROTOCOL
|
|
Paolo Bonzini |
750d89 |
[OvmfPkg/VirtioBlkDxe] [OvmfPkg/VirtioNetDxe]
|
|
Paolo Bonzini |
750d89 |
| |
|
|
Paolo Bonzini |
750d89 |
| EFI_EXT_SCSI_PASS_THRU_PROTOCOL |
|
|
Paolo Bonzini |
750d89 |
| [OvmfPkg/VirtioScsiDxe] |
|
|
Paolo Bonzini |
750d89 |
| | |
|
|
Paolo Bonzini |
750d89 |
+------------------------+--------------------------+
|
|
Paolo Bonzini |
750d89 |
|
|
|
Paolo Bonzini |
750d89 |
VIRTIO_DEVICE_PROTOCOL
|
|
Paolo Bonzini |
750d89 |
|
|
|
Paolo Bonzini |
750d89 |
+---------------------+---------------------+
|
|
Paolo Bonzini |
750d89 |
| |
|
|
Paolo Bonzini |
750d89 |
[OvmfPkg/VirtioPciDeviceDxe] [custom platform drivers]
|
|
Paolo Bonzini |
750d89 |
| |
|
|
Paolo Bonzini |
750d89 |
| |
|
|
Paolo Bonzini |
750d89 |
EFI_PCI_IO_PROTOCOL [OvmfPkg/Library/VirtioMmioDeviceLib]
|
|
Paolo Bonzini |
750d89 |
[MdeModulePkg/Bus/Pci/PciBusDxe] direct MMIO register access
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The top three drivers produce standard UEFI abstractions: the Block IO
|
|
Paolo Bonzini |
750d89 |
Protocol, the Extended SCSI Pass Thru Protocol, and the Simple Network
|
|
Paolo Bonzini |
750d89 |
Protocol, for virtio-block, virtio-scsi, and virtio-net devices, respectively.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Comparing these device-specific virtio drivers to each other, we can determine:
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- They all conform to the UEFI Driver Model. This means that their entry point
|
|
Paolo Bonzini |
750d89 |
functions don't immediately start to search for devices and to drive them,
|
|
Paolo Bonzini |
750d89 |
they only register instances of the EFI_DRIVER_BINDING_PROTOCOL. The UEFI
|
|
Paolo Bonzini |
750d89 |
Driver Model then enumerates devices and chains matching drivers
|
|
Paolo Bonzini |
750d89 |
automatically.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- They are as minimal as possible, while remaining correct (refer to source
|
|
Paolo Bonzini |
750d89 |
code comments for details). For example, VirtioBlkDxe and VirtioScsiDxe both
|
|
Paolo Bonzini |
750d89 |
support only one request in flight.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
In theory, VirtioBlkDxe could implement EFI_BLOCK_IO2_PROTOCOL, which allows
|
|
Paolo Bonzini |
750d89 |
queueing. Similarly, VirtioScsiDxe does not support the non-blocking mode of
|
|
Paolo Bonzini |
750d89 |
EFI_EXT_SCSI_PASS_THRU_PROTOCOL.PassThru(). (Which is permitted by the UEFI
|
|
Paolo Bonzini |
750d89 |
specification.) Both VirtioBlkDxe and VirtioScsiDxe delegate synchronous
|
|
Paolo Bonzini |
750d89 |
request handling to "OvmfPkg/Library/VirtioLib". This limitation helps keep
|
|
Paolo Bonzini |
750d89 |
the implementation simple, and testing thus far seems to imply satisfactory
|
|
Paolo Bonzini |
750d89 |
performance, for a virtual boot firmware.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
VirtioNetDxe cannot avoid queueing, because EFI_SIMPLE_NETWORK_PROTOCOL
|
|
Paolo Bonzini |
750d89 |
requires it on the interface level. Consequently, VirtioNetDxe is
|
|
Paolo Bonzini |
750d89 |
significantly more complex than VirtioBlkDxe and VirtioScsiDxe. Technical
|
|
Paolo Bonzini |
750d89 |
notes are provided in "OvmfPkg/VirtioNetDxe/TechNotes.txt".
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- None of these drivers access hardware directly. Instead, the Virtio Device
|
|
Paolo Bonzini |
750d89 |
Protocol (OvmfPkg/Include/Protocol/VirtioDevice.h) collects / extracts virtio
|
|
Paolo Bonzini |
750d89 |
operations defined in the Virtio Specification, and these backend-independent
|
|
Paolo Bonzini |
750d89 |
virtio device drivers go through the abstract VIRTIO_DEVICE_PROTOCOL.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
IMPORTANT: the VIRTIO_DEVICE_PROTOCOL is not a standard UEFI protocol. It is
|
|
Paolo Bonzini |
750d89 |
internal to edk2 and not described in the UEFI specification. It should only
|
|
Paolo Bonzini |
750d89 |
be used by drivers and applications that live inside the edk2 source tree.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Currently two providers exist for VIRTIO_DEVICE_PROTOCOL:
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- The first one is the "more traditional" virtio-pci backend, implemented by
|
|
Paolo Bonzini |
750d89 |
OvmfPkg/VirtioPciDeviceDxe. This driver also complies with the UEFI Driver
|
|
Paolo Bonzini |
750d89 |
Model. It consumes an instance of the EFI_PCI_IO_PROTOCOL, and, if the PCI
|
|
Paolo Bonzini |
750d89 |
device/function under probing appears to be a virtio device, it produces a
|
|
Paolo Bonzini |
750d89 |
Virtio Device Protocol instance for it. The driver translates abstract virtio
|
|
Paolo Bonzini |
750d89 |
operations to PCI accesses.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- The second provider, the virtio-mmio backend, is a library, not a driver,
|
|
Paolo Bonzini |
750d89 |
living in OvmfPkg/Library/VirtioMmioDeviceLib. This library translates
|
|
Paolo Bonzini |
750d89 |
abstract virtio operations to MMIO accesses.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The virtio-mmio backend is only a library -- rather than a standalone, UEFI
|
|
Paolo Bonzini |
750d89 |
Driver Model-compliant driver -- because the type of resource it consumes, an
|
|
Paolo Bonzini |
750d89 |
MMIO register block base address, is not enumerable.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
In other words, while the PCI root bridge driver and the PCI bus driver
|
|
Paolo Bonzini |
750d89 |
produce instances of EFI_PCI_IO_PROTOCOL automatically, thereby enabling the
|
|
Paolo Bonzini |
750d89 |
UEFI Driver Model to probe devices and stack up drivers automatically, no
|
|
Paolo Bonzini |
750d89 |
such enumeration exists for MMIO register blocks.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
For this reason, VirtioMmioDeviceLib needs to be linked into thin, custom
|
|
Paolo Bonzini |
750d89 |
platform drivers that dispose over this kind of information. As soon as a
|
|
Paolo Bonzini |
750d89 |
driver knows about the MMIO register block base addresses, it can pass each
|
|
Paolo Bonzini |
750d89 |
to the library, and then the VIRTIO_DEVICE_PROTOCOL will be instantiated
|
|
Paolo Bonzini |
750d89 |
(assuming a valid virtio-mmio register block of course). From that point on
|
|
Paolo Bonzini |
750d89 |
the UEFI Driver Model again takes care of the chaining.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Typically, such a custom driver does not conform to the UEFI Driver Model
|
|
Paolo Bonzini |
750d89 |
(because that would presuppose auto-enumeration for MMIO register blocks).
|
|
Paolo Bonzini |
750d89 |
Hence it has the following responsibilities:
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- it shall behave as a "wrapper" UEFI driver around the library,
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- it shall know virtio-mmio base addresses,
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- in its entry point function, it shall create a new UEFI handle with an
|
|
Paolo Bonzini |
750d89 |
instance of the EFI_DEVICE_PATH_PROTOCOL for each virtio-mmio device it
|
|
Paolo Bonzini |
750d89 |
knows the base address for,
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- it shall call VirtioMmioInstallDevice() on those handles, with the
|
|
Paolo Bonzini |
750d89 |
corresponding base addresses.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
OVMF itself does not employ VirtioMmioDeviceLib. However, the library is used
|
|
Paolo Bonzini |
750d89 |
(or has been tested as Proof-of-Concept) in the following 64-bit and 32-bit
|
|
Paolo Bonzini |
750d89 |
ARM emulator setups:
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- in "RTSM_VE_FOUNDATIONV8_EFI.fd" and "FVP_AARCH64_EFI.fd", on ARM Holdings'
|
|
Paolo Bonzini |
750d89 |
ARM(R) v8-A Foundation Model and ARM(R) AEMv8-A Base Platform FVP
|
|
Paolo Bonzini |
750d89 |
emulators, respectively:
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
EFI_BLOCK_IO_PROTOCOL
|
|
Paolo Bonzini |
750d89 |
[OvmfPkg/VirtioBlkDxe]
|
|
Paolo Bonzini |
750d89 |
|
|
|
Paolo Bonzini |
750d89 |
VIRTIO_DEVICE_PROTOCOL
|
|
Paolo Bonzini |
750d89 |
[ArmPlatformPkg/ArmVExpressPkg/ArmVExpressDxe/ArmFvpDxe.inf]
|
|
Paolo Bonzini |
750d89 |
|
|
|
Paolo Bonzini |
750d89 |
[OvmfPkg/Library/VirtioMmioDeviceLib]
|
|
Paolo Bonzini |
750d89 |
direct MMIO register access
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- in "RTSM_VE_CORTEX-A15_EFI.fd" and "RTSM_VE_CORTEX-A15_MPCORE_EFI.fd", on
|
|
Paolo Bonzini |
750d89 |
"qemu-system-arm -M vexpress-a15":
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
EFI_BLOCK_IO_PROTOCOL EFI_SIMPLE_NETWORK_PROTOCOL
|
|
Paolo Bonzini |
750d89 |
[OvmfPkg/VirtioBlkDxe] [OvmfPkg/VirtioNetDxe]
|
|
Paolo Bonzini |
750d89 |
| |
|
|
Paolo Bonzini |
750d89 |
+------------------+---------------+
|
|
Paolo Bonzini |
750d89 |
|
|
|
Paolo Bonzini |
750d89 |
VIRTIO_DEVICE_PROTOCOL
|
|
Paolo Bonzini |
750d89 |
[ArmPlatformPkg/ArmVExpressPkg/ArmVExpressDxe/ArmFvpDxe.inf]
|
|
Paolo Bonzini |
750d89 |
|
|
|
Paolo Bonzini |
750d89 |
[OvmfPkg/Library/VirtioMmioDeviceLib]
|
|
Paolo Bonzini |
750d89 |
direct MMIO register access
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
In the above ARM / VirtioMmioDeviceLib configurations, VirtioBlkDxe was
|
|
Paolo Bonzini |
750d89 |
tested with booting Linux distributions, while VirtioNetDxe was tested with
|
|
Paolo Bonzini |
750d89 |
pinging public IPv4 addresses from the UEFI shell.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Platform Driver
|
|
Paolo Bonzini |
750d89 |
...............
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Sometimes, elements of persistent firmware configuration are best exposed to
|
|
Paolo Bonzini |
750d89 |
the user in a friendly way. OVMF's platform driver (OvmfPkg/PlatformDxe)
|
|
Paolo Bonzini |
750d89 |
presents such settings on the "OVMF Platform Configuration" dialog:
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- Press ESC on the TianoCore splash screen,
|
|
Paolo Bonzini |
750d89 |
- Navigate to Device Manager | OVMF Platform Configuration.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
At the moment, OVMF's platform driver handles only one setting: the preferred
|
|
Paolo Bonzini |
750d89 |
graphics resolution. This is useful for two purposes:
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- Some UEFI shell commands, like DRIVERS and DEVICES, benefit from a wide
|
|
Paolo Bonzini |
750d89 |
display. Using the MODE shell command, the user can switch to a larger text
|
|
Paolo Bonzini |
750d89 |
resolution (limited by the graphics resolution), and see the command output
|
|
Paolo Bonzini |
750d89 |
in a more easily consumable way.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
[RHEL] The list of text modes available to the MODE command is also limited
|
|
Paolo Bonzini |
750d89 |
by ConSplitterDxe (found under MdeModulePkg/Universal/Console).
|
|
Paolo Bonzini |
750d89 |
ConSplitterDxe builds an intersection of text modes that are
|
|
Paolo Bonzini |
750d89 |
simultaneously supported by all consoles that ConSplitterDxe
|
|
Paolo Bonzini |
750d89 |
multiplexes console output to.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
In practice, the strongest text mode restriction comes from
|
|
Paolo Bonzini |
750d89 |
TerminalDxe, which provides console I/O on serial ports. TerminalDxe
|
|
Paolo Bonzini |
750d89 |
has a very limited built-in list of text modes, heavily pruning the
|
|
Paolo Bonzini |
750d89 |
intersection built by ConSplitterDxe, and made available to the MODE
|
|
Paolo Bonzini |
750d89 |
command.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
On the Red Hat Enterprise Linux 7.1 host, TerminalDxe's list of modes
|
|
Paolo Bonzini |
750d89 |
has been extended with text resolutions that match the Spice QXL GPU's
|
|
Paolo Bonzini |
750d89 |
common graphics resolutions. This way a "full screen" text mode should
|
|
Paolo Bonzini |
750d89 |
always be available in the MODE command.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- The other advantage of controlling the graphics resolution lies with UEFI
|
|
Paolo Bonzini |
750d89 |
operating systems that don't (yet) have a native driver for QEMU's virtual
|
|
Paolo Bonzini |
750d89 |
video cards -- eg. the Spice QXL GPU. Such OSes may choose to inherit the
|
|
Paolo Bonzini |
750d89 |
properties of OVMF's EFI_GRAPHICS_OUTPUT_PROTOCOL (provided by
|
|
Paolo Bonzini |
750d89 |
OvmfPkg/QemuVideoDxe, see later).
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Although the display can be used at runtime in such cases, by direct
|
|
Paolo Bonzini |
750d89 |
framebuffer access, its properties, for example, the resolution, cannot be
|
|
Paolo Bonzini |
750d89 |
modified. The platform driver allows the user to select the preferred GOP
|
|
Paolo Bonzini |
750d89 |
resolution, reboot, and let the guest OS inherit that preferred resolution.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The platform driver has three access points: the "normal" driver entry point, a
|
|
Paolo Bonzini |
750d89 |
set of HII callbacks, and a GOP installation callback.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(1) Driver entry point: the PlatformInit() function.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(a) First, this function loads any available settings, and makes them take
|
|
Paolo Bonzini |
750d89 |
effect. For the preferred graphics resolution in particular, this means
|
|
Paolo Bonzini |
750d89 |
setting the following PCDs:
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
gEfiMdeModulePkgTokenSpaceGuid.PcdVideoHorizontalResolution
|
|
Paolo Bonzini |
750d89 |
gEfiMdeModulePkgTokenSpaceGuid.PcdVideoVerticalResolution
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
These PCDs influence the GraphicsConsoleDxe driver (located under
|
|
Paolo Bonzini |
750d89 |
MdeModulePkg/Universal/Console), which switches to the preferred
|
|
Paolo Bonzini |
750d89 |
graphics mode, and produces EFI_SIMPLE_TEXT_OUTPUT_PROTOCOLs on GOPs:
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
EFI_SIMPLE_TEXT_OUTPUT_PROTOCOL
|
|
Paolo Bonzini |
750d89 |
[MdeModulePkg/Universal/Console/GraphicsConsoleDxe]
|
|
Paolo Bonzini |
750d89 |
|
|
|
Paolo Bonzini |
750d89 |
EFI_GRAPHICS_OUTPUT_PROTOCOL
|
|
Paolo Bonzini |
750d89 |
[OvmfPkg/QemuVideoDxe]
|
|
Paolo Bonzini |
750d89 |
|
|
|
Paolo Bonzini |
750d89 |
EFI_PCI_IO_PROTOCOL
|
|
Paolo Bonzini |
750d89 |
[MdeModulePkg/Bus/Pci/PciBusDxe]
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(b) Second, the driver entry point registers the user interface, including
|
|
Paolo Bonzini |
750d89 |
HII callbacks.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(c) Third, the driver entry point registers a GOP installation callback.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(2) HII callbacks and the user interface.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The Human Interface Infrastructure (HII) "is a set of protocols that allow
|
|
Paolo Bonzini |
750d89 |
a UEFI driver to provide the ability to register user interface and
|
|
Paolo Bonzini |
750d89 |
configuration content with the platform firmware".
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
OVMF's platform driver:
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- provides a static, basic, visual form (PlatformForms.vfr), written in the
|
|
Paolo Bonzini |
750d89 |
Visual Forms Representation language,
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- includes a UCS-16 encoded message catalog (Platform.uni),
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- includes source code that dynamically populates parts of the form, with
|
|
Paolo Bonzini |
750d89 |
the help of MdeModulePkg/Library/UefiHiiLib -- this library simplifies
|
|
Paolo Bonzini |
750d89 |
the handling of IFR (Internal Forms Representation) opcodes,
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- processes form actions that the user takes (Callback() function),
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- loads and saves platform configuration in a private, non-volatile
|
|
Paolo Bonzini |
750d89 |
variable (ExtractConfig() and RouteConfig() functions).
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The ExtractConfig() HII callback implements the following stack of
|
|
Paolo Bonzini |
750d89 |
conversions, for loading configuration and presenting it to the user:
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
MultiConfigAltResp -- form engine / HII communication
|
|
Paolo Bonzini |
750d89 |
^
|
|
Paolo Bonzini |
750d89 |
|
|
|
Paolo Bonzini |
750d89 |
[BlockToConfig]
|
|
Paolo Bonzini |
750d89 |
|
|
|
Paolo Bonzini |
750d89 |
MAIN_FORM_STATE -- binary representation of form/widget
|
|
Paolo Bonzini |
750d89 |
^ state
|
|
Paolo Bonzini |
750d89 |
|
|
|
Paolo Bonzini |
750d89 |
[PlatformConfigToFormState]
|
|
Paolo Bonzini |
750d89 |
|
|
|
Paolo Bonzini |
750d89 |
PLATFORM_CONFIG -- accessible to DXE and UEFI drivers
|
|
Paolo Bonzini |
750d89 |
^
|
|
Paolo Bonzini |
750d89 |
|
|
|
Paolo Bonzini |
750d89 |
[PlatformConfigLoad]
|
|
Paolo Bonzini |
750d89 |
|
|
|
Paolo Bonzini |
750d89 |
UEFI non-volatile variable -- accessible to external utilities
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The layers are very similar for the reverse direction, ie. when taking
|
|
Paolo Bonzini |
750d89 |
input from the user, and saving the configuration (RouteConfig() HII
|
|
Paolo Bonzini |
750d89 |
callback):
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
ConfigResp -- form engine / HII communication
|
|
Paolo Bonzini |
750d89 |
|
|
|
Paolo Bonzini |
750d89 |
[ConfigToBlock]
|
|
Paolo Bonzini |
750d89 |
|
|
|
Paolo Bonzini |
750d89 |
v
|
|
Paolo Bonzini |
750d89 |
MAIN_FORM_STATE -- binary representation of form/widget
|
|
Paolo Bonzini |
750d89 |
| state
|
|
Paolo Bonzini |
750d89 |
[FormStateToPlatformConfig]
|
|
Paolo Bonzini |
750d89 |
|
|
|
Paolo Bonzini |
750d89 |
v
|
|
Paolo Bonzini |
750d89 |
PLATFORM_CONFIG -- accessible to DXE and UEFI drivers
|
|
Paolo Bonzini |
750d89 |
|
|
|
Paolo Bonzini |
750d89 |
[PlatformConfigSave]
|
|
Paolo Bonzini |
750d89 |
|
|
|
Paolo Bonzini |
750d89 |
v
|
|
Paolo Bonzini |
750d89 |
UEFI non-volatile variable -- accessible to external utilities
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(3) When the platform driver starts, a GOP may not be available yet. Thus the
|
|
Paolo Bonzini |
750d89 |
driver entry point registers a callback (the GopInstalled() function) for
|
|
Paolo Bonzini |
750d89 |
GOP installations.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
When the first GOP is produced (usually by QemuVideoDxe, or potentially by
|
|
Paolo Bonzini |
750d89 |
a third party video driver), PlatformDxe retrieves the list of graphics
|
|
Paolo Bonzini |
750d89 |
modes the GOP supports, and dynamically populates the drop-down list of
|
|
Paolo Bonzini |
750d89 |
available resolutions on the form. The GOP installation callback is then
|
|
Paolo Bonzini |
750d89 |
removed.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Video driver
|
|
Paolo Bonzini |
750d89 |
............
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
OvmfPkg/QemuVideoDxe is OVMF's built-in video driver. We can divide its
|
|
Paolo Bonzini |
750d89 |
services in two parts: graphics output protocol (primary), and Int10h (VBE)
|
|
Paolo Bonzini |
750d89 |
shim (secondary).
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(1) QemuVideoDxe conforms to the UEFI Driver Model; it produces an instance of
|
|
Paolo Bonzini |
750d89 |
the EFI_GRAPHICS_OUTPUT_PROTOCOL (GOP) on each PCI display that it supports
|
|
Paolo Bonzini |
750d89 |
and is connected to:
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
EFI_GRAPHICS_OUTPUT_PROTOCOL
|
|
Paolo Bonzini |
750d89 |
[OvmfPkg/QemuVideoDxe]
|
|
Paolo Bonzini |
750d89 |
|
|
|
Paolo Bonzini |
750d89 |
EFI_PCI_IO_PROTOCOL
|
|
Paolo Bonzini |
750d89 |
[MdeModulePkg/Bus/Pci/PciBusDxe]
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
It supports the following QEMU video cards:
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
- Cirrus 5430 ("-device cirrus-vga"),
|
|
Paolo Bonzini |
750d89 |
- Standard VGA ("-device VGA"),
|
|
Paolo Bonzini |
750d89 |
- QXL VGA ("-device qxl-vga", "-device qxl").
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
For Cirrus the following resolutions and color depths are available:
|
|
Paolo Bonzini |
750d89 |
640x480x32, 800x600x32, 1024x768x24. On stdvga and QXL a long list of
|
|
Paolo Bonzini |
750d89 |
resolutions is available. The list is filtered against the frame buffer
|
|
Paolo Bonzini |
750d89 |
size during initialization.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The size of the QXL VGA compatibility framebuffer can be changed with the
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
-device qxl-vga,vgamem_mb=$NUM_MB
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
QEMU option. If $NUM_MB exceeds 32, then the following is necessary
|
|
Paolo Bonzini |
750d89 |
instead:
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
-device qxl-vga,vgamem_mb=$NUM_MB,ram_size_mb=$((NUM_MB*2))
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
because the compatibility framebuffer can't cover more than half of PCI BAR
|
|
Paolo Bonzini |
750d89 |
#0. The latter defaults to 64MB in size, and is controlled by the
|
|
Paolo Bonzini |
750d89 |
"ram_size_mb" property.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
(2) When QemuVideoDxe binds the first Standard VGA or QXL VGA device, and there
|
|
Paolo Bonzini |
750d89 |
is no real VGA BIOS present in the C to F segments (which could originate
|
|
Paolo Bonzini |
750d89 |
from a legacy PCI option ROM -- refer to "Compatibility Support Module
|
|
Paolo Bonzini |
750d89 |
(CSM)"), then QemuVideoDxe installs a minimal, "fake" VGA BIOS -- an Int10h
|
|
Paolo Bonzini |
750d89 |
(VBE) "shim".
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The shim is implemented in 16-bit assembly in
|
|
Paolo Bonzini |
750d89 |
"OvmfPkg/QemuVideoDxe/VbeShim.asm". The "VbeShim.sh" shell script assembles
|
|
Paolo Bonzini |
750d89 |
it and formats it as a C array ("VbeShim.h") with the help of the "nasm"
|
|
Paolo Bonzini |
750d89 |
utility. The driver's InstallVbeShim() function copies the shim in place
|
|
Paolo Bonzini |
750d89 |
(the C segment), and fills in the VBE Info and VBE Mode Info structures.
|
|
Paolo Bonzini |
750d89 |
The real-mode 10h interrupt vector is pointed to the shim's handler.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The shim is (correctly) irrelevant and invisible for all UEFI operating
|
|
Paolo Bonzini |
750d89 |
systems we know about -- except Windows Server 2008 R2 and other Windows
|
|
Paolo Bonzini |
750d89 |
operating systems in that family.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Namely, the Windows 2008 R2 SP1 (and Windows 7) UEFI guest's default video
|
|
Paolo Bonzini |
750d89 |
driver dereferences the real mode Int10h vector, loads the pointed-to
|
|
Paolo Bonzini |
750d89 |
handler code, and executes what it thinks to be VGA BIOS services in an
|
|
Paolo Bonzini |
750d89 |
internal real-mode emulator. Consequently, video mode switching used not to
|
|
Paolo Bonzini |
750d89 |
work in Windows 2008 R2 SP1 when it ran on the "pure UEFI" build of OVMF,
|
|
Paolo Bonzini |
750d89 |
making the guest uninstallable. Hence the (otherwise optional, non-default)
|
|
Paolo Bonzini |
750d89 |
Compatibility Support Module (CSM) ended up a requirement for running such
|
|
Paolo Bonzini |
750d89 |
guests.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The hard dependency on the sophisticated SeaBIOS CSM and the complex
|
|
Paolo Bonzini |
750d89 |
supporting edk2 infrastructure, for enabling this family of guests, was
|
|
Paolo Bonzini |
750d89 |
considered suboptimal by some members of the upstream community,
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
[RHEL] and was certainly considered a serious maintenance disadvantage for
|
|
Paolo Bonzini |
750d89 |
Red Hat Enterprise Linux 7.1 hosts.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Thus, the shim has been collaboratively developed for the Windows 7 /
|
|
Paolo Bonzini |
750d89 |
Windows Server 2008 R2 family. The shim provides a real stdvga / QXL
|
|
Paolo Bonzini |
750d89 |
implementation for the few services that are in fact necessary for the
|
|
Paolo Bonzini |
750d89 |
Windows 2008 R2 SP1 (and Windows 7) UEFI guest, plus some "fakes" that the
|
|
Paolo Bonzini |
750d89 |
guest invokes but whose effect is not important. The only supported mode is
|
|
Paolo Bonzini |
750d89 |
1024x768x32, which is enough to install the guest and then upgrade its
|
|
Paolo Bonzini |
750d89 |
video driver to the full-featured QXL XDDM one.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The C segment is not present in the UEFI memory map prepared by OVMF.
|
|
Paolo Bonzini |
750d89 |
Memory space that would cover it is never added (either in PEI, in the form
|
|
Paolo Bonzini |
750d89 |
of memory resource descriptor HOBs, or in DXE, via gDS->AddMemorySpace()).
|
|
Paolo Bonzini |
750d89 |
This way the handler body is invisible to all other UEFI guests, and the
|
|
Paolo Bonzini |
750d89 |
rest of edk2.
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
The Int10h real-mode IVT entry is covered with a Boot Services Code page,
|
|
Paolo Bonzini |
750d89 |
making that too inaccessible to the rest of edk2. Due to the allocation
|
|
Paolo Bonzini |
750d89 |
type, UEFI guest OSes different from the Windows Server 2008 family can
|
|
Paolo Bonzini |
750d89 |
reclaim the page at zero. (The Windows 2008 family accesses that page
|
|
Paolo Bonzini |
750d89 |
regardless of the allocation type.)
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Afterword
|
|
Paolo Bonzini |
750d89 |
---------
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
After the bulk of this document was written in July 2014, OVMF development has
|
|
Paolo Bonzini |
750d89 |
not stopped. To name two significant code contributions from the community: in
|
|
Paolo Bonzini |
750d89 |
January 2015, OVMF runs on the "q35" machine type of QEMU, and it features a
|
|
Paolo Bonzini |
750d89 |
driver for Xen paravirtual block devices (and another for the underlying Xen
|
|
Paolo Bonzini |
750d89 |
bus).
|
|
Paolo Bonzini |
750d89 |
|
|
Paolo Bonzini |
750d89 |
Furthermore, a dedicated virtualization platform has been contributed to
|
|
Paolo Bonzini |
750d89 |
ArmPlatformPkg that plays a role parallel to OvmfPkg's. It targets the "virt"
|
|
Paolo Bonzini |
750d89 |
machine type of qemu-system-arm and qemu-system-aarch64. Parts of OvmfPkg are
|
|
Paolo Bonzini |
750d89 |
being refactored and modularized so they can be reused in
|
|
Paolo Bonzini |
750d89 |
"ArmPlatformPkg/ArmVirtualizationPkg/ArmVirtualizationQemu.dsc".
|