On Wed, Sep 24, 2025 at 10:51 AM Christoph Lameter (Ampere) <[email protected]> wrote: > AFAICT various contemporary Android deployments do the multiple kernel > approach in one way or another already for security purposes and for > specialized controllers. However, the multi kernel approaches are often > depending on specialized and dedicated hardware. It may be difficult to > support with a generic approach developed here.
You are right, the multikernel concept is indeed pretty old, the BarrelFish OS was invented in around 2009. Jailhouse was released 12 years ago. There are tons of papers in this area too. Dual-kernel systems, whether using virtualization or firmware, are indeed common at least for automotives today. This is a solid justification of its usefulness and real-world practice. As you stated, it should not depend on any firmware or specialized hardware, hence I am making this effort here. Let's join the effort, instead of inventing things in isolation. This is why I not only open the source code but also open the roadmap and invite the whole communication for collaboration. Regards, Cong Wang
