[runeks]

Looks interesting. I'm looking for a more secure minimal OS, for use with backend services. Would it make sense to use it as a server OS, or is it primarily for desktop use?

Also, is there a docker image that is ready to go? That would be immensely useful.

[xdma]

It's a desktop OS, and the hardened kernel is an important part of the project (i.e. no docker image).