do simulation and HW build with LLVM on RISCV - Githubissues

seL4 / util_libs

Other

55 stars 83 forks source link

do simulation and HW build with LLVM on RISCV #173

Closed axel-h closed 8 months ago

axel-h commented 8 months ago

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