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)

Specification of Mappings Source and destination of mappings are specified as fpages. Sender specifies a set of fpages which are to be mapped/granted to the receiver. Receiver specifies the window where mappings will be accepted as a receive fpage. fpage representation (MIPS) Data structure l4/types.h:l4_fpage_t. MIPS kernel presently only supports 4kB pages Bigger (send) fpages are handled as if all component pages were listed individually. .