"Yevgeny" == Yevgeny Lavrov ylavrov13@gmail.com writes:
Yevgeny> Hello. Exynos Arndale 5250 is listed as seL4 Yevgeny> supported ARM devices. I would like to know if seL4 also Yevgeny> supports Exynos Arndale 5420 board, and if it does, then Yevgeny> would the process of mounting seL4 onto Arndale 5420 be the Yevgeny> same as with 5250? Thanks
The two boards are very similar (apart from one having twice the cores), and I imagine it wouldn't be too much work to get seL4 going on the 5420. However, we haven't got one here to try. We did get seL4 running on the Hardkernel Odroid XU2 which uses the same chip, and the XU3 which uses the 5422 which is very similar.
If you can get a serial console going, then the rest should be straightfoward.
Peter C -- Dr Peter Chubb Tel: +61 2 9490 5852 http://ts.data61.csiro.au/ Trustworthy Systems Group Data61 (formerly NICTA)