HI,
The faq section on "How can I build a system with seL4?" [1] has an obsoleted/discountinued product pointing to ODROID-C2 [2] a current product such as the one from OnLogic can replace, perhaps. [3]
``` If you have access to an Odroid-C2, you should be able to do the project work yourself as a way of familiarising yourself with seL4.
``` [1] https://docs.sel4.systems/projects/sel4/frequently-asked-questions.html [2] https://www.hardkernel.com/shop/odroid-c2/ [3] https://www.onlogic.com/industrial-raspberry-pi/
Thanks for the note. As far as I know, currently the Odroid-C2 is still used for the AOS course at UNSW, and this statement mostly refers to this. Not sure if there are plans to switch as long as the board are working. It's a bit sad that this board was declared end of life recently. At https://docs.sel4.systems/Hardware a general list of supported board and specific instructions can be found. Linking it in the FAQ might make sense to avoid confusion. RasPi3 and RasPi4 are already supported, so any variant of them should make a suitable exploration platform. Note that the FAQ and all other pages are open for contributions to improve documentation. At the bottom of each pages is a link to the source on Github (e.g. https://github.com/seL4/docs/blob/master/projects/sel4/frequently-asked-ques...), pull request are always welcome ;) Axel