De Mora proposed independent checking through user-built kernels and aimed to make the kernel as small and minimal as possible to make that approach practical.

“His answer was independent checking. Let users build their own kernels. To make this option realistic, de Mora knew he would need to keep the kernel as small and minimalistic as possible, comprising as few lines of code as he could possibly achieve.”