Security is the job of the operating system, not applications. The seK4 kernel makes it possible to build operating systems that actually enforce security, rath

Security is the job of the operating system, not applications. The seK4 kernel makes it possible to build operating systems that actually enforce security, rather than hope applications do the right thing. If this push isn't stopped... we'll all be taking a crash course on microkernels and the principle of least privilege. (A long overdue crash course, but that's my opinion, and not widely shared)