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