Opakuji, že přístup ke zdrojákům seL4 i ověřujících nástrojů má každý. Je to GPLv2 a můžete se na to podívat i na GitHubu. Tak co konkrétně se tam tají?
> Nebo si snad dovedete představit, že by něco tak důležitého mohlo být bez zpravodajské ochrany, a že by ti lidé vůbec přežili, kdyby neměli řádnou ochranu?
Ano, docela dobře. Nežerte tolik ty kecy o tom, jak NSA a CIA špehuje jen pro naše dobro, jinak by nás všechny nepohodlné nějaká neznámá síla postřílela.