|
|
|
@ -189,6 +189,8 @@ rest_of_boot_loader:\n\ |
|
|
|
|
|
|
|
void rest_of_boot_loader_2(uintptr_t kstack_top) |
|
|
|
{ |
|
|
|
file_init(); |
|
|
|
|
|
|
|
static arg_buf args; // avoid large stack allocation
|
|
|
|
size_t argc = parse_args(&args); |
|
|
|
if (!argc) |
|
|
|
@ -205,8 +207,6 @@ void rest_of_boot_loader_2(uintptr_t kstack_top) |
|
|
|
|
|
|
|
void boot_loader(uintptr_t dtb) |
|
|
|
{ |
|
|
|
file_init(); |
|
|
|
|
|
|
|
uintptr_t kernel_stack_top = pk_vm_init(); |
|
|
|
|
|
|
|
extern char trap_entry; |
|
|
|
|