kernel: fix object creation for KCB.
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Mon, 15 Jun 2015 09:17:00 +0000 (11:17 +0200)
committerMoritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Tue, 16 Jun 2015 11:37:41 +0000 (13:37 +0200)
commit929dc508a0f335d78346da909ed29488a04a2b4a
treef7d159698646545890e1ba452b119f502a1a24c0
parent8b2e56ce7c883d396e098538be958ba3d96ad1bb
kernel: fix object creation for KCB.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
kernel/capabilities.c