School of Computer Science & Engineering
University of New South Wales
Advanced Operating Systems
COMP9242 2002/S2
Next: Revoke Mappings: fpage_unmap System
Up: 01-l4
Previous: Formal Fpage Mapping Rules
- Page fault IPC (manufactured by kernel) specifies
whole address
space for receiver (
)
- Present MIPS implementation only uses smallest hardware page
size (
), but that is transparent to user
- Present MIPS implementation does not support granting
- An attempt to map over an existing mapping is silently ignored
(except if the mappings only differ in the write permission).
This is a bug in all present L4 implementations!
Gernot Heiser
2002-08-07