My .2 cryptocoins, but you might find it interesting in evaluating HURD
as a kernerl for Guix system.  Frankly, I haven't been following HURD
development and don't know how much's changed since.

[[http://walfield.org/papers/200707-walfield-critique-of-the-GNU-Hurd.pdf]]
-- 
v, pgp key 0xFF3C7272972E83A5