RISC-V Proxy Kernel
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.
 
 
 
 
 
 
Andrew Waterman 97b683ed3c Fix build with newer newlib 7 years ago
..
boot.h when -s is passed, print time, instret, cycle, and CPI 10 years ago
console.c Properly license all nontrivial files 8 years ago
elf.c Fix build with newer newlib 7 years ago
elf.h avoid non-standard predefined macros 9 years ago
entry.S Align pk trap_entry for RVC 10 years ago
file.c Move DRAM to high addresses 10 years ago
file.h Refactor pk, bbl, machine into separate libraries 10 years ago
frontend.c WIP towards ECALL interface for SBI 9 years ago
frontend.h zero-extend RV32 physical addresses for HTIF 10 years ago
handlers.c Add some exception handling functions to s-mode to handle exception return from m-mode. (#117) 8 years ago
mmap.c Properly license all nontrivial files 8 years ago
mmap.h Properly license all nontrivial files 8 years ago
pk.ac Properly license all nontrivial files 8 years ago
pk.c Properly license all nontrivial files 8 years ago
pk.h Remove uarch counters 10 years ago
pk.lds Page-align the writable data section 7 years ago
pk.mk.in Properly license all nontrivial files 8 years ago
syscall.c Stub out madvise syscall (#145) 7 years ago
syscall.h Fix build with newer newlib 7 years ago