Una solución práctica a la falta de controladores de dispositivos de GNU/Hurd: la infraestructura ‘rumpkernel’ de NetBSD [ENG]

GNU/Hurd es el sistema operativo de software libre original iniciado en la década de 1980. Su diseño de micronúcleo ha ido evolucionando a lo largo de los años pero el proyecto no ha alcanzado un uso generalizado. Creo que esto se debe a una razón principal: la falta de controladores para periféricos y hardware. En esta charla explico cómo se han reutilizado los controladores del kernel de NetBSD en una configuración de microkernel y demuestro su uso para iniciar un sistema GNU/Hurd a través de un controlador en espacio de usuario.