[seL4] seL4 on Cortex-A5

Gernot.Heiser at data61.csiro.au Gernot.Heiser at data61.csiro.au
Fri May 19 08:37:49 AEST 2017


On 19 May 2017, at 04:18, Andrew Gacek <andrew.gacek at gmail.com> 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


More information about the Devel mailing list