Merge distops benchmarking into memory system branch
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Mon, 22 Oct 2018 20:44:55 +0000 (22:44 +0200)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Mon, 22 Oct 2018 20:44:55 +0000 (22:44 +0200)
commit273356b7912ba66477154a93a814e6c6db09666d
tree92f9637e3b55c54bc764ebdf417d510b98d78aca
parentc776d00bbdbf60a46f4c3052bdddcea7e899605d
parent1b1baa89472e2247f928745e8dccb80ed5758eeb
Merge distops benchmarking into memory system branch

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
17 files changed:
errors/errno.fugu
if/Hakefile
include/barrelfish_kpi/capabilities.h
kernel/arch/x86_64/page_mappings_arch.c
kernel/arch/x86_64/syscall.c
kernel/cap_delete.c
kernel/capabilities.c
kernel/include/sys_debug.h
kernel/paging_generic.c
kernel/sys_debug.c
lib/barrelfish/arch/x86/pmap.c
lib/barrelfish/arch/x86/sys_debug.c
lib/barrelfish/arch/x86_64/pmap.c
lib/libc/sys/barrelfish_syscalls.c
lib/posixcompat/Hakefile
platforms/Hakefile
usr/monitor/main.c