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
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
-
Jacky Bai -
Yevgeny Lavrov