issues
search
CTSRD-CHERI
/
qemu
QEMU with support for CHERI
Other
52
stars
28
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
CTestSubset: Compare full top value
#211
arichardson
closed
1 year ago
1
[CHERI-RISC-V] Update for tag clearing
#210
arichardson
closed
1 year ago
5
edk2: update binaries to stable202202
#209
arichardson
closed
1 year ago
2
Require alignment for atomics
#208
arichardson
closed
1 year ago
3
GDB 12
#207
bsdjhb
closed
1 year ago
7
Add tracing for total instruction count
#206
minglechen
opened
2 years ago
1
'savevm' monitor command crashes QEMU.
#205
jacobbramley
opened
2 years ago
5
[instr logging] Log the faulting instruction before fault side-effects
#204
arichardson
opened
2 years ago
10
202208 morello merge dev
#203
nwf
closed
2 years ago
2
Morello: honor PTE SC and CDBM bits correctly
#202
nwf
closed
2 years ago
0
CHERI-RISC-V: PTE_CW/CD bugfix
#201
nwf
opened
2 years ago
0
Morello: honor PTE SC and CDBM bits correctly
#200
nwf
closed
2 years ago
3
Add perfetto experimental interceptor
#199
minglechen
closed
2 years ago
0
Fix two logging bugs reported in CHERI-CPU Slack
#198
jrtc27
closed
2 years ago
0
Morello 'rrlen' instruction is implemented incorrectly.
#197
jacobbramley
opened
2 years ago
2
Should warn when starting smbd > 4.13
#196
arichardson
opened
2 years ago
0
[Morello] Don't assert jump targets are representable
#195
arichardson
closed
2 years ago
0
Add better logging to RISCV page table walker
#194
LawrenceEsswood
closed
2 years ago
5
CHERI-RISC-V As-User instructions and plumbing
#193
nwf
opened
2 years ago
0
Capability SYS instructions use zero not sp
#192
LawrenceEsswood
closed
2 years ago
0
CHERI-RISC-V TLB fill fix
#191
nwf
closed
2 years ago
2
CheriABI CheriBSD user mode for Morello
#190
kwitaszczyk
closed
2 years ago
1
Split out new cc128m Morello format from cc128 and refactor tests
#189
jrtc27
closed
2 years ago
1
Use proper atomics for tag memory updates so I/O threads don't clobber vCPUs
#187
jrtc27
closed
2 years ago
3
QEMU/RISC-V: CHERI+MTE (ISAv8 appendix)
#186
gvnn3
opened
2 years ago
2
Virtio-GPU support for QEMU 2D/3D graphics
#185
gvnn3
opened
2 years ago
2
Upstream 6.0 merge
#184
arichardson
closed
1 year ago
1
Jenkins: Add CheriBSD boot testing
#183
arichardson
closed
1 year ago
2
Jenkins: Don't archive Debug+ASAN builds
#182
arichardson
closed
2 years ago
0
Move CapRegState into a new cap_register_t field
#181
arichardson
closed
2 years ago
14
CHERI-RISC-V: slightly rearrange SLTI HINT decoder
#180
nwf
opened
2 years ago
0
Jenkins: Add a Debug+ASAN build configuration
#179
arichardson
closed
2 years ago
0
Should run CI tests with Debug+ASAN builds
#178
arichardson
closed
2 years ago
0
Run the generated Morello tests in Jenkins
#177
arichardson
closed
2 years ago
0
Support ACK
#176
LawrenceEsswood
closed
2 years ago
4
Avoid unneccessary probe_write/probe_read calls
#175
arichardson
closed
2 years ago
0
CheriABI Linux user mode for Morello
#174
gvnn3
opened
2 years ago
0
Ctrl-C in interactive morello-purecap session hits assertion and brings down QEMU.
#173
jacobbramley
opened
2 years ago
2
Further changes to target-independent files from Morello PR
#172
arichardson
closed
3 years ago
0
Cherry pick some target-independent Morello changes
#171
arichardson
closed
3 years ago
0
Coding style action
#170
arichardson
closed
2 years ago
2
Add a GitHub action to check coding style
#169
arichardson
closed
3 years ago
0
Refactor the instruction tracing subsystem.
#168
qwattash
opened
3 years ago
0
Fix Morello capability store faults
#167
brettferdosi
closed
2 years ago
2
Try to workaround https://github.com/CTSRD-CHERI/qemu/issues/165
#166
arichardson
opened
3 years ago
0
Crash in QEMU monitor
#165
huhrenfeldt
opened
3 years ago
0
Core dump support for CheriABI CHERI-RISC-V BSD user mode.
#164
kwitaszczyk
opened
3 years ago
0
CheriABI CheriBSD user mode for CHERI-RISC-V
#163
kwitaszczyk
opened
3 years ago
1
{fork,vfork,exec}-events gdb extensions in the user-mode.
#162
kwitaszczyk
opened
3 years ago
0
Tag management in the user-mode.
#161
kwitaszczyk
closed
1 year ago
1
Previous
Next