Merge master into distops.
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Thu, 18 Jul 2013 13:58:21 +0000 (15:58 +0200)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Thu, 18 Jul 2013 13:58:22 +0000 (15:58 +0200)
commit7f7835132e684505cf38c110b66378874d19ceaf
tree1862eafb673e417cc9fa26a67012258aab34ab22
parentff5d7b1557a5260e12a84bab4bbf0877c93c117a
parentc927c7abd55b6e6853624cfec19bdc3dd54bd5e1
Merge master into distops.
46 files changed:
errors/errno.fugu
if/intermon.if
if/monitor.if
if/monitor_blocking.if
include/arch/x86_64/barrelfish/invocations_arch.h
include/barrelfish/caddr.h
include/barrelfish/capabilities.h
include/barrelfish/core_state.h
include/barrelfish/debug.h
include/barrelfish/dispatch.h
include/barrelfish/event_queue.h
include/barrelfish/lmp_chan.h
include/barrelfish/lmp_endpoints.h
include/barrelfish/memobj.h
include/barrelfish/ram_alloc.h
include/barrelfish/threads.h
include/barrelfish/vregion.h
include/barrelfish/vspace_layout.h
include/barrelfish/vspace_mmu_aware.h
include/barrelfish/waitset.h
include/barrelfish_kpi/capabilities.h
include/barrelfish_kpi/syscalls.h
include/mdb/mdb.h
kernel/Hakefile
kernel/arch/armv5/syscall.c
kernel/arch/x86/startup_x86.c
kernel/arch/x86_32/syscall.c
kernel/arch/x86_64/startup_arch.c
kernel/arch/x86_64/syscall.c
kernel/capabilities.c
kernel/dispatch.c
kernel/include/capabilities.h
kernel/include/dispatch.h
kernel/include/syscall.h
kernel/startup.c
kernel/syscall.c
lib/barrelfish/debug.c
lib/barrelfish/init.c
usr/mem_serv/mem_serv.c
usr/monitor/Hakefile
usr/monitor/arch/x86/boot.c
usr/monitor/include/monitor.h
usr/monitor/inter.c
usr/monitor/monitor_rpc_server.c
usr/monitor/monitor_server.c
usr/tests/xcorecaps/xcorecap.c