search

seL4 / seL4_libs

No-assurance libraries for rapid-prototyping of seL4 apps.
https://docs.sel4.systems
Other
52 stars 62 forks source link

CI: simulation and HW build with LLVM on RISCV #87

Closed axel-h closed 5 months ago

axel-h commented 5 months ago

Similar to https://github.com/seL4/seL4/pull/1154, pick up things from https://github.com/seL4/ci-actions/pull/297