Searched full:firmware (Results 1 – 15 of 15) sorted by relevance
20 firmware=$FIRMWARE_OVERRIDE25 : "${firmware:=$FIRMWARE}"26 [ "$firmware" ] && firmware="-bios $firmware"40 command+=" $mach $acc $firmware -cpu $qemu_cpu "
16 # Set $FIRMWARE_OVERRIDE to /path/to/firmware to select the SBI implementation.
62 if [ "$FIRMWARE" ]; then63 temp_file FIRMWARE "$FIRMWARE"64 echo 'export FIRMWARE'
12 - [UEFI firmware](https://github.com/tianocore/edk2): to run test cases in QEMU27 By default the runner script loads the UEFI firmware `/usr/share/ovmf/OVMF.fd`;28 please install UEFI firmware to this path, or specify the correct path through
23 echo "UEFI firmware not found: $EFI_UEFI"24 echo "Please install the UEFI firmware to this path"39 # - UEFI firmware by default loads the file EFI/BOOT/BOOTX64.EFI
62 * Adapted from drivers/firmware/efi/libstub/vsprintf.c85 * Adapted from drivers/firmware/efi/libstub/vsprintf.c118 * Adapted from drivers/firmware/efi/libstub/vsprintf.c255 * Adapted from drivers/firmware/efi/libstub/vsprintf.c269 * Adapted from drivers/firmware/efi/libstub/vsprintf.c
2 * Generic PCI host controller as described in PCI Bus Binding to Open Firmware
8 * specification, since the tables are provided by the system firmware.
132 /* Adapted from drivers/firmware/efi/libstub/efi-stub.c */
51 B+="-bios $FIRMWARE"
41 echo "UEFI firmware not found."
56 * Strictly speaking this is a firmware problem, but let's check in main()
37 echo "UEFI firmware not found."
388 firmware="$testdir/boot_rom.bin"512 FIRMWARE=$firmware
47 * this means that firmware services invoked by the kernel may assume that