search

seL4 / sel4test

Test suite for seL4.
http://sel4.systems
Other
25 stars 61 forks source link

.github: Remove ARMv6 tests #51

Closed kent-mcleod closed 3 years ago

kent-mcleod commented 3 years ago

ARMv6 is no longer supported.

See: seL4/seL4#578