Certified Product
L4Re Secure Separation Kernel CC Version 1.0.1
by Kernkonzept GmbH
L4Re Secure Separation Kernel CC Version 1.0.1 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-03-07
- Last updated: 2026-03-07
- Certifications: 1
- Linked CVEs: 0
Certification history
| Scheme | Certificate ID | Security level | Issue date | Status |
|---|---|---|---|---|
| CCRA | CCRA:FA6BD7C614A8117C24BDD3ADEC0A26654ADCF10643BC5DF1A6CDB129A6FA8440 | EAL4+,ALC_FLR.3 | 2025-02-18 | — |
Documents
Frequently asked questions
- What is L4Re Secure Separation Kernel CC Version 1.0.1?
- L4Re Secure Separation Kernel CC Version 1.0.1 is a security product from Kernkonzept GmbH tracked by NenkinTracker across CCRA certification.
- Which certification schemes has L4Re Secure Separation Kernel CC Version 1.0.1 been evaluated under?
- L4Re Secure Separation Kernel CC Version 1.0.1 holds certifications under: CCRA (1 certification).
- What security level is L4Re Secure Separation Kernel CC Version 1.0.1 certified at?
- L4Re Secure Separation Kernel CC Version 1.0.1 is certified at EAL4+,ALC_FLR.3.
- Who is the vendor of L4Re Secure Separation Kernel CC Version 1.0.1?
- L4Re Secure Separation Kernel CC Version 1.0.1 is developed by Kernkonzept GmbH.
- How many certification documents are tracked for L4Re Secure Separation Kernel CC Version 1.0.1?
- NenkinTracker tracks 2 documents associated with L4Re Secure Separation Kernel CC Version 1.0.1's certifications — Security Targets, certification reports, and maintenance updates where available.