freebsd-dev/sys/boot/efi/libefi
Peter Wemm 48a0b96a50 Enable the i386 loader to load and run an amd64 kernel. If this puts
things over floppy size limits, I can exclude it for release builds or
something like that.  Most of the changes are to get the load_elf.c file
into a seperate elf32_ or elf64_ namespace so that you can have two
ELF loaders present at once.  Note that for 64 bit kernels, it actually
starts up the kernel already in 64 bit mode with paging enabled.  This
is really easy because we have a known minimum feature set.

Of note is that for amd64, we have to pass in the bios int 15 0xe821
memory map because once in long mode, you absolutely cannot make VM86
calls.  amd64 does not use 'struct bootinfo' at all.  It is a pure loader
metadata startup, just like sparc64 and powerpc.  Much of the
infrastructure to support this was adapted from sparc64.
2003-05-01 03:56:30 +00:00
..
arch/ia64 Remove _putchar, _puts and _puthex. These functions are unused. 2002-12-10 04:14:01 +00:00
bootinfo.c Simplify page alignment. 2003-02-20 06:47:54 +00:00
copy.c Use __FBSDID rather than rcsid[]. 2003-04-03 21:36:33 +00:00
delay.c Use __FBSDID rather than rcsid[]. 2003-04-03 21:36:33 +00:00
devicename.c Reformat. 2001-09-07 08:49:47 +00:00
efi_console.c Use __FBSDID rather than rcsid[]. 2003-04-03 21:36:33 +00:00
efiboot.h o Fix a size calculation based on a 8KB page, while under EFI 2002-10-24 07:53:12 +00:00
efifpswa.c Lookup the EFI_FPSWA driver and pass the interface pointer through to the 2001-11-19 07:09:47 +00:00
efifs.c Increase the block size for reading and writing from 8KB to 1MB and 2003-02-26 09:13:05 +00:00
efinet.c Fix printf format errors 2002-07-20 03:52:18 +00:00
elf_freebsd.c Enable the i386 loader to load and run an amd64 kernel. If this puts 2003-05-01 03:56:30 +00:00
libefi.c Use __FBSDID rather than rcsid[]. 2003-04-03 21:36:33 +00:00
Makefile Change the startup code to fix a memory leak and to allow us to 2002-12-10 06:22:25 +00:00
module.c Use __FBSDID rather than rcsid[]. 2003-04-03 21:36:33 +00:00
time.c Use __FBSDID rather than rcsid[]. 2003-04-03 21:36:33 +00:00