armv8: do not set all_spawnds_up by default on ARMv8
authorReto Achermann <reto.achermann@inf.ethz.ch>
Tue, 25 Jul 2017 07:19:32 +0000 (09:19 +0200)
committerReto Achermann <reto.achermann@inf.ethz.ch>
Tue, 25 Jul 2017 07:19:32 +0000 (09:19 +0200)
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

usr/kaluga/armv8.c

index c2d1d71..7670d00 100644 (file)
@@ -24,11 +24,6 @@ static errval_t armv8_startup_common(void)
 {
     errval_t err = SYS_ERR_OK;
 
-    // Since we don't seem to be able to boot cores on the ARMv8 platforms yet,
-    // we just set all_spawnds_up here. -RA,2017-02-24.
-    err = oct_set("all_spawnds_up { iref: 0 }");
-    assert(err_is_ok(err));
-
     // We need to run on core 0
     // (we are responsible for booting all the other cores)
     assert(my_core_id == BSP_CORE_ID);