Mirror of the viengoos research kernel at  https://www.gnu.org/software/hurd/microkernel/viengoos.html