seL4/camkes-vm

Virtual Machine built as a CAmkES component.

Beginner friendly Everything

Open All

6 open issues indexed

`entry_offset` wrong/deprected for recent linux kernels Open

Difficulty 4/5 3-5 days Newbie friendliness 38/100

seL4/camkes-vm#131 · Opened Jan 23, 2025
Security vuln in Satadriver: read/write past partition boundary. Open

bug security

Difficulty 4/5 3-5 days Newbie friendliness 35/100

seL4/camkes-vm#130 · 1 comment · Opened Jul 9, 2024
Not getting true interrupts Open

Difficulty 5/5 Over a week Newbie friendliness 20/100

seL4/camkes-vm#116 · 1 comment · Opened Dec 13, 2023
Provide a label "hw-build" Open

CI

seL4/camkes-vm#100 · 1 comment · 1 reaction · 1 assignee · Opened May 18, 2023
Build for ARMv8 vm_minimal_sim build should not run QEMU Open

CI

seL4/camkes-vm#83 · 4 comments · 1 assignee · Opened Apr 13, 2023
CNode_Revoke failed when reset resources Open

Difficulty 4/5 3-5 days Newbie friendliness 25/100

seL4/camkes-vm#9 · 6 comments · Opened Jun 22, 2021

Get new issues in your inbox