You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
riscv-pke/kernel/kernel.c

79 lines
1.9 KiB

/*
* Supervisor-mode startup codes
*/
#include "riscv.h"
#include "string.h"
#include "elf.h"
#include "process.h"
#include "pmm.h"
#include "vmm.h"
#include "sched.h"
#include "memlayout.h"
#include "spike_interface/spike_utils.h"
//
// trap_sec_start points to the beginning of S-mode trap segment (i.e., the entry point of
// S-mode trap vector). added @lab2_1
//
extern char trap_sec_start[];
//
// turn on paging. added @lab2_1
//
void enable_paging() {
// write the pointer to kernel page (table) directory into the CSR of "satp".
write_csr(satp, MAKE_SATP(g_kernel_pagetable));
// refresh tlb to invalidate its content.
flush_tlb();
}
//
// load the elf, and construct a "process" (with only a trapframe).
// load_bincode_from_host_elf is defined in elf.c
//
process* load_user_program() {
process* proc;
proc = alloc_process();
sprint("User application is loading.\n");
load_bincode_from_host_elf(proc);
return proc;
}
//
// s_start: S-mode entry point of riscv-pke OS kernel.
//
int s_start(void) {
sprint("Enter supervisor mode...\n");
// in the beginning, we use Bare mode (direct) memory mapping as in lab1.
// but now, we are going to switch to the paging mode @lab2_1.
// note, the code still works in Bare mode when calling pmm_init() and kern_vm_init().
write_csr(satp, 0);
// init phisical memory manager
pmm_init();
// build the kernel page table
kern_vm_init();
// now, switch to paging mode by turning on paging (SV39)
enable_paging();
// the code now formally works in paging mode, meaning the page table is now in use.
sprint("kernel page table is on \n");
// added @lab3_1
init_proc_pool();
sprint("Switch to user mode...\n");
// the application code (elf) is first loaded into memory, and then put into execution
// added @lab3_1
insert_to_ready_queue( load_user_program() );
schedule();
// we should never reach here.
return 0;
}