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)
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

usr/kaluga/armv7.c

index 46f0cae..45e1bb2 100644 (file)
@@ -102,6 +102,13 @@ static errval_t vexpress_startup(void)
 
 static errval_t zynq7_startup(void)
 {
+    errval_t err;
+
+    // Since we don't seem to be able to boot cores on the Zynq yet,
+    // we just set all_spawnds_up here. -SG,2016-11-10.
+    err = oct_set("all_spawnds_up { iref: 0 }");
+    assert(err_is_ok(err));
+
     /* There's nothing special to do for Zynq (yet). */
     return SYS_ERR_OK;
 }