riscv
/
riscv-pk
mirror of https://github.com/riscv-software-src/riscv-pk.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
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.
386 Commits
20 Branches
2 Tags
2.2 MiB
 
 
 
 
 
 
Tree: d1200e3a54
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'd1200e3a54'
${ noResults }
riscv-pk/machine
Andrew Waterman d1200e3a54
Remove SBI console printm to speed up PK simulation 		9 years ago
..
atomic.h Add spinlock_trylock routine; use it to implement spinlock_lock 10 years ago
bits.h avoid non-standard predefined macros 9 years ago
emulation.c Attempt to read instruction from mbadaddr 9 years ago
emulation.h Emulate RVFC instructions 9 years ago
encoding.h New PMP encoding 9 years ago
fdt.c clint: move hart wakeup till after all FDT parsing 9 years ago
fdt.h clint: move hart wakeup till after all FDT parsing 9 years ago
fp_asm.S avoid non-standard predefined macros 9 years ago
fp_emulation.c Emulate RVFC instructions 9 years ago
fp_emulation.h Emulate RVFC instructions 9 years ago
fp_ldst.c Emulate RVFC instructions 9 years ago
htif.c Don't block for acks on console writes 9 years ago
htif.h minor HTIF cleanup + use WFI 9 years ago
machine.ac Refactor pk, bbl, machine into separate libraries 10 years ago
machine.mk.in uart: add physical device driver 9 years ago
mcall.h WIP on SBI 9 years ago
mentry.S Separate page faults from physical memory access exceptions 9 years ago
minit.c Remove SBI console printm to speed up PK simulation 9 years ago
misaligned_ldst.c Emulate RVFC instructions 9 years ago
mtrap.c uart: add physical device driver 9 years ago
mtrap.h SBI: a0+a1 hold hartid+dtb pointer between boot loader stages 9 years ago
muldiv_emulation.c avoid non-standard predefined macros 9 years ago
uart.c uart: find it using fdt 9 years ago
uart.h uart: add physical device driver 9 years ago
unprivileged_memory.h Handle IPIs and timer interrupts more quickly 9 years ago
vm.h Fix PK boot 9 years ago