GNU Hurd
2004年以降、Hurdをさらにモダンなマイクロカーネルにポートする努力が行われている。これにはL4マイクロカーネルやCoyotosマイクロカーネルなどを含む。