That is how the Singularity research OS works, except it's done by static verifi...

		throwaway81523 on March 22, 2022 \| parent \| context \| favorite \| on: VRoom A high end RISC-V implementation That is how the Singularity research OS works, except it's done by static verification in a compiler.