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.
I had a play with the ODroid-C4 last year and got the AOS Milestone-0 task completed. The same network driver works as per the C2 AOS stub works, from recollection it just needed the base memory address updated. I'd say give it a go! If you get stuck with any of the initial stuff, reach out and I can compare my notes. Regards Robert