elfloader: Remove non_boot_init() interface

This was previously added to handle per-core initialization of the generic timer. Now that a generic driver mechanism is used to perform this initialization the old interface is redundant. Signed-off-by: Kent McLeod <[email protected]>
seL4 · Feb 19, 2024 · 02f1eee · 02f1eee
1 parent 4970c3b
commit 02f1eee
Showing 1 changed file with 0 additions and 5 deletions.
diff --git a/elfloader-tool/src/arch-arm/smp_boot.c b/elfloader-tool/src/arch-arm/smp_boot.c
@@ -26,8 +26,6 @@ void arm_disable_dcaches(void);
 extern void const *dtb;
 extern uint32_t dtb_size;
 
-WEAK void non_boot_init(void) {}
-
 /* Entry point for all CPUs other than the initial. */
 void non_boot_main(void)
 {
@@ -41,9 +39,6 @@ void non_boot_main(void)
 #endif
     }
 
-    /* Initialise any platform-specific per-core state */
-    non_boot_init();
-
     /* Do any driver specific non_boot core init */
     initialise_devices_non_boot();