Some precendent for this in VMware's ESX kernel (version 5.0 and earlier)
Some precendent for this in VMware's ESX kernel (version 5.0 and earlier)
Posted Sep 20, 2025 21:57 UTC (Sat) by chexo4 (subscriber, #169500)In reply to: Some precendent for this in VMware's ESX kernel (version 5.0 and earlier) by tullmann
Parent article: Multiple kernels on a single system
IIRC this is how multi-core systems under the seL4 microkernel work. At least in some configurations. Something about it being simpler to implement probably.