Certified Product
L4Re Secure Separation Kernel CC 1.0.2
L4Re Secure Separation Kernel CC 1.0.2 by Kernkonzept GmbH, certified under EUCC. 1 certification, 3 documents.
Key facts
- Vendor: Kernkonzept GmbH
- Primary scheme: EUCC
- First tracked: 2026-04-29
- Last updated: 2026-04-29
- Certifications: 1
- Linked CVEs: 0
Certification history
| Scheme | Certificate ID | Security level | Issue date | Status |
|---|---|---|---|---|
| EUCC | EUCC:EUCC-3087-2026-04-0003_EN | - | 2026-04-16 | - |
Documents
Frequently asked questions
- What is L4Re Secure Separation Kernel CC 1.0.2?
- L4Re Secure Separation Kernel CC 1.0.2 is a security product from Kernkonzept GmbH tracked by NenkinTracker across EUCC certification.
- Which certification schemes has L4Re Secure Separation Kernel CC 1.0.2 been evaluated under?
- L4Re Secure Separation Kernel CC 1.0.2 holds certifications under: EUCC (1 certification).
- Who is the vendor of L4Re Secure Separation Kernel CC 1.0.2?
- L4Re Secure Separation Kernel CC 1.0.2 is developed by Kernkonzept GmbH.
- What Protection Profile does L4Re Secure Separation Kernel CC 1.0.2 conform to?
- L4Re Secure Separation Kernel CC 1.0.2 claims conformance to None.
- How many certification documents are tracked for L4Re Secure Separation Kernel CC 1.0.2?
- NenkinTracker tracks 3 documents associated with L4Re Secure Separation Kernel CC 1.0.2's certifications - Security Targets, certification reports, and maintenance updates where available.