RFC: Suporte à arquitetura multikernel no kernel Linux

Cong Wang enviou uma série de patches RFC que introduzem suporte à arquitetura multikernel no kernel Linux. Isso permite que várias instâncias independentes do kernel coexistam e se comuniquem em uma única máquina física, cada uma rodando em núcleos de CPU dedicados enquanto compartilham recursos de hardware. Isso melhora o isolamento de falhas, aumenta a segurança, oferece melhor utilização de recursos do que VMs tradicionais e potencialmente permite atualizações de kernel com tempo de inatividade zero. A implementação utiliza a infraestrutura kexec e uma estrutura IPI dedicada para comunicação entre kernels. Este é um RFC básico, buscando principalmente feedback sobre o design de alto nível.