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.
203 Commits
20 Branches
2 Tags
2.2 MiB
 
 
 
 
 
 
Tree: 5c86450130
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '5c86450130'
${ noResults }
Andrew Waterman 5c86450130
work in progress on new supervisor spec 		11 years ago
pk work in progress on new supervisor spec 11 years ago
scripts temporary undoing of renaming 15 years ago
softfloat Add fclass.{s|d} instructions 12 years ago
softfloat_riscv Add fclass.{s|d} instructions 12 years ago
softint Cleanup of div/divu/rem/remu. 14 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 fix spinlocks; add --disable-atomics cfg opt 14 years ago
configure Don't automatically set --host 11 years ago
configure.ac Don't automatically set --host 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