On 1/8/21, Demi M. Obenour
I would like to see the use of seL4 in highly dynamic, non-embedded, security critical systems discussed. Would the Robigalia and/or UX/RT developers be interested?
I'd possibly be interested. Not sure about the Robigalia developers. Seems like they haven't been very active, and I may have passed them with UX/RT as far as what I actually have working. They seem to have abandoned all their old code and tried to start over last year but haven't gotten far since then from what i can tell. I'm not quite sure why they didn't just try to continue with what they had (UX/RT's kernel bindings and allocation subsystem are a mashup of those from feL4 and Robigalia with several major enhancements). Currently I'm working on UX/RT alone. I'd be a little bit surprised if anyone else actually wanted to contribute at this point, since all I have at the moment is kernel bindings for Rust and an allocation subsystem that is almost working (heap allocation doesn't quite work but CSpace, UTSpace, and VSpace allocation all seem to work OK so far). At least now I've actually been working on it every day, but still not quite as much as I'd like. I am expecting to be done with the allocators and move on to the IPC transport layer pretty soon though.