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.
 
 
 
 
 
 
Zong Li 9d0911092d Fix typo of perf counter (#100) 8 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
disabled_hart_mask.h Detect harts that can't boot Linux instead of hard-coding them 9 years ago
emulation.c Fix typo of perf counter (#100) 8 years ago
emulation.h Always write sbadaddr on trap redirection 9 years ago
encoding.h Bump encoding.h 8 years ago
fdt.c Detect harts that can't boot Linux instead of hard-coding them 9 years ago
fdt.h Detect harts that can't boot Linux instead of hard-coding them 9 years ago
finisher.c finisher: support terminating sifive devices simulation (#61) 9 years ago
finisher.h finisher: support terminating sifive devices simulation (#61) 9 years ago
flush_icache.c Add __riscv_flush_icache 8 years ago
fp_asm.S avoid non-standard predefined macros 9 years ago
fp_emulation.c Fix(?) fcvt.s.w emulation for rs1 = -2^31 (#66) 9 years ago
fp_emulation.h Emulate RVFC instructions 9 years ago
fp_ldst.c Emulate RVFC instructions 9 years ago
htif.c Remove the platform interface 9 years ago
htif.h Remove the platform interface 9 years ago
machine.ac Refactor pk, bbl, machine into separate libraries 10 years ago
machine.mk.in Merge pull request #73 from riscv/flush_icache 8 years ago
mcall.h WIP on SBI 9 years ago
mentry.S Fix the wrong access of ipi pending address (#99) 8 years ago
minit.c minit: insert printm as work-around for a race condition 8 years ago
misaligned_ldst.c Fix emulation of misaligned RVC loads/stores 9 years ago
mtrap.c mtrap: add a halt IPI used for poweroff (#86) 8 years ago
mtrap.h mtrap: add a halt IPI used for poweroff (#86) 8 years ago
muldiv_emulation.c avoid non-standard predefined macros 9 years ago
uart.c Use uint64_t, not uintptr_t, to represent FDT addresses/sizes 9 years ago
uart.h uart: add physical device driver 9 years ago
uart16550.c Add a 16550 UART driver to back the SBI console 8 years ago
uart16550.h Add a 16550 UART driver to back the SBI console 8 years ago
unprivileged_memory.h Make 4-byte aligned instruction-emulation loads atomic 9 years ago
vm.h Bump encoding.h 8 years ago