On Fri, Oct 23, 2020 at 8:20 PM Nick Spinale
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.
I want to learn to set up seL4 on ARM and happen to have a RP4 lying around. I would like to start with getting the kernel up and running. So I would be grateful for anything that helps in that regard.
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.
I am not sure I understand you. Can I prepare, say seL4 11.0 and then apply your patches and then compile using seL4's build system (or your build system if it is in public domain)? thanks, Sachin
- - - - 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.