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)
commit190f8c745a83221f8f7429eb5c74327779f4c834
tree3309ca4bc449f5742c6a126e4258b71eea7d470c
parent014af5bbd516b7731a6eec6e79ac5bd640e472b0
parent36f841e5a2e8ee89da6c79956eb53988641f5445
Merged MDB rewrite.
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