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 |
|
Doug Rabson
|
bc14d41c7e
|
Return the mapkey which EFI gave us when we read the memory map - we need
it to call ExitBootServices.
|
2001-09-24 19:37:44 +00:00 |
|
Doug Rabson
|
1271403685
|
* Flesh out elf_exec and bootinfo.
* Add EFI network support.
|
2001-09-22 19:10:56 +00:00 |
|
Doug Rabson
|
f77b61980e
|
Add a libstand filesystem for accessing EFI native filesystems.
|
2001-09-07 08:51:48 +00:00 |
|
David E. O'Brien
|
16aaa88017
|
style(9)
|
2001-06-16 05:55:32 +00:00 |
|
Doug Rabson
|
fd3e14e915
|
First approximation of an ia64 EFI loader. Not functional.
|
2001-06-09 16:49:51 +00:00 |
|