> On 12 Jul 2022, at 13:46, Gernot Heiser <ger...@unsw.edu.au> wrote: > > On 12 Jul 2022, at 12:46, Axel Heider > <axelhei...@gmx.de<mailto:axelhei...@gmx.de>> wrote: > > 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. > > The AOS Odroids are still working fine and we’ve got plenty of redundancy, so > I don’t see us junking them in the next 18 months.
The plan was to replace the Odroid C2 with the Odroid C4, which is similar. There is a basic seL4 port from Curtis, but I don't think anyone has looked at drivers yet. They might be straightforward to port (or even just work), but someone needs to take it on. Cheers, Gerwin _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
