freebsd-dev/sys/boot/efi
Peter Wemm 24ffe931b9 Lookup the EFI_FPSWA driver and pass the interface pointer through to the
kernel before we call ExitBootServices().  I've typed the definitions
in efifpswa.h from the Intel FPSWA manual (urk).
2001-11-19 07:09:47 +00:00
..
include Lookup the EFI_FPSWA driver and pass the interface pointer through to the 2001-11-19 07:09:47 +00:00
libefi Lookup the EFI_FPSWA driver and pass the interface pointer through to the 2001-11-19 07:09:47 +00:00
loader s/alpha/${MACHINE_ARCH}/g 2001-10-08 01:41:45 +00:00
Makefile
Makefile.inc