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 visibility for our community projects as well as track how far use of seL4 is going.

Cheers, Anna.

[1] https://docs.sel4.systems/CommunityProjects.html