Thanks Gerwin!
I’m happy to report that I have been able to build and run seL4 test on two
Apple silicon macs using Docker. I’m sure Ivan’s work can provide a better
long term solution. But, in case my quick hacks are useful to anyone else,
here’s a summary of what I did:
Building: The docke
Hi Mark,
the Docker setup is currently only really supported on Intel. We've tried to
get M1 working, but have so far only succeeded for the base sel4 image, not for
the larger containers on top (e.g. CamkES), although Ivan has make some
progress here: https://github.com/seL4/seL4-CAmkES-L4v-do