Kernels open-source

[GeorgArming]

Me interesaría saber una lista de kernels open-source, a parte de Linux. Aquí las características más detalladas...

Busco un kernel de código abierto que:
-No sea monolítico
-Soporte ARM y x86

[GeorgArming]

Qué sabéis de Mach? Y de OSkit Mach? Soportan x86 y ARM?