And ultimately none of the microkernels has a credible set of drivers for a typical PC, much less verified ones. Drivers are a huge hole, especially easily acc

And ultimately none of the microkernels has a credible set of drivers for a typical PC, much less verified ones. Drivers are a huge hole, especially easily accessible ones like video due to 3D APIs.