search

seL4 / seL4_libs

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

libsel4bench: fix syntax errors for RISC-V rv32 #37

Closed axel-h closed 3 years ago

axel-h commented 3 years ago

I've tried to compile a CAmkES system for spike32, this fixed the build breaker.