Searched refs:EFI (Results 1 - 2 of 2) sorted by relevance

/barrelfish-2018-10-04/tools/
H A Dqemu-wrapper.sh204 EFI=1
225 if test -z "$EFI"; then
270 if test -z "$EFI"; then
/barrelfish-2018-10-04/doc/022-armv8/
H A Dreport.tex165 interface). UEFI is a descendant of the EFI specification, developed by Intel
644 \item Hagfish queries EFI for the PXE protocol instance used to load it, and
655 The frames holding these tables are marked with the EFI memory type\\
659 to allow EFI and Hagfish regions to be safely reclaimed.
661 information as it can get from EFI, including:
664 \item The EFI memory map (including Hagfish's custom-tagged regions).
673 \item Hagfish terminates EFI boot services (calls \texttt{ExitBootServices}),
697 \item The final EFI memory map, with all areas allocated by Hagfish to

Completed in 37 milliseconds