projects / barrelfish / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ba3e627) | patch
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
tree84da4ed15f83de256587bd6352a991c12494cc18tree | snapshot
parentba3e62774f7c0ba9188540d47f2ddd06ee4b14f9commit | diff
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 diff | blob | history
lib/spawndomain/arch/x86/spawn_arch.c diff | blob | history
lib/spawndomain/spawn.c diff | blob | history
Barrelfish OS git repo