19 May
2017
19 May
'17
8:37 a.m.
On 19 May 2017, at 04:18, Andrew Gacek
Is there any support for seL4 on the Cortex-A5?
I’m fairly confident that no-one here has tested this. FWICT, it should be ISA compatible with the A7/A15, but no virtualisation support. Means it should probably work in supervisor mode, but there’s no hyp mode. Gernot