/* initialize exceptions */
exception_init();
+#if CONFIG_SCHED_SFI
+ kernel_bootstrap_log("sfi_init");
+ sfi_init();
+#endif
+
/*
* Create a kernel thread to execute the kernel bootstrap.
*/
arm_vm_prot_finalize(PE_state.bootArgs);
#endif
-#if CONFIG_SCHED_SFI
- kernel_bootstrap_log("sfi_init");
- sfi_init();
-#endif
-
/*
* Initialize the globals used for permuting kernel
* addresses that may be exported to userland as tokens