Skip to content

Allow specifying notify or ppcalls on a per-channel, not per-protection domain basis #656

Allow specifying notify or ppcalls on a per-channel, not per-protection domain basis

Allow specifying notify or ppcalls on a per-channel, not per-protection domain basis #656

Links

succeeded Oct 23, 2024 in 10s
Set up job
2s
Pull sel4/link-check:latest
1s
Run seL4/ci-actions/link-check@master
7s
Complete job
0s