David E. O'Brien 7d4724590e Use __FBSDID(). ... Also some minor style cleanups.		2003-09-08 09:11:32 +00:00
..
acpi_stub.c	Use __FBSDID().	2003-09-08 09:11:32 +00:00
bootinfo.c	Use __FBSDID().	2003-09-08 09:11:32 +00:00
conf.c	Remove `#ifndef lint' left behind after previous change.	2003-04-04 02:12:56 +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	Use __FBSDID().	2003-09-08 09:11:32 +00:00
efi_stub.c	Use __FBSDID().	2003-09-08 09:11:32 +00:00
elf_freebsd.c	Use __FBSDID().	2003-09-08 09:11:32 +00:00
exit.c	Use __FBSDID rather than rcsid[].	2003-04-03 21:36:33 +00:00
ldscript.ia64	Fix the ski loader, broken by the gcc upgrade. Update the linker	2003-07-17 01:49:59 +00:00
libski.h	Remove special casing for running in the simulator from the kernel	2003-02-01 22:50:09 +00:00
main.c	Fix the ski loader, broken by the gcc upgrade. Update the linker	2003-07-17 01:49:59 +00:00
Makefile	Fix the ski loader, broken by the gcc upgrade. Update the linker	2003-07-17 01:49:59 +00:00
pal_stub.S	Remove special casing for running in the simulator from the kernel	2003-02-01 22:50:09 +00:00
sal_stub.c	Use __FBSDID().	2003-09-08 09:11:32 +00:00
skiconsole.c	Use __FBSDID rather than rcsid[].	2003-04-03 21:36:33 +00:00
skifs.c	Use __FBSDID().	2003-09-08 09:11:32 +00:00
skiload.cmd
ssc.c	Use __FBSDID().	2003-09-08 09:11:32 +00:00
start.S	Fix the ski loader, broken by the gcc upgrade. Update the linker	2003-07-17 01:49:59 +00:00
time.c	Use __FBSDID().	2003-09-08 09:11:32 +00:00
version	Pass the address of the bootinfo block to the kernel in register	2002-03-30 23:52:34 +00:00