Marcel Moolenaar f1220bfe41 Replace sio(4) with uart(4). Remove the sio(4) hints and only add ... those hints used by uart(4) for the determination of the serial console in the absence of the HCDP table.		2003-09-07 05:47:10 +00:00
..
GENERIC	Replace sio(4) with uart(4). Remove the sio(4) hints and only add	2003-09-07 05:47:10 +00:00
GENERIC.hints	Replace sio(4) with uart(4). Remove the sio(4) hints and only add	2003-09-07 05:47:10 +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	Change LOG2_PAGE_SIZE from 14 to 15 bits. This will cause the CTASSERT	2003-08-25 20:02:18 +00:00
SKI	Remove INVARIANT* and WITNESS. This makes the simulator much more	2003-07-25 07:52:20 +00:00