search

seL4 / sel4runtime

A minimal runtime for seL4 applications.
Other
12 stars 29 forks source link

Remove ARMv6 support #13

Closed kent-mcleod closed 3 years ago

kent-mcleod commented 3 years ago

ARMv6 support is being removed from seL4.

See: seL4/seL4#578