monitor debug stuff + other debug msgs.
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Mon, 17 Mar 2014 12:32:22 +0000 (13:32 +0100)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Mon, 17 Mar 2014 12:32:22 +0000 (13:32 +0100)
commit25b835410b0272c1cf2f4a9e755729cb834a7c4e
tree825c2398b765afbdd2f8cfd93052ed1ef61df945
parentebf7b4006c0ea876ecf6b654ab44e392f00fd252
monitor debug stuff + other debug msgs.
18 files changed:
errors/errno.fugu
kernel/cap_delete.c
kernel/capabilities.c
lib/barrelfish/spawn_client.c
lib/mdb/mdb_tree.c
lib/spawndomain/spawn.c
usr/fish/fish.c
usr/monitor/boot.c
usr/monitor/capops/caplock.c
usr/monitor/capops/capsend.c
usr/monitor/capops/copy.c
usr/monitor/include/monitor.h
usr/monitor/include/monitor_debug.h [new file with mode: 0644]
usr/monitor/inter.c
usr/monitor/main.c
usr/monitor/monitor_server.c
usr/monitor/send_cap.c
usr/spawnd/service.c