Comment Comment by Rochus Genode looks interesting. As far as I understand it uses the sel4 kernel? Is it really in development since 2008? parent Rochus 1 year ago
