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
tree65942812ad50a43b780d6735df766c0ff97bb5ed
parentac8de35141ab28e99877a32fcf2c62d3cc53b763
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