marcel 578041b6e2 Remove `#ifndef lint' left behind after previous change.		2003-04-04 02:12:56 +00:00
..
common	Use __FBSDID rather than rcsid[].	2003-04-03 21:36:33 +00:00
efi	Use __FBSDID rather than rcsid[].	2003-04-03 21:36:33 +00:00
libski	Use __FBSDID rather than rcsid[].	2003-04-03 21:36:33 +00:00
ski	Remove `#ifndef lint' left behind after previous change.	2003-04-04 02:12:56 +00:00
skiload	Remove `#ifndef lint' left behind after previous change.	2003-04-04 02:12:56 +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