Skip to content

Make proof generic over current seL4 RISC-V platforms - #1024

Merged
lsf37 merged 5 commits into
masterfrom
riscv-maxIRQ
Aug 4, 2026
Merged

Make proof generic over current seL4 RISC-V platforms #1024
lsf37 merged 5 commits into
masterfrom
riscv-maxIRQ

riscv proofs: update for generic maxIRQ

a65df3f
Select commit
Loading
Failed to load commit list.
DCO / DCO succeeded Aug 4, 2026 in 1s

DCO

All commits are signed off!

View more details on DCO