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 e5846a2bc7 Bump the Linux version PK claims to support 8 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 avoid non-standard predefined macros 9 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 Separate page faults from physical memory access exceptions 9 years ago
mmap.c Bump encoding.h 8 years ago
mmap.h Don't block for acks on console writes 9 years ago
pk.ac Refactor pk, bbl, machine into separate libraries 10 years ago
pk.c Detect harts that can't boot Linux instead of hard-coding them 9 years ago
pk.h Remove uarch counters 10 years ago
pk.lds Remove the platform interface 9 years ago
pk.mk.in Remove the platform interface 9 years ago
syscall.c Bump the Linux version PK claims to support 8 years ago
syscall.h Stub out sys_prlimit64 9 years ago