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	First approximation of an ia64 EFI loader. Not functional.	2001-06-09 16:49:51 +00:00
Makefile.inc	style police	2001-06-16 05:59:45 +00:00