Has anyone tried to use seL4 on a raspberry pi 4?
Yes, I am running seL4 on the Raspberry Pi 4 Model B. The project we are working has a userland that is not based on `seL4_libs` and friends, so I’m afraid we have no userland drivers to contribute upstream. However, we do have patches with the necessary kernel configuration and elfloader SMP initialization logic to get seL4 itself running on the Raspberry Pi 4 Model B. Our project uses a different build system from upstream seL4 development, so our patches will require additional preparation before we can open a PR. For now, I’ll publish the patches in a public fork and then link to them in this thread. - - - - Nick Spinale (nickspinale.com) Arm Research, Cambridge UK - - - - IMPORTANT NOTICE: The contents of this email and any attachments are confidential and may also be privileged. If you are not the intended recipient, please notify the sender immediately and do not disclose the contents to any other person, use it for any purpose, or store or copy the information in any medium. Thank you.