On 1/8/21, Demi M. Obenour <demioben...@gmail.com> wrote:
>
> 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.
_______________________________________________
Devel mailing list -- devel@sel4.systems
To unsubscribe send an email to devel-leave@sel4.systems

Reply via email to