RFC: El kernel de Linux gana soporte para arquitectura multikernel

Cong Wang envió una serie de parches RFC que introducen soporte para arquitectura multikernel en el kernel de Linux. Esto permite que múltiples instancias independientes del kernel coexistan y se comuniquen en una sola máquina física, cada una ejecutándose en núcleos de CPU dedicados mientras comparten recursos de hardware. Esto mejora el aislamiento de fallos, aumenta la seguridad, ofrece una mejor utilización de recursos que las máquinas virtuales tradicionales y potencialmente permite actualizaciones del kernel con tiempo de inactividad cero. La implementación aprovecha la infraestructura kexec y un marco IPI dedicado para la comunicación entre núcleos. Este es un RFC básico, que busca principalmente comentarios sobre el diseño de alto nivel.