[seL4] Support for QNX-like booting from an XIP filesystem image

For UX/RT , the seL4-based OS I am writing, I have patched seL4 to support for booting from an in-memory execute-in-place filesystem image that contains the kernel and all user-mode programs required to mount the root filesystem (similar to that of QNX, but with more of th

Re: [seL4] Support for QNX-like booting from an XIP filesystem image

passthrough is a desirable feature. Cheers, Anna. From: Devel on behalf of Andrew Warkentin Sent: Monday, 1 October 2018 6:26 PM To: devel@sel4.systems Subject: [seL4] Support for QNX-like booting from an XIP filesystem image For UX/RT <https://git

Re: [seL4] Support for QNX-like booting from an XIP filesystem image

On 11/5/18, anna.ly...@data61.csiro.au wrote: > The boot code of seL4 is currently unverified, but we do have ambitions for > verification in the future. As such, we'd want to keep a minimal, static > boot environment. That said, we'd be more than happy to take a look at any > patches you have in

Re: [seL4] Support for QNX-like booting from an XIP filesystem image

Hi Andrew, I had a quick look and the changes seem ok on brief inspection, although if you were to put up a pull request for merging we'd need to do a lot more testing. As an aside, I encourage you to consider listing your project on our Community Projects [1] page. We want to provide visibili