diff --git a/sched/init/nx_start.c b/sched/init/nx_start.c index aeafd5fca4..6fc5a6bc59 100644 --- a/sched/init/nx_start.c +++ b/sched/init/nx_start.c @@ -668,6 +668,12 @@ void nx_start(void) net_initialize(); #endif +#ifndef CONFIG_BINFMT_DISABLE + /* Initialize the binfmt system */ + + binfmt_initialize(); +#endif + /* Initialize Hardware Facilities *****************************************/ /* The processor specific details of running the operating system @@ -693,12 +699,6 @@ void nx_start(void) /* Setup for Multi-Tasking ************************************************/ -#ifndef CONFIG_BINFMT_DISABLE - /* Initialize the binfmt system */ - - binfmt_initialize(); -#endif - /* Announce that the CPU0 IDLE task has started */ sched_note_start(&g_idletcb[0].cmn);