search

seL4 / sel4test

Test suite for seL4.
http://sel4.systems
Other
24 stars 60 forks source link

Set SIMULATION for QEMU RISC-V virt by default #82

Closed axel-h closed 1 year ago

axel-h commented 1 year ago

Test with: seL4/seL4#818, seL4/util_libs#143