imx8x: Return correct core count in kernel

Signed-off-by: Daniel Schwyn <[email protected]>
BarrelfishOS · Mar 18, 2020 · d278092 · d278092
1 parent fc9e922
commit d278092
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/kernel/arch/armv8/plat_imx8x.c b/kernel/arch/armv8/plat_imx8x.c
@@ -127,7 +127,7 @@ void platform_notify_bsp(lpaddr_t *mailbox)
  */
 size_t platform_get_core_count(void)
 {
-    return 0;
+    return 4;
 }
 
 /*