Removed unused cap type Notify_RCK.
authorMoritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Tue, 11 Oct 2016 11:06:29 +0000 (13:06 +0200)
committerMoritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Tue, 11 Oct 2016 11:06:29 +0000 (13:06 +0200)
commit2874a6765ab05a2997f55cb30543dce44c69faf3
tree8ea88ed948e4cdd5ca2867fbae6b1598f93a6008
parent6ffd5421ac48a52d2aa0feea953bbfa0ca88c7b7
Removed unused cap type Notify_RCK.

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
capabilities/caps.hl
include/barrelfish_kpi/capabilities.h
include/barrelfish_kpi/distcaps.h
kernel/cap_delete.c
kernel/capabilities.c
kernel/include/capabilities.h
lib/barrelfish/debug.c
lib/mdb/mdb_tree.c
usr/monitor/ump_support.c