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

------- Original Message ------- On Monday, July 11th, 2022 at 7:46 PM, Axel Heider 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.

Do you (or anyone else) know how difficult it would be to do the AOS course project with an Odroid-C4? I'm considering getting one to do the project for fun but I'd at least like to know how feasible it is first. Thanks.