If you&#x27;re wondering: <a href="http:&#x2F;&#x2F;sel4.systems&#x2F;" rel="nofollow">http:&#x2F;&#x2F;sel4.systems&#x2F;</a><p>&gt; The world&#x27;s first operating-system kernel with an end-to-end proof of implementation correctness and security enforcement is available as open source.