L4.sec status ping

Ernst Rohlicek jun. ernst.rohlicek at inode.at
Wed Aug 1 23:42:54 CEST 2007

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.

More information about the l4-hackers mailing list