Tolong jelaskan mengenai Mikrokernel lain dari GNU Hurd

Mulai tahun 2004, berbagai usaha telah dilakukan untuk memindahkan Hurd ke mikrokernel yang lebih modern. mikrokernel L4 adalah pilihan sebenarnya pada tahun 2004, namun kemajuannya lambat dan akhirnya berhenti. Namun, selama tahun 2005, pengembang Hurd Neal Walfield menyelesaikan kerangka manajemen memori awal L4 untuk Hurd, dan Marcus Brinkmann memindahkan bagian penting dari glibc; yaitu, membuat proses kode startup bekerja, yang memungkinkan program berjalan, sehingga memungkinkan program pertama pengguna (contohnya seperti program hallo dunia dalam bahasa C) untuk berjalan.

Sejak tahun 2005 Brinkmann dan Walfield mulai meneliti Coyotos sebagai baru untuk HURD. Pada tahun 2006, Brinkmann bertemu dengan Jonathan Shapiro (seorang arsitek utama Sistem Operasi Coyotos) untuk membantu dan mendiskusikan penggunaan kernel Coyotos untuk GNU/Hurd. Dalam diskusi lebih lanjut pengembang HURD menyadari bahwa Coyotos (serta kernel lain yang serupa) tidak cocok untuk HURD.

Pada tahun 2007, pengembang Hurd Neal Walfield dan Marcus Brinkmann memberikan kritik tentang arsitektur Hurd, yang dikenal sebagai "kritik", dan proposal untuk bagaimana sistem masa depan dapat dirancang, dikenal sebagai "kertas posisi". Pada tahun 2008, Neal Walfield mulai bekerja pada mikrokernel Viengoos sebagai kernel modern asli untuk HURD. , perkembangan Viengoos karena Walfield tidak punya waktu untuk mengerjakannya.

Sementara itu, yang lain terus bekerja pada varian Mach untuk Hurd.