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.
 
 
 
 
 
 
davidmetz efc32d0cab
Fix CPI calcualtion for -s option (#192)
6 years ago
..
boot.h Make performance counters always 64 bits wide (#178) 7 years ago
console.c Properly license all nontrivial files 8 years ago
elf.c Only accept statically linked binaries (#176) 7 years ago
elf.h Only accept statically linked binaries (#176) 7 years ago
entry.S Align pk trap_entry for RVC 10 years ago
file.c Implement dup3 syscall (#162) 7 years ago
file.h Implement dup3 syscall (#162) 7 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 Enable vector unit if present (continuation of 77a5df569451571d608650a34183d53df99790ec) 6 years ago
pk.h Make performance counters always 64 bits wide (#178) 7 years ago
pk.lds configure: Add option to set physical memory start address 7 years ago
pk.mk.in Properly license all nontrivial files 8 years ago
syscall.c Fix CPI calcualtion for -s option (#192) 6 years ago
syscall.h Implement dup3 syscall (#162) 7 years ago