loader: hot-fix for RPi4B

Ivan-Velickovic · Ivan-Velickovic · commit 23f1f6decbaf · 2025-11-28T14:47:45.000+10:00
See #401 for motivation. I am going on leave until the start of January so to get at least the single-core configuration of RPi4B I am making this hot-fix right now. Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>
diff --git a/loader/src/aarch64/init.c b/loader/src/aarch64/init.c
@@ -97,6 +97,8 @@ void arch_init(void)
         puts("LDR|ERROR: unknown EL level for MMU disable\n");
     }
 
+    // TODO: handle non-PSCI platforms better, see https://github.com/seL4/microkit/issues/401.
+#if !defined(CONFIG_PLAT_BCM2711)
     uint32_t ret = arm_smc32_call(PSCI_FUNCTION_VERSION, /* unused */ 0, 0, 0);
     /* the return value has no error codes, but if we get it wrong this is what we will get */
     if (ret == PSCI_RETURN_NOT_SUPPORTED) {
@@ -112,6 +114,7 @@ void arch_init(void)
         putdecimal(minor);
         puts("\n");
     }
+#endif
 }
 
 typedef void (*sel4_entry)(

Original file line number	Diff line number	Diff line change
`@@ -97,6 +97,8 @@ void arch_init(void)`
`97`	`97`	`puts("LDR\|ERROR: unknown EL level for MMU disable\n");`
`98`	`98`	`}`
`99`	`99`
	`100`	`+ // TODO: handle non-PSCI platforms better, see https://github.com/seL4/microkit/issues/401.`
	`101`	`+#if !defined(CONFIG_PLAT_BCM2711)`
`100`	`102`	`uint32_t ret = arm_smc32_call(PSCI_FUNCTION_VERSION, /* unused */ 0, 0, 0);`
`101`	`103`	`/* the return value has no error codes, but if we get it wrong this is what we will get */`
`102`	`104`	`if (ret == PSCI_RETURN_NOT_SUPPORTED) {`
`@@ -112,6 +114,7 @@ void arch_init(void)`
`112`	`114`	`putdecimal(minor);`
`113`	`115`	`puts("\n");`
`114`	`116`	`}`
	`117`	`+#endif`
`115`	`118`	`}`
`116`	`119`
`117`	`120`	`typedef void (*sel4_entry)(`