On Fri, Oct 23, 2020 at 8:20 PM Nick Spinale <[email protected]> wrote:
> > 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. > _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
