Merged MDB rewrite.
authorMark Nevill <nevillm@ethz.ch>
Wed, 8 Feb 2012 10:28:55 +0000 (11:28 +0100)
committerMark Nevill <nevillm@ethz.ch>
Wed, 8 Feb 2012 10:28:55 +0000 (11:28 +0100)
1  2 
capabilities/caps.hl
errors/errno.fugu
include/barrelfish_kpi/capabilities.h
kernel/Hakefile
kernel/arch/x86_32/syscall.c
kernel/arch/x86_64/syscall.c
kernel/capabilities.c
tools/fof/IL/Paka/Paka.lhs

Simple merge
Simple merge
Simple merge
diff --cc kernel/Hakefile
Simple merge
Simple merge
Simple merge
Simple merge
Simple merge