L4Re Secure Separation Kernel CC - Supplementary Cybersecurity Information

This page contains supplementary cybersecurity information for the L4Re Secure Separation Kernel CC 1.0.2.

The software package L4Re Secure Separation Kernel CC 1.0.2 contains the guidance documentation that is referenced in the Security Target for the L4Re Secure Separation Kernel CC 1.0.2.

Compliant use of the L4Re Secure Separation Kernel CC 1.0.2 must adhere to this guidance documentation. Customers of L4Re Secure Separation Kernel CC 1.0.2 are encouraged to contact Kernkonzept in case they have questions about the guidance documentation.

Kernkonzept offers support for the L4Re Secure Separation Kernel CC 1.0.2 for the entire time the certificate is valid. Security advisories and security updates are available during this period as part of the L4Re security support option that Kernkonzept offers together with L4Re Secure Separation Kernel CC 1.0.2.

Please report any bugs and potential security critical issues in a PGP encrypted email to security@kernkonzept.com.

Fingerprint: C4DC 2909 A22E D080 C012 5373 4055 CBA2 A4FD 855B

Public key: download

Security advisories for the L4Re Secure Separation Kernel CC 1.0.2 are made available by Kernkonzept exclusively to customers who have purchased the L4Re security support option. They are not publicly available.