BSI-DSZ-CC-1146-2022
PikeOS Separation Kernel, Version 5.1.3
| Antragsteller / Applicant | SYSGO GmbH Am Pfaffenstein 8 |
| Prüfstelle / Evaluation Facility |
atsec information security GmbH |
| Prüftiefe / Assurance |
EAL5, AVA_VAN.5, ALC_FLR.3, ALC_DVS.2, ALC_CMC.5, ADV_IMP.2 |
| Ausstellungsdatum / Certification Date |
20.09.2022 |
| gültig bis / valid until |
19.09.2027 |
Zertifizierungsreport / Certification Report
Sicherheitsvorgaben / Security Target
Zertifikat / Certificate
Der EVG ist der PikeOS Separierungskernel in der Version 5.1.3 welcher auf Mikroprozessoren der Familien x86 64-bit, ARMv8 oder PowerPC als Hostsystem für diverse Anwendungen fungiert. Der EVG wird als "PikeOS 5.1.3 base product" Build S6510 für Linux und Windows Entwicklungsplatform mit "PikeOS 5.1.3 Certification Kit" Build S6510 referenziert.
The TOE is the PikeOS Separation Kernel version 5.1.3 running on the microprocessor Family (x86 64-bit, ARMv8, or PowerPC) hosting different applications. The TOE is referenced as PikeOS 5.1.3 base product build S6510 for Linux and Windows development host with PikeOS 5.1.3 Certification Kit build S6510.