[seL4] Re: suggestion; update faq reference to ODROID-C2

On 12 Jul 2022, at 12:46, Axel Heider mailto:axelheider@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.