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.
208 Commits
20 Branches
2 Tags
2.2 MiB
 
 
 
 
 
 
Tree: a79f62f72a
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'a79f62f72a'
${ noResults }
Andrew Waterman a79f62f72a
Merge [shm]call into ecall, [shm]ret into eret 		11 years ago
pk Merge [shm]call into ecall, [shm]ret into eret 11 years ago
scripts temporary undoing of renaming 15 years ago
softfloat Update to new privileged spec 11 years ago
.gitignore fixed build after repo split 15 years ago
COPYING temporary undoing of renaming 15 years ago
LICENSE add missing LICENSE file 13 years ago
Makefile.in Don't rely on the C library 12 years ago
README.md README: use gnu-toolchain for configure step 11 years ago
aclocal.m4 properly search for the new isa simulator (spike) 13 years ago
config.h.in Update to new privileged spec 11 years ago
configure Update to new privileged spec 11 years ago
configure.ac Update to new privileged spec 11 years ago

README.md

RISC-V Proxy Kernel

About

The RISC-V proxy kernel is a thin layer that services system calls generated by code built and linked with the RISC-V newlib port.

Build Steps

We assume that the RISCV environment variable is set to the RISC-V tools install path, and that the riscv-gcc package is installed.

$ mkdir build
$ cd build
$ ../configure --prefix=$RISCV/riscv64-unknown-elf --host=riscv64-unknown-elf
$ make
$ make install