marcel 42af796d09 Catch up with other platforms: switch the default scheduler to 4BSD.		2004-09-12 05:50:32 +00:00
..
GENERIC	Catch up with other platforms: switch the default scheduler to 4BSD.	2004-09-12 05:50:32 +00:00
GENERIC.hints	Remove the last traditional hints. These hints only served the purpose	2004-03-20 04:23:03 +00:00
Makefile	Add the bits for a LINT kernel. It has been verified to compile. We	2003-08-23 21:47:33 +00:00
NOTES	Catch up with the drive-by renaming of IA32 to COMPAT_IA32. Missed	2004-08-27 21:57:00 +00:00
SKI	Catch up with other platforms: switch the default scheduler to 4BSD.	2004-09-12 05:50:32 +00:00