I just read on info guix that they have a setting to use GNU/Hurd as kernel, maybe that could be fun virtualized.