Writing an operating system is too easy these days? Why not write your own hardware too?

This work presents Antikernel, a novel operating system architecture consisting of both hardware and software components and designed to be fundamentally more secure than the state of the art.

Plus efforts at proving correctness.

Code and more: https://github.com/azonenberg/antikernel