HI,

The faq section on  "How can I build a system with  seL4?"  [1] has an obsoleted/discountinued product  pointing to  ODROID-C2 [2]  a current product such as the one from OnLogic can replace, perhaps. [3]

   If you have access to an Odroid-C2, you should be
   able to do the project work yourself as a way of
   familiarising yourself with seL4.

[1] https://docs.sel4.systems/projects/sel4/frequently-asked-questions.html [2] https://www.hardkernel.com/shop/odroid-c2/ [3] https://www.onlogic.com/industrial-raspberry-pi/

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.

At https://docs.sel4.systems/Hardware a general list of supported board and specific instructions can be found. Linking it in the FAQ might make sense to avoid confusion. RasPi3 and RasPi4 are already supported, so any variant of them should make a suitable exploration platform.

Note that the FAQ and all other pages are open for contributions to improve documentation. At the bottom of each pages is a link to the source on Github (e.g. https://github.com/seL4/docs/blob/master/projects/sel4/frequently-asked-ques...), pull request are always welcome ;)

Axel

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 <axelheider@gmx.demailto: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