tree 9a039b3890fda10fb11e56a4e4a63c31fa5aca78
parent 3678de2c63c270d2e7ed9c56aa40c2e4ba2a5735
author Kent McLeod <kent@kry10.com> 1631674042 +1000
committer Kent McLeod <kent-mcleod@users.noreply.github.com> 1632989483 +1000

libsel4bench: Remove ARMv6 and arm1136jf-s support

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.

Signed-off-by: Kent McLeod <kent@kry10.com>