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.