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 9cc6732d80 print PC of failed assertions 11 years ago
..
atomic.h Update to new privileged spec 11 years ago
bbl.c Make boot loader/SBI changes to support SMP Linux 11 years ago
bits.h Update to new privileged spec 11 years ago
console.c print PC of failed assertions 11 years ago
elf.c Fix loading of misaligned ELF segments 11 years ago
elf.h Relocate binaries that conflict with the pk's address space 11 years ago
emulation.c Make PK compile on RV32 11 years ago
encoding.h Disable RVC in fixed-size assembly blocks 11 years ago
entry.S Use sbadaddr (not sepc) to resolve instruction page faults 11 years ago
file.c Add ftruncate syscall 11 years ago
file.h Add ftruncate syscall 11 years ago
fp_asm.S Disable RVC in fixed-size assembly blocks 11 years ago
frontend.c Split pk functionality into pk and bbl 11 years ago
frontend.h Split pk functionality into pk and bbl 11 years ago
handlers.c Use sbadaddr (not sepc) to resolve instruction page faults 11 years ago
init.c Undo last commit 11 years ago
logo.c Store RV logo in rodata, rather than making it on the fly 11 years ago
mcall.h New M-mode timer and SBI call to use it 11 years ago
mentry.S Zero-initialize x-registers for debuggability 11 years ago
minit.c Initialize FCSR on boot 11 years ago
mtrap.c New M-mode timer and SBI call to use it 11 years ago
mtrap.h Fix single-precision FP emulation 11 years ago
pk.ac Add ASCII art boot logo 11 years ago
pk.c Make boot loader/SBI changes to support SMP Linux 11 years ago
pk.h Undo last commit 11 years ago
pk.ld Upgrade to privileged architecture 1.7 11 years ago
pk.mk.in Split pk functionality into pk and bbl 11 years ago
sbi.S New M-mode timer and SBI call to use it 11 years ago
sbi.h New M-mode timer and SBI call to use it 11 years ago
sbi_entry.S Disable RVC in fixed-size assembly blocks 11 years ago
sbi_impl.c Merge [shm]call into ecall, [shm]ret into eret 11 years ago
string.c Update to new privileged spec 11 years ago
syscall.c Add ftruncate syscall 11 years ago
syscall.h Add ftruncate syscall 11 years ago
vm.c fix pte_create to deal with protection bits correctly 11 years ago
vm.h fix pte_create to deal with protection bits correctly 11 years ago