Why Linux? It's a simple hybrid kernel. It will be better to rewrite HURD/L4.