issues
search
riscv-software-src
/
riscv-pk
RISC-V Proxy Kernel
Other
579
stars
306
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Add `statx` syscall
#234
huaixv
closed
3 years ago
0
Ping instruction traps FP instruction on rv64imac hardware using BBL.
#233
venkatakrishs
opened
3 years ago
0
Does pk support multi-thread application?
#232
qqjinger
closed
3 years ago
0
Does pk support multi-thread application?
#231
qqjinger
opened
3 years ago
1
Add support for the UART interface on the LiteX SoC
#230
gsomlo
closed
3 years ago
1
pk dummy_payload make error
#229
m-salman-afzal
closed
3 years ago
2
Remove use of copy_stat() from sys_fstat and sys_lstat
#228
zeldin
closed
3 years ago
10
couldn't boot up image larger than 16MB
#227
yzt000000
opened
3 years ago
0
can not print bbl logo
#226
whutmsy
closed
3 years ago
0
How to add new system call to riscv-pk?
#225
SaiVK
opened
3 years ago
1
Fix emulation of misaligned access on big endian target
#224
zeldin
closed
3 years ago
1
Failed boot from DDR which‘s address is larger than 2^32
#223
yzt000000
closed
3 years ago
5
Remove use of copy_stat() from sys_fstatat
#222
zeldin
closed
3 years ago
1
Double conversion of struct stat
#221
zeldin
closed
3 years ago
8
Big endian
#220
zeldin
closed
3 years ago
1
Disable device tree filter when load a dts from file
#219
Phantom1003
closed
3 years ago
1
Building bbl fails attempting to compile non-existent DTS file
#218
repnop
closed
3 years ago
2
Disable device tree filter when load a dts from file
#217
Phantom1003
closed
3 years ago
6
Fix handling of compressed breakpoints
#216
anthony-coulter
closed
3 years ago
2
What does *trapframe->insn mean?
#215
SKTT1Ryze
closed
3 years ago
5
delegate_traps assertion failed when spike supports H extension
#214
syvenwang7
opened
4 years ago
5
mcounteren
#213
sahajgarg
opened
4 years ago
1
pk:cannot execute binary file: Exec format error
#212
BeenLi
opened
4 years ago
10
Make htif_poweroff thread-safe
#211
zhemao
closed
4 years ago
1
why did i use command "spike bbl" can't start linux successful?
#210
wangyua666
opened
4 years ago
0
Unable to successfully install
#209
naveen-chander
opened
4 years ago
2
Fix UART register map
#208
nickisobrien
closed
4 years ago
0
How can I use spike and pk to run a dynamic linked elf.
#207
ALLap97
closed
4 years ago
9
bbl.mk fails due to objcopy error
#206
cruxcode
closed
4 years ago
1
Don't perform 64-bit accesses to the PLIC
#205
arichardson
closed
4 years ago
2
make error : gcc: error: unrecognized argument in option ‘-mcmodel=medany’
#204
mikemusasa
closed
3 years ago
13
WARNING: unrecognized options: --with-arch=rv32i
#203
WilliamWangPeng
closed
4 years ago
1
Consistently use fdt_string_list for FDT compatible property
#202
jrtc27
closed
4 years ago
1
Questions about building pk
#201
WilliamWangPeng
closed
4 years ago
3
Disabling Virtual Memory
#200
ibndias
opened
4 years ago
2
can't compile in ubuntu
#199
quantrpeter
closed
4 years ago
2
Error compiling pk
#198
CC-Hi
opened
4 years ago
7
Operation in redirect_trap
#197
Phantom1003
closed
4 years ago
2
Use proxy kernel in co-simulation gets stuck in boot_other_hart
#196
Marc43
closed
4 years ago
3
Run Newlib ELFs on FPGA
#195
genesys2
closed
4 years ago
3
Update encoding.h from riscv-opcodes
#194
kito-cheng
closed
4 years ago
0
Illegal Instruction on linux on top BBL
#193
johnnavaj
closed
3 years ago
1
Fix CPI calcualtion for -s option
#192
davidmetz
closed
4 years ago
1
error:When I execute the command "make"
#191
qs132
opened
4 years ago
2
How to add an interrupt handler to bbl
#190
ImagineMiracle-wxn
opened
4 years ago
1
Provide PK binary releases
#189
gsauthof
opened
4 years ago
2
Support manually zeroing out BSS when booting
#188
jrtc27
closed
4 years ago
1
Use correct offset for bbl.bin with non-default MEM_START
#187
jrtc27
closed
4 years ago
2
Support --without-payload for OpenSBI fw_jump-style booting
#186
jrtc27
closed
4 years ago
2
Init mstatus for vector extension
#185
kito-cheng
closed
4 years ago
3
Previous
Next