L4.sec status ping

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.