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 _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
