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

On 12 Jul 2022, at 12:46, Axel Heider mailto:axelheider@gmx.de> 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. Not sure if there are plans to switch as long as the board are working. It's a bit sad that this board was declared end of life recently. The AOS Odroids are still working fine and we’ve got plenty of redundancy, so I don’t see us junking them in the next 18 months.

On Tue, 12 Jul 2022, 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. Not sure if there are plans to switch as long as the board are working. It's a bit sad that this board was declared end of life recently.

They could do worse than pick the upgradeable open hardware MNT Reform [1] for their next os-labkit.

At https://docs.sel4.systems/Hardware a general list of supported board and specific instructions can be found.

Somewhere in the documentation it says an seL4 port to hardware can be funded. That hardware page could make it frictionless to add a platform and make a donation towards a port with a progress bar for funding needed and work progress as it happens once funding is reached. Is there a test for developers to qualify the rock5b rk3588 for seL4? [2] Off-topic, is it possible to layer on seL4 a unix mode oskit to run DrRacket? [3] [1] https://mntre.com/media/reform_md/2020-05-08-the-much-more-personal-computer... https://mntre.com/media/reform_md/2022-06-20-introducing-mnt-pocket-reform.h... [2] https://www.cnx-software.com/2022/07/05/rock-5b-developer-edition-preview-pa... http://rock.sh/5b-dev [3] https://www.cs.utah.edu/flux/oskit/unixmode.html -- vl