L4.sec status ping

[Ernst Rohlicek jun.]

Hello everyone,

I would just like to ask about the current status or some roadmap for
L4.sec? Is it actively being worked on?

Reason is: I need to choose a microkernel to start working on an
experimental operating system within this year I need some facts for
decision-making - and I would prefer a capability-based one like L4.sec.


Thank you,
Ernst Rohlicek jun.