L4Re Secure Separation Kernel CC 1.0.2
L4Re SSK is a distribution of the open-source L4Re Operating System Framework. As such it is based on the L4Re Microkernel. The L4Re Microkernel is a 3rd-generation microkernel with a state-of-the-art capability-based mandatory access control security model.
Details of the Certificate
| Certificate ID | EUCC-3087-2026-0000000003-00000 |
|---|---|
| Name of Product | L4Re Secure Separation Kernel CC 1.0.2 |
| Type of Product | Operating System |
| Version of Product | 1.0.2 |
| Name of the Holder | Kernkonzept GmbH |
| Address of the Holder | Buchenstr. 16b 01097 Dresden |
| Contact Information of the Holder | contact@kernkonzept.com |
| Website Holder of Certificate with Supplementary Cybersecurity Information | |
| Name of the certification body that issued the certificate | Bundesamt für Sicherheit in der Informationstechnik, EUCC Zertifizierungsstelle |
| NANDO ID of the CB | 3087 |
| Address of the certification body that issued the certificate | Postfach 200363\n53133 Bonn, Bonn |
| Contact information of the certification body that issued the certificate | zertdokus@bsi.bund.de Phone: +49 228 99 9582-0 |
| Name of the ITSEF which performed the evaluation | atsec information security GmbH |
| Responsible NCCA | Bundesamt für Sicherheit in der Informationstechnik |
| Scheme | (UE) 2024/482 - EUCC |
| Reference to the certification report associated with the certificate referred to in Annex V | EUCC-3087-2026-04-0003 |
| Assurance Level | High |
| CC Version | CC 3.1 Revision 5 |
| CEM Version | CEM 3.1 Revision 5 |
| AVA_VAN Level | 3 |
| Package | None |
| Protection Profile | None |
| Year of Issuance | 2026 |
| Month of Issuance | 4 |
| ID of the Certificate | 3 |
| Date of Issuance | 16/04/2026 |
| Period of validity of the certificate | 5 years |
Certification Documents
Certificate
EUCC-3087-2026-04-0003 Certificate
Certificate Report
EUCC-3087-2026-04-0003 Certificate Report
Security Target
EUCC-3087-2026-04-0003 Security Target