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.

Tree: 78e61baf43

cs250

device-files

enable-32bit

eos14-bringup

eos20

fdt

fix-fcvt-s-w

gnuconfig

hax

master

maxmem

new-sbi-disk

remap

rocc-enable

rv32-putstring

rvt-master

sbi-disk

sbi_emulation_for_perf

sbi_for_perf

travis-dev

archive-1.9.1

v1.0.0

Branches Tags

${ item.name }

Create tag ${ searchTerm }

Create branch ${ searchTerm }

from '78e61baf43'

${ noResults }

riscv-pk/pk

History

Luís Marques 099c99482f Only accept statically linked binaries (#176)		7 years ago
..
boot.h	when -s is passed, print time, instret, cycle, and CPI	10 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	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	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	Allow up to 2 KiB of arguments	7 years ago
pk.h	Remove uarch counters	10 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	Stub out madvise syscall (#145)	7 years ago
syscall.h	Fix build with newer newlib	7 years ago