marcel 1cd9ce158f Remove the atkbd, psm, sc and vga devices. Most ia64 boxes out there ... are zx1 based machines and they don't particularly like it when we poke at them with PC legacy code. The atkbd and psm devices were disabled in the hints file so that one could enable them on machines that support legacy devices, but that's not really something you can expect from a first-time installer. This still leaves syscons (sc) and the vga device, which were enabled by default and wrecking havoc anyway. We could disable them by default like the atkbd and psm devices, but there's really no point in pretending we're in a better shape that way.		2003-11-08 23:19:13 +00:00
..
GENERIC	Remove the atkbd, psm, sc and vga devices. Most ia64 boxes out there	2003-11-08 23:19:13 +00:00
GENERIC.hints	Remove the atkbd, psm, sc and vga devices. Most ia64 boxes out there	2003-11-08 23:19:13 +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	Introduce IA64_ID_PAGE_{MASK|SHIFT|SIZE} and LOG2_ID_PAGE_SIZE. The	2003-09-09 05:59:09 +00:00
SKI	Remove INVARIANT* and WITNESS. This makes the simulator much more	2003-07-25 07:52:20 +00:00