T258: libspawndomain: fix segment cnode and page cnode creation to work in two-level...
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Thu, 7 Jul 2016 13:34:37 +0000 (15:34 +0200)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Thu, 7 Jul 2016 13:34:37 +0000 (15:34 +0200)
commit01321ce41683b5d90cbc10471f58820bfb53cffa
tree84da4ed15f83de256587bd6352a991c12494cc18
parentba3e62774f7c0ba9188540d47f2ddd06ee4b14f9
T258: libspawndomain: fix segment cnode and page cnode creation to work in two-level cspace

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
errors/errno.fugu
lib/spawndomain/arch/x86/spawn_arch.c
lib/spawndomain/spawn.c