Certified Product
PikeOS Separation Kernel, 4.2.4
by SYSGO GmbH
PikeOS Separation Kernel, 4.2.4 by SYSGO GmbH, certified at EAL3+,ALC_FLR.3 under CCRA. 1 certification, 2 documents.
Key facts
- Vendor: SYSGO 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:FE7BFEBD9AF496767B215B28F787DC12BD0B1326D8815B9ED04ADAFFBFD9E2EA | EAL3+,ALC_FLR.3 | 2022-03-07 | — |
Documents
Frequently asked questions
- What is PikeOS Separation Kernel, 4.2.4?
- PikeOS Separation Kernel, 4.2.4 is a security product from SYSGO GmbH tracked by NenkinTracker across CCRA certification.
- Which certification schemes has PikeOS Separation Kernel, 4.2.4 been evaluated under?
- PikeOS Separation Kernel, 4.2.4 holds certifications under: CCRA (1 certification).
- What security level is PikeOS Separation Kernel, 4.2.4 certified at?
- PikeOS Separation Kernel, 4.2.4 is certified at EAL3+,ALC_FLR.3.
- Who is the vendor of PikeOS Separation Kernel, 4.2.4?
- PikeOS Separation Kernel, 4.2.4 is developed by SYSGO GmbH.
- How many certification documents are tracked for PikeOS Separation Kernel, 4.2.4?
- NenkinTracker tracks 2 documents associated with PikeOS Separation Kernel, 4.2.4's certifications — Security Targets, certification reports, and maintenance updates where available.