| Certificate ID | CERTIFICATE EUCC-3087-2026-04-0003 |
| 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, Germany |
| Contact Information of the Holder | contact kernkonzept [dot] com (contact[at]kernkonzept[dot]com) |
| Website Holder of Certificate with Supplementary Cybersecurity Information | https://www.kernkonzept.com/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 | eucctrustcb [dot] com (zertdokus[at]bsi[dot]bund[dot]de) |
| Name of the ITSEF which performed the evaluation | atsec information security GmbH |
| Responsible NCCA | BSI |
| 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 | 3.1 R5 |
| CEM Version | 3.1 R5 |
| AVA_VAN Level | 3 |
| Package | None |
| Protection Profile | None |
| Year of issuance | 2026 |
| Month of Issuance | 04 |
| ID of the Certificate (yearly number of certificate issued by the CB) | 3 |
| Modification/ Reassurance plus the ID | N/A |
| Certificate issue date | 16/04/2026 |
| period of validity of the certificate | 5 years |
