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 e5ed1d115c Add ability to hard-code an initial environment 10 years ago
..
boot.h when -s is passed, print time, instret, cycle, and CPI 10 years ago
console.c Disentangle PK and BBL a bit 10 years ago
elf.c Fix ld.so load address at 4 KiB 10 years ago
elf.h make sure pages for ELF sections have correct protection (#40) 10 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 zero-extend RV32 physical addresses for HTIF 10 years ago
frontend.h zero-extend RV32 physical addresses for HTIF 10 years ago
handlers.c Remove uarch counters 10 years ago
mmap.c Cap pk memory size to 2 GiB for RV32 10 years ago
mmap.h Add -p flag to pk to disable demand paging 10 years ago
pk.ac Refactor pk, bbl, machine into separate libraries 10 years ago
pk.c Add ability to hard-code an initial environment 10 years ago
pk.h Remove uarch counters 10 years ago
pk.lds add htif section in linker script, with ALIGNs to prevent MMIO and data from being placed on same page (#32) 10 years ago
pk.mk.in Refactor pk, bbl, machine into separate libraries 10 years ago
syscall.c For RV32, mmap offset is in 4 KiB increments 10 years ago
syscall.h Add syscall stubs to get through libpthread initializers 10 years ago