obrien ed9debd5e8 Use __FBSDID(). ... Also some minor style cleanups.		2003-09-08 09:11:32 +00:00
..
common	Enable the i386 loader to load and run an amd64 kernel. If this puts	2003-05-01 03:56:30 +00:00
efi	Don't hardcode unit 0 for the current device if we're loaded from an	2003-08-02 08:22:03 +00:00
libski	Use __FBSDID().	2003-09-08 09:11:32 +00:00
ski	Use __FBSDID().	2003-09-08 09:11:32 +00:00
skiload	Fix the ski loader, broken by the gcc upgrade. Update the linker	2003-07-17 01:49:59 +00:00
Makefile	Add a version of the loader which runs under SKI, the HP ia64 simulator.	2001-09-12 08:34:27 +00:00
Makefile.inc	Remove special casing for running in the simulator from the kernel	2003-02-01 22:50:09 +00:00