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
|
6dd44dacaa
|
Pick up pal.s from the kernel sources.
|
2001-09-24 19:31: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
|
327b34100f
|
Add ELF backend to the build.
|
2001-09-14 08:27:49 +00:00 |
|
Doug Rabson
|
f77b61980e
|
Add a libstand filesystem for accessing EFI native filesystems.
|
2001-09-07 08:51:48 +00:00 |
|
Doug Rabson
|
fd3e14e915
|
First approximation of an ia64 EFI loader. Not functional.
|
2001-06-09 16:49:51 +00:00 |
|