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