David E. O'Brien d1bdfb40fd -ffreestanding is the word. ... (also resort some CFLAGS such that the more "important" value are first so they are easier to see)		2002-05-10 09:26:35 +00:00
..
arch/ia64	Improve self-relocation:	2002-04-21 08:49:47 +00:00
bootinfo.c	Lookup the EFI_FPSWA driver and pass the interface pointer through to the	2001-11-19 07:09:47 +00:00
copy.c	Make this do the right thing (mostly). We should still reserve the pages	2001-09-14 08:26:00 +00:00
delay.c	style(9) + fix FreeBSD id's.	2001-06-16 02:12:36 +00:00
devicename.c	Reformat.	2001-09-07 08:49:47 +00:00
efi_console.c	Fix FreeBSD id style.	2001-06-16 05:56:13 +00:00
efiboot.h	Lookup the EFI_FPSWA driver and pass the interface pointer through to the	2001-11-19 07:09:47 +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	Finally fix loader completely for IA64. efifs_stat() wasn't setting	2002-04-11 09:50:11 +00:00
efinet.c	Fix the initialization of the protocol:	2002-03-30 04:50:52 +00:00
elf_freebsd.c	Allocate sufficient pages to hold the bootinfo block and stop	2002-04-19 06:43:09 +00:00
exit.c	style(9) + fix FreeBSD id's.	2001-06-16 02:12:36 +00:00
libefi.c	Fix FreeBSD id style.	2001-06-16 05:56:13 +00:00
Makefile	-ffreestanding is the word.	2002-05-10 09:26:35 +00:00
module.c	style(9) + fix FreeBSD id's.	2001-06-16 02:12:36 +00:00
time.c	Add getsecs() for the libstand network code.	2001-09-22 18:33:09 +00:00