marcel c41bc1d5c3 Introduce IA64_ID_PAGE_{MASK|SHIFT|SIZE} and LOG2_ID_PAGE_SIZE. The ... latter is a kernel option for IA64_ID_PAGE_SHIFT, which in turn determines IA64_ID_PAGE_MASK and IA64_ID_PAGE_SIZE. The constants are used instead of the literal hardcoding (in its various forms) of the size of the direct mappings created in region 6 and 7. The default and probably only workable size is still 256M, but for kicks we use 128M for LINT.		2003-09-09 05:59:09 +00:00
..
GENERIC	Take the support for the 8139C+/8169/8169S/8110S chips out of the	2003-09-08 02:11:25 +00:00
GENERIC.hints	MFp4: Revamped GENERIC (and hints). This is some much more pleasant	2003-09-07 06:39:51 +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