Merge upstream (including changes for ubuntu 18.04) into memory system branch
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Mon, 22 Oct 2018 20:56:51 +0000 (22:56 +0200)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Mon, 22 Oct 2018 20:56:51 +0000 (22:56 +0200)
commit737d00f5e50f25ce357199d68c96604919152106
tree7f3b57fe76d1036a592b0a11003880db3a9b19ae
parentaee7416cad0942925c59485bbaa2a3aa8025c5ef
parentdde1627a841df5d4ad4717149a813b8621c1d5c5
Merge upstream (including changes for ubuntu 18.04) into memory system branch

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
42 files changed:
capabilities/caps.hl
errors/errno.fugu
hake/RuleDefs.hs
if/Hakefile
include/arch/x86_64/barrelfish/invocations_arch.h
include/barrelfish/capabilities.h
include/barrelfish/debug.h
include/barrelfish/invocations.h
include/barrelfish/threads.h
include/barrelfish_kpi/capabilities.h
include/barrelfish_kpi/distcaps.h
include/barrelfish_kpi/init.h
include/barrelfish_kpi/syscalls.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/dispatch.h
kernel/include/syscall.h
kernel/paging_generic.c
kernel/startup.c
kernel/syscall.c
lib/barrelfish/arch/x86_64/pmap.c
lib/barrelfish/capabilities.c
lib/barrelfish/debug.c
lib/barrelfish/dispatch.c
lib/barrelfish/domain.c
lib/barrelfish/init.c
lib/barrelfish/threads.c
lib/crt/arch/x86_64/crt0.S
lib/mdb/mdb_tree.c
lib/posixcompat/sbrk.c
lib/spawndomain/spawn.c
platforms/Hakefile
usr/examples/xmpl-cow/main.c
usr/monitor/capops/retype.c
usr/monitor/capops/revoke.c
usr/monitor/main.c
usr/monitor/monitor_rpc_server.c