Merge memory paper code into memory system branch
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Mon, 22 Oct 2018 20:51:06 +0000 (22:51 +0200)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Mon, 22 Oct 2018 20:51:06 +0000 (22:51 +0200)
commit0640ee98f64150d30a0a1a17849f53801d186345
tree87069cbf3c810667baa5c9af48947d56c8f75d14
parent273356b7912ba66477154a93a814e6c6db09666d
parent236aaea4ca736cf625176f1caa26c39c3b6f25d4
Merge memory paper code into memory system branch

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
23 files changed:
capabilities/caps.hl
errors/errno.fugu
hake/RuleDefs.hs
if/Hakefile
include/barrelfish_kpi/capabilities.h
kernel/arch/x86_64/irq.c
kernel/arch/x86_64/page_mappings_arch.c
kernel/arch/x86_64/syscall.c
kernel/arch/x86_64/vmx_vmkit.c
kernel/cap_delete.c
kernel/capabilities.c
kernel/include/capabilities.h
kernel/include/target/x86_64/paging_kernel_target.h
lib/barrelfish/Hakefile
lib/barrelfish/arch/x86/pmap.c
lib/barrelfish/arch/x86_32/pmap.c
lib/barrelfish/arch/x86_64/pmap.c
lib/barrelfish/debug.c
lib/barrelfish/ram_alloc.c
lib/barrelfish/sys_debug.c
lib/posixcompat/Hakefile
lib/posixcompat/sbrk.c
platforms/Hakefile