 
include l4pre.inc 
include l4const.inc
  
include adrspace.inc 
page
include uid.inc
page 
include tcb.inc
page 
include schedcb.inc 
page 
include cpucb.inc
page 
include pagconst.inc 
page 
include syscalls.inc 
 
  code ends
  end