8 Nov
2018
8 Nov
'18
9:11 a.m.
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