Printer-Friendly
Version
|
Next: DIT header page (MIPS)
Up: 01-l4
Previous: The Root Pager
- Lives in kernel reserved space
- Mapped by upon requesting a particular invalid page
(address -3 on MIPS).
- Mapped read-only to anyone requesting it at any time.
- Contains information about L4 and machine:
- L4 version etc,
- size of physical memory,
- size and address of L4 reserved memory,
- millisecond real-time clock,
- address of DIT header page (MIPS).
Gernot Heiser
2002-08-07
|