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 <[email protected]>: > 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 > [email protected] > https://sel4.systems/lists/listinfo/devel > >
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
