®

Federal Office

 

 

for Information Security °C C {<>}
‘Common Criteria

CYBERSECURITY CERTIFICATION

 

 

 

 

 

EUCC-3087-2026-04-0003(*)
Administration ID BSI-DSZ-CC-1177-V2-2026

Operating System
L4Re Secure Separation Kernel, Version CC 1.0.2

Holder of the Certificate: | Kernkonzept GmbH
Buchenstraße 16 b
01097 Dresden

 

Deutschland
https://www.kernkonzept.com/cybersecurity- SNL :
inf i teri
Common Criteria
Evaluation Facility: atsec information security GmbH econ ter eee up
Ismaninger Str. 19
81675 München to EAL 2and ALC_FLR only
Assurance Level: EUCC High with component AVA_VAN.3
Assurance Package: EAL 4+
Augmentation: ALC_FLR.3 (( DAKKS |
valid until: 15 April 2031 sfarecirungnle

The ICT Product identified in this certificate and its attached certification report has
been evaluated at the above mentioned notified evaluation facility using the Common
Methodology for IT Security Evaluation (CEM), as well as application notes and
interpretations on advice by the Certification Body in the versions published at the
time the conformity assessment was carried out. The CC and CEM used for the
evaluation of the above mentioned ICT product are published as ISO/IEC 15408 and
ISO/IEC 18045 or as CC v3.1 and CEM v3.1.

(*) This certificate applies only to the specific version and release of the ICT product in
its evaluated configuration and in conjunction with the complete Certification Report
and Notification. For details see Certification Report part A chapter 5.

The evaluation has been conducted in accordance with the provisions of Commission
Implementing Regulation (EU) 2024/482 of 31 January 2024 laying down rules for the
application of Regulation (EU) 2019/881 of the European Parliament and of the
Council as regards the adoption of the European Common Criteria-based
cybersecurity certification scheme (EUCC) and the conclusions of the evaluation
facility in the evaluation technical report are consistent with the evidence adduced.

Bonn, 16 April 2026
For the Federal Office for Informatio

    
 
 

Markus Mackenbrock m
Deputy Head of Certification General Directorate General S

Bundesamt für Sicherheit in der Informationstechnik
Godesberger Allee 87 - D-53175 Bonn - Postfach 20 03 63 - D-53133 Bonn
Phone +49 (0)228 99 9582-0 - Fax +49 (0)228 9582-5477 - Infoline +49 (0)228 99 9582-111
This certificate is not an endorsement of the IT Product by the Federal Office for Information Security or any
other organisation that recognises or gives effect to this certificate, and no warranty of the IT Product by the
Federal Office for Information Security or any other organisation that recognises or gives effect to this
certificate, is either expressed or implied.

This certificate and its holder are both subject to obligations and monitoring activities as specified in
Commission Implementing Regulation (EU) 2024/482. This certificate, its holder and its issuer are
furthermore subject to compliance rules and supervision by the National Cybersecurity Certification
Authority as established at Federal Office for Information Security, Division S 14, Freital, Email:

vio CC-Zert-304 EUCC-V5.5