projects / barrelfish / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ac8de35) | patch
armv7: zynq7: manually set all_spawnds_up as we do not seem to be able to boot the...
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Thu, 10 Nov 2016 10:45:26 +0000 (11:45 +0100)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Thu, 10 Nov 2016 10:45:44 +0000 (11:45 +0100)
commit47e34647b5d364054fb396c268ff694bddd352f3
tree65942812ad50a43b780d6735df766c0ff97bb5edtree | snapshot
parentac8de35141ab28e99877a32fcf2c62d3cc53b763commit | diff
armv7: zynq7: manually set all_spawnds_up as we do not seem to be able to boot the second core yet

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
usr/kaluga/armv7.c diff | blob | history
Barrelfish OS git repo