> This kernel design is bankrupt. There's much better available, such as seL4+Genode. I am sure that the tech community would love to read the details of your

> This kernel design is bankrupt. There's much better available, such as seL4+Genode. I am sure that the tech community would love to read the details of your great success in deploying microkernels for large variety of production workloads.