EUCC Certification

EUCC:EUCC-3087-2026-04-0003_EN

for L4Re Secure Separation Kernel CC 1.0.2 by Kernkonzept GmbH

L4Re Secure Separation Kernel CC 1.0.2 - EUCC certification by Kernkonzept GmbH. Issued 2026-04-16.

Key facts

Documents

Additional metadata

AvaVanLevel 3
CcVersion 3.1 R5
CemVersion 3.1 R5
CertificateDocumentUrl https://certification.enisa.europa.eu/document/download/30e7853a-3d42-4f12-bfea-8f349819b040_en
CertificateHolder Kernkonzept GmbH
CertificationBody Bundesamt für Sicherheit in der Informationstechnik, EUCC Zertifizierungsstelle
CertificationBodyAddress Postfach 200363\n53133 Bonn, Bonn
CertificationBodyContact zertdokus@bsi.bund.de ; eucc@trustcb.com
CertificationReportRef EUCC-3087-2026-04-0003
ExpiryDateSource computed
HolderAddress Buchenstr. 16b 01097 Dresden, Germany
HolderContact contact@kernkonzept.com ; contact@kernkonzept.com
HolderWebsites https://www.kernkonzept.com/cybersecurity-information/ ; https://www.kernkonzept.com/cybersecurity-information/
Itsef atsec information security GmbH
Package None
ProductType Operating System
ProductVersion 1.0.2
ProtectionProfile None
ResponsibleNcca BSI
SchemeText (UE) 2024/482 - EUCC
ValidityPeriod 5 years

Frequently asked questions

What is EUCC:EUCC-3087-2026-04-0003_EN?
EUCC:EUCC-3087-2026-04-0003_EN is a EUCC certification for L4Re Secure Separation Kernel CC 1.0.2 by Kernkonzept GmbH.
Which product is certified by EUCC:EUCC-3087-2026-04-0003_EN?
EUCC:EUCC-3087-2026-04-0003_EN certifies L4Re Secure Separation Kernel CC 1.0.2 from Kernkonzept GmbH.
When was EUCC:EUCC-3087-2026-04-0003_EN issued?
EUCC:EUCC-3087-2026-04-0003_EN was issued on 2026-04-16.
When does EUCC:EUCC-3087-2026-04-0003_EN expire?
EUCC:EUCC-3087-2026-04-0003_EN expires on 2031-04-16.
Under which certification scheme was EUCC:EUCC-3087-2026-04-0003_EN issued?
EUCC:EUCC-3087-2026-04-0003_EN is a EUCC certification.
Does EUCC:EUCC-3087-2026-04-0003_EN reference a Protection Profile?
EUCC:EUCC-3087-2026-04-0003_EN references None.