diff --git a/kernel/init.c b/kernel/init.c index 56848a97..6339c2b0 100644 --- a/kernel/init.c +++ b/kernel/init.c @@ -253,10 +253,16 @@ int main(void) kputs("MCK started.\n"); - parse_kargs(); - arch_init(); + /* + * In attached-mic, + * bootparam is not mapped until arch_init() is finished. + * In builtin-mic and builtin-x86, + * virtual address of bootparam is changed in arch_init(). + */ + parse_kargs(); + mem_init(); rest_init();