Quantos kernels podem ser inicializados?

Question

Eu estou querendo saber se existem arquiteturas, que inicializam mais de um kernel de status igual sem supervisor de virtualização. Apenas um pensamento bobo, mas vejo que não é novidade na Internet:

• Multikernel na Wikipedia
• O sistema operacional Barrelfish
• O Multikernel: Uma nova arquitetura de SO para sistemas multicore escaláveis (papel)
• O Multikernel: Uma nova arquitetura de sistema operacional para sistemas multicore dimensionáveis (vídeo)
• superusuário: O que são “computadores multikernel”?

Depois de alguns cliques e pergaminhos, não vejo links para Unix ou Linux. ^a

Faz algum sentido na arquitetura x64? É viável? ^b

_{a. Eu encontrei Amoeba OS da década de 1990, que tinha interface de usuário e API projetada após o Unix e era parcialmente POSIX compliant, de acordo com o artigo sobre Amoeba OS na Wikipedia . (Eles também dizem que é para isso que o Python foi desenvolvido.)}

_{b. O site alemão da Wikipédia no Multikernel afirma que isso pode ser feito e pode trazer ganho de desempenho, mas não o sustenta com nenhuma fonte. (Tanto quanto eu entendo alemão: Man kann a dem mit Konzept des Multikernels x86- und ARM- (und SPARC- usw.) Prozessoren miteinander kooperieren lassen, wodurch man eine bessere Performance erreichen kann.)}