@redstarfish @janneke With HyperbolaBSD, you would able to run the BSD, Linux(-libre) and Hurd kernels from just one machine.