riscv-software-src / riscv-pk

RISC-V Proxy Kernel

riscv-software-src/riscv-pk Issues

GCC 15 + RVV cause illegal instruction sequence in PK
Updated 16 days ago1
Issue while installing the riscv-pk -- ../pk/pk.c:188: Error: unknown CSR `senvcfg'
Updated 19 days ago2
Support RVC program without requiring RVC pk
Closed 3 months ago1
pk: mmap based on `p_filesz` fails when it is 0 (zero)
Closed 3 months ago2
Issue with linux
Closed 3 months ago1
Compiling error in Mac M1
Closed 3 months ago1
macOS 14，compile fail ，"./configure --prefix=/opt/riscv --with-arch=rv32gc --with-abi=ilp32d make linux"
Updated 3 months ago
Linux kernel not showing output after earlycon0 disabled
Updated 3 months ago
"Cannot open output file dummy_payload" when building with docker
Updated 4 months ago1
could not open pk
Updated 5 months ago1
Loading large file into memory
Updated 5 months ago2
bbl error
Updated 5 months ago
Redundant Load and Branch Instructions from HTIF while executing binaries
Updated 6 months ago3
how to suppres "bbl loader" output by spike pk?
Closed 6 months ago1
Error While configuring Berkeley boot loader
Updated 7 months ago2
Error: unrecognized opcode `fence.i'
Updated 8 months ago8
Pk doesn't recognize vector instructions
Closed 10 months ago1
[question]A request on c-based bbl payload example
Updated 10 months ago
RV32 bbl loader ../machine/minit.c:78: assertion failed: !(read_csr(misa) & fd_mask)
Updated a year ago1
error when build RV32
Closed a year ago1
Errors building for riscv32 architecture (binutils bug?)
Updated a year ago2
Can pk init vtype when specify V extension?
Closed a year ago9
exception trap_instruction_page_fault
Updated a year ago
spike pk hello, failed with assertion failed: !(eh.e_flags & EF_RISCV_RVC)
Closed a year ago5
[question] Kernel load segfault
Updated a year ago7
Spike pk doesn't work
Updated a year ago3
pk running v-extension problem
Closed a year ago
What is the limit of pk for malloc() and mmaps?
Updated a year ago1
Issue when building riscv-pk for riscv32 or running spike
Closed a year ago
Is pk preventing me from accessing certain address in simulation by Spike?
Updated a year ago1
error in ./build-setup.sh riscv-tools process
Updated 2 years ago2
../machine/mentry.S:93: Error: unrecognized opcode `fence.i' Makefile:336: recipe for target 'mentry.o' failed
Closed 2 years ago1
hart_init should call first, avoid the risk of illegal instructions caused by unset mstatus.
Updated 2 years ago
exception trap_instruction_address_misaligned, epc 0x8000029c
Closed 2 years ago8
toplevel inline-asm in pk/pk.c is broken
Closed 2 years ago1
compile error gcc: error: unrecognized argument in option ‘-mcmodel=medany’
Closed 2 years ago1
Error while running build steps
Closed 2 years ago1
gcc error when running 'make'
Closed 2 years ago1
Errors when running build steps
Updated 2 years ago2
../../../riscv64-unknown-elf/bin/ld: failed to merge target specific data of file
Updated 2 years ago1
Check in PATH when running target program
Closed 2 years ago1
make fails due to conflicting directory name
Closed 2 years ago1
Proxy Kernel for Spike: Require Help
Closed 2 years ago5
Issue related to Proxy Kernel
Closed 2 years ago1
Build pk using different spec extension versions?
Closed 2 years ago1
bbl: change-address not recognized by llvm-objcopy
Updated 2 years ago2
libmpfr version conflict while building.
Closed 2 years ago1
Accessing user space data from machine mode.
Closed 2 years ago4
errors when building
Closed 3 years ago1
pk does not release file handles on an fclose
Closed 3 years ago2