hio内核现在在广泛的硬件上都有提供。其它的研究组在探索实时支持，对像Fiasco那样的概念继续深入研究。基本内核的开发也在Karlsruhe大学继续，朝向新的"Version 4" API而工作（Pistachio 当前只实现了beta版）.GNU Hurd项目在考虑采用L4微内核以取代Mach (GNU Hurd／L4). 当前存在一个目标为致力于在L4框架下最小的实现Mach的设计，开发者们正在它的实现上工作。2009年，Data61/CSIRO实现了对于其L4内核的形式化证明，并创造出世界上