Sindicación
Micro Kernel
Nuevo microkernel para el Hurd?
En la lista de correos de L4-Hurd se discute últimamente sobre la posibilidad de cambiar el microkernel sobre el que correrán los servidores del Hurd. Parece ser que las nuevas generaciones del microkernel L4 han cambiado drásticamente en unos puntos importantes.
Hay varias alternativas, las que se manejan más claras son una nueva rama del microkernel L4: L4.sec y el microkernel Coyotos
Una descripción detallada de un mail de la discusión sobre las ventajas y los inconvenientes de estos cambios aquí
LiquidOS, sistema operativo micro kernel
LiquidOS es un sistema operativo basado en micro kernel. El kernel puede ser adaptado a distintas necesidades. LiquidOS está en desarrollo y actualmente sólo soporta arquitecturas x86.
LiquidOS ha sido escrito desde cero y tiene detrás a la multinacional Novell.
