School of Computer Science & Engineering
University of New South Wales
Advanced Operating Systems
COMP9242 2002/S2
Next: Fpage Mapping
Up: 01-l4
Previous: Timeouts...
Subsections
- 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.
- 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.
.
Gernot Heiser
2002-08-07