Hi,
We are also running seL4 on the RPI4 and we managed to run "sel4test"
passing all the tests.
Basically, you can build the sel4test project and execute all the tests
without errors as in the Rpi3.
We are using it in an OS course to build a very simple OS on top of seL4.
I'll try to open a PR in the following days.
Nick, if you don't mind, I'll compare our patch with yours to check if we
are doing everything the same way.
I'll keep you informed.
Jose (& Mikel)
On Thu, Oct 29, 2020 at 1:29 AM Nick Spinale
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].
If you decide to add Raspberry Pi 4 support to those userland libraries, I’d be happy to help out with that.
[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 Devel@sel4.systems https://sel4.systems/lists/listinfo/devel