Das ist mal ein spannendes Projekt: https://www.technologyreview.com/2022/07/14/1055894/us-military-sofware-linux-kernel-open-source/