search

seL4 / seL4_libs

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

libsel4bench: Remove ARMv6 and arm1136jf-s support #46

Closed kent-mcleod closed 2 years ago

kent-mcleod commented 2 years ago

Remove support for ARMv6 and the only CPU we support for that architecture. This is because support is being removed from the kernel after removal of the only ARMv6 platform, kzm/imx31.

See: seL4/seL4#578