Ahmed,
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.
Basic support for Odroid-C4 already exists in the seL4 kerne mainline. Comments indicate it's "just a beefier ODroidC2 with some bits moved around". It's not mentioned on https://docs.sel4.systems/Hardware as supported yes, unfortunately. And I'm not sure how much drivers exists, a working network driver would be the nice thing to have. I wonder if all work has made it into PRs or if it's still on some branches. Seems what it lacks at the moment is somebody really driving this port. Axel