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