kbrain

PikeOS Separation Kernel v5.1.3 for the NXP LS 1023A/LS1043A Processor, Version 3.1.0

SYSGO GmbH - Common Criteria BSI-DSZ-CC-1185-2023

activeEAL5

Key facts

Scheme
Common Criteria
Certificate
BSI-DSZ-CC-1185-2023
Standard
Common Criteria
Assurance level
EAL5, ADV_IMP.2, ALC_CMC.5, ALC_DVS.2, ALC_FLR.3, AVA_VAN.5
Status
active
Manufacturer
SYSGO GmbH
Category
Operating Systems
Certification scheme
DE
Lab
BSI
Certified
September 18, 2023
Valid until
September 17, 2028
Versions
3.1.0, 5.1.3

Algorithms

  • SHA-256

Algorithms named in the security target and certification report.

CVEs that may affect this product

sec-certs has not matched any CVE to this certificate. That is not proof the product is unaffected.

Related CVEs and certificate references are automated matches by sec-certs, not reviewed by humans: treat them as "may be affected" and verify before acting.

Certificates it builds on

  • BSI-DSZ-CC-1146-2022

Certificate ids found in this certificate's documents (automated extraction).

Documents and sources

Source: sec-certs.org (CRoCS, Masaryk University), from NIST CMVP and the Common Criteria Portal - dataset of September 10, 2026 - synced October 15, 2026

Check certifications from your AI assistant

The Security Certifications Explorer answers FIPS 140-3 and Common Criteria questions directly inside Claude, ChatGPT, or any MCP assistant, and links each certificate to the CVEs that may affect it.

Add the certifications brain
PikeOS Separation Kernel v5.1.3 for the NXP LS 1023A/LS1043A Processor, Version 3.1.0 - Common Criteria BSI-DSZ-CC-1185-2023