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