Do you mean eBPF? Or what kind of privileged code is the problem? Regarding security. I think the problem is simply that neither Linux nor Windows is the right

Do you mean eBPF? Or what kind of privileged code is the problem? Regarding security. I think the problem is simply that neither Linux nor Windows is the right tool for this job. They are secure, but not nuclear arsenal secure. And there is where SeL4 and other formally verified components should come in.