void boot_loader() { extern char trap_entry; write_csr(stvec, &trap_entry); write_csr(sscratch, 0); write_csr(sie, 0); file_init(); enter_supervisor_mode(rest_of_boot_loader, pk_vm_init()); }
void boot_loader(uintptr_t dtb) { extern char trap_entry; write_csr(stvec, &trap_entry); write_csr(sscratch, 0); write_csr(sie, 0); set_csr(sstatus, SSTATUS_SUM | SSTATUS_FS); file_init(); enter_supervisor_mode(rest_of_boot_loader, pk_vm_init(), 0); }