CCRA Certification
CCRA:E25C5FB8D90C37509CDE77D74D0ADC39CC137CA067F8AD450203BEEF749A02B1
for L4Re Secure Separation Kernel, Version CC 1.0.2 by Kernkonzept GmbH
L4Re Secure Separation Kernel, Version CC 1.0.2 - CCRA EAL4+,ALC_FLR.3 certification by Kernkonzept GmbH. Issued 2026-04-16.
Key facts
- Scheme: CCRA
- Certificate ID:
CCRA:E25C5FB8D90C37509CDE77D74D0ADC39CC137CA067F8AD450203BEEF749A02B1 - Security level: EAL4+,ALC_FLR.3
- Status: -
- Issue date: 2026-04-16
- Expiry date: 2031-04-15
- Product: L4Re Secure Separation Kernel, Version CC 1.0.2
- Vendor: Kernkonzept GmbH
Documents
Frequently asked questions
- What is CCRA:E25C5FB8D90C37509CDE77D74D0ADC39CC137CA067F8AD450203BEEF749A02B1?
- CCRA:E25C5FB8D90C37509CDE77D74D0ADC39CC137CA067F8AD450203BEEF749A02B1 is a CCRA certification for L4Re Secure Separation Kernel, Version CC 1.0.2 by Kernkonzept GmbH.
- Which product is certified by CCRA:E25C5FB8D90C37509CDE77D74D0ADC39CC137CA067F8AD450203BEEF749A02B1?
- CCRA:E25C5FB8D90C37509CDE77D74D0ADC39CC137CA067F8AD450203BEEF749A02B1 certifies L4Re Secure Separation Kernel, Version CC 1.0.2 from Kernkonzept GmbH.
- What security level is CCRA:E25C5FB8D90C37509CDE77D74D0ADC39CC137CA067F8AD450203BEEF749A02B1?
- CCRA:E25C5FB8D90C37509CDE77D74D0ADC39CC137CA067F8AD450203BEEF749A02B1 is certified at EAL4+,ALC_FLR.3.
- When was CCRA:E25C5FB8D90C37509CDE77D74D0ADC39CC137CA067F8AD450203BEEF749A02B1 issued?
- CCRA:E25C5FB8D90C37509CDE77D74D0ADC39CC137CA067F8AD450203BEEF749A02B1 was issued on 2026-04-16.
- When does CCRA:E25C5FB8D90C37509CDE77D74D0ADC39CC137CA067F8AD450203BEEF749A02B1 expire?
- CCRA:E25C5FB8D90C37509CDE77D74D0ADC39CC137CA067F8AD450203BEEF749A02B1 expires on 2031-04-15.
- Under which certification scheme was CCRA:E25C5FB8D90C37509CDE77D74D0ADC39CC137CA067F8AD450203BEEF749A02B1 issued?
- CCRA:E25C5FB8D90C37509CDE77D74D0ADC39CC137CA067F8AD450203BEEF749A02B1 is a CCRA certification.