On 19 May 2017, at 04:18, Andrew Gacek <[email protected]> wrote: > > 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 _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
