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 _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
