• Sep. 15
  

  Kernkonzept stellt L4Re von GPLv2 auf MIT-Lizenz um

  by Kernkonzept PMs in

  Dresden, 15. September 2025 – Die Kernkonzept GmbH, Maintainer und Hauptentwickler des offenen L4Re Operating ..

• Juli 21
  

  L4Re Secure Separation Kernel VS 1.0.0 von Kernkonzept erhält Zulassung für NATO SECRET

  by Kernkonzept PMs in

  Dresden, 21. Juli 2025 –Das Bundesamt für Sicherheit in der Informationstechnik (BSI) hat dem L4Re Secure ..

• Mai 14
  

  Common-Criteria-EAL4+-Zertifizierung für L4Re Secure Separation Kernel CC 1.0.1 von Kernkonzept

  by Kernkonzept PMs in

  Dresden, 14. Mai 2025 – Das Betriebssystem L4Re Secure Separation Kernel CC 1.0.1 des Dresdner Software-Spezialisten ..