Merge branch 'arrakis'
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Fri, 14 Aug 2015 06:46:05 +0000 (08:46 +0200)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Fri, 14 Aug 2015 06:46:05 +0000 (08:46 +0200)
commitbebc5f3780da1d60e8af5dd826aed90785ad2ad8
treefed35990b9b35128f5adfb009e4d59638d55e037
parent5c0dca65c2458c5a465a2f80d31d0a9f9d22c162
parent878547ecfdb036fbaf1399c319b0ebb65633c4d0
Merge branch 'arrakis'

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
15 files changed:
devices/Hakefile
errors/errno.fugu
hake/RuleDefs.hs
hake/symbolic_targets.mk
include/arch/x86_64/barrelfish/invocations_arch.h
include/barrelfish/ump_impl.h
include/barrelfish/vregion.h
include/barrelfish_kpi/capabilities.h
kernel/Hakefile
kernel/arch/x86_64/syscall.c
kernel/dispatch.c
kernel/include/target/x86_64/paging_kernel_target.h
tools/harness/barrelfish.py
usr/pci/pci.c
usr/pci/pci_service.c