15 Nov
2016
15 Nov
'16
2:18 p.m.
SeL4 has very mature support for ARM device, there are many platforms in the source code you can take an reference. i.MX7D or i.MX6 etc.
BR Jacky Bai
2016-11-08 2:05 GMT+08:00 Yevgeny Lavrov ylavrov13@gmail.com:
Hello. I've multiple ARM devices at my disposal that I want to use to experiment with seL4, one of them is USB Armory (Architecture: ARMv7 Cortex-A8 Processor: i.MX53 800MHz). Before I get into it, I would like to know if seL4 supports this ARM device. Thanks
Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel