Certified Product
L4Re Secure Separation Kernel, Version CC 1.0.2
L4Re Secure Separation Kernel, Version CC 1.0.2 by Kernkonzept GmbH, certified at EAL4+,ALC_FLR.3 under CCRA. 1 certification, 2 documents.
Key facts
- Vendor: Kernkonzept GmbH
- Primary scheme: CCRA
- First tracked: 2026-05-06
- Last updated: 2026-05-06
- Certifications: 1
- Linked CVEs: 0
Certification history
| Scheme | Certificate ID | Security level | Issue date | Status |
|---|---|---|---|---|
| CCRA | CCRA:E25C5FB8D90C37509CDE77D74D0ADC39CC137CA067F8AD450203BEEF749A02B1 | EAL4+,ALC_FLR.3 | 2026-04-16 | - |
Documents
Frequently asked questions
- What is L4Re Secure Separation Kernel, Version CC 1.0.2?
- L4Re Secure Separation Kernel, Version CC 1.0.2 is a security product from Kernkonzept GmbH tracked by NenkinTracker across CCRA certification.
- Which certification schemes has L4Re Secure Separation Kernel, Version CC 1.0.2 been evaluated under?
- L4Re Secure Separation Kernel, Version CC 1.0.2 holds certifications under: CCRA (1 certification).
- What security level is L4Re Secure Separation Kernel, Version CC 1.0.2 certified at?
- L4Re Secure Separation Kernel, Version CC 1.0.2 is certified at EAL4+,ALC_FLR.3.
- Who is the vendor of L4Re Secure Separation Kernel, Version CC 1.0.2?
- L4Re Secure Separation Kernel, Version CC 1.0.2 is developed by Kernkonzept GmbH.
- How many certification documents are tracked for L4Re Secure Separation Kernel, Version CC 1.0.2?
- NenkinTracker tracks 2 documents associated with L4Re Secure Separation Kernel, Version CC 1.0.2's certifications - Security Targets, certification reports, and maintenance updates where available.