ARMv8/coreboot: enable sequential booting of cores

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

diff --git a/usr/drivers/cpuboot/main.c b/usr/drivers/cpuboot/main.c
index bec28e0..03321ad 100644 (file)
--- a/usr/drivers/cpuboot/main.c
+++ b/usr/drivers/cpuboot/main.c
@@ -587,7 +587,7 @@ int main (int argc, char **argv)
 
     DEBUG("corectrl start\n");
 
-#if defined(__x86__) && !defined(__k1om__)
+#if !defined(__k1om__)
     // ENSURE_SEQUENTIAL
     char *lock;
     err = oct_lock("corectrl.lock", &lock);
@@ -688,7 +688,7 @@ int main (int argc, char **argv)
     }
 
 out:
-#if defined(__x86__) && !defined(__k1om__)
+#if !defined(__k1om__)
     // END ENSURE SEQUENTIAL
     err = oct_unlock(lock);
     if (err_is_fail(err)) {