если верить сайту проекта - они пилят одновременно, пытаясь медленно мигрировать с mach на L4. Но, похоже затряли где-то посередине - и это печально.

http://www.bddebian.com/~hurd-web/history/port_to_l4/

There was an effort to port the Hurd from Mach to the ?L4 microkernel family.
..................
By now, the development of Hurd/L4 has stopped. However, Neal Walfield moved on to working on a newly designed kernel called viengoos.

  В опчем и целом, наверно, ясно.

В результате они пока используют MACH. Это ядро первого поколения. Где-то встречал критику: большое кол-во системных вызовов >100, и медленное. Короче тупик.