On Wed, Oct 28, 2020 at 8:27 PM Nick Spinale <[email protected]> wrote:
> > 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)? > > At the moment, I’m unable to share the rest of the code for this > particular project. I have, however, published our Raspberry Pi 4-related > patches to public branches of 'seL4' [1] and ‘seL4_tools' [2]. These > patches, which are the extent of our Raspberry Pi 4-related patches for > upstream seL4 repositories, only encompasses the bootloader (“elfloader”) > and the seL4 kernel itself. The projects that you might use for getting > started, such as ‘sel4test’ [3], depend on platform support for userland > libraries such as those found in ’seL4_libs’ [4]. > Thanks for the detailed explanation. > If you decide to add Raspberry Pi 4 support to those userland libraries, > I’d be happy to help out with that. > I am not confident if I will be able to add RP4 support for the userland libraries. But I will give it a try and keep everyone posted if I get somewhere. thanks, Sachin > > [1] https://github.com/nspin/seL4/tree/rpi4 > [2] https://github.com/nspin/seL4_tools/tree/rpi4 > [3] https://github.com/seL4/sel4test-manifest > [4] https://github.com/seL4/seL4_libs > > > - - - - > 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
