Screen Version
School of Computer Science & Engineering
University of New South Wales
Advanced Operating Systems
COMP9242 2002/S2
Next:
Microkernel Implementation
Microkernel Implementation
MIPS address space
L4 physical memory map
Virtual TCB Array:
Two TCBs per (4kb) page:
TCB layout
Kernel data layout
Kernel stack:
Kernel stack...
Kernel stacks & TCBs
Accessing receiver's data during long IPC
Page fault handling
Bibliography
About this document ...
Gernot Heiser 2002-09-05