Hubert Servidor's security hacks

[Kochise]

That explains a lot. What other options are available ? Nova ?

https://genode.org/documentation/platforms/nova
https://genode.org/documentation/general-overview/index