Advanced Operating Systems   COMP9242 2002/S2

UNSW

Printer-Friendly Version Administration                - Notices - Course Intro - Consultations # On-line Survey (closed) - Survey Results   Work - Lectures - Milestone 0 - Project Admin - Project Spec - Project FAQ - Exam   Documentation - ASysT Lab - L4 source browser - Sulima ISA Simulator - R4x00 ISA Summary  - MIPS R4700 Reference - MIPS R4000 User Manual  - Network Driver - GT64111   Related Info - Aurema OS Prize - OS Hall of Fame   History - 2000 - 1999 - 1998   Staff - Gernot Heiser (LiC)

Fpage Notes 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 Changed in next release. Present MIPS implementation does not support granting Changed in next release. 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! Changed in next release.