Antragsteller / Applicant	SYSGO GmbH Am Pfaffenstein 8 55270 Klein-Winternheim
Prüfstelle / Evaluation Facility	atsec information security GmbH
Prüftiefe / Assurance	EAL3, ALC_FLR.3
Ausstellungsdatum / Certification Date	07.03.2022
gültig bis / valid until	06.03.2027

• BSI-DSZ-CC-1041-V2-2022 (Ausstellungsdatum / Certification Date 06.03.2022, gültig bis / valid until 05.03.2027)
  Zertifizierungsreport / Certification Report
  Sicherheitsvorgaben / Seurity Target
  Zertifikat / Certificate
  Das TOE ist der PikeOS Separierungskernel in der Version 4.2.4 welcher auf Mikroprozessoren der Familien x86 64-bit, ARMv7 oder ARMv8 als Gastsystem für verschiedene Anwendungen abläuft. Das TOE wird als "PikeOS 4.2.4 base product" Build S6120 für Linux und Windows Entwicklungsplatform mit "PikeOS 4.2.4 Certification Kit" Build S6120 referenziert.
  The TOE is the PikeOS Separation Kernel version 4.2.4 running on the microprocessor family (x86 64-bit, ARMv7, or ARMv8) hosting different applications. The TOE is referenced as PikeOS 4.2.4 base product build S6120 for Linux and Windows development host with PikeOS 4.2.4 Certification Kit build S6120.
  

• BSI-DSZ-CC-1041-2018-MA-01 (18.03.2019)

  Zertifizierungsreport / Certification Report

  Sicherheitsvorgaben / Security Target

  Bei den Änderungen am zertifizierten Produkt handelt es sich um ein
  sogenanntes Service Release. Die Vorgaben an das Konfigurationsmanagment
  erfordern die Änderung der Versionsnummer von 4.2.2 auf 4.2.3.

  The change to the certified product is at the level of a so-called service
  release. Configuration Management procedures required a change in the product
  identifier. Therefore the version number changed from 4.2.2 to 4.2.3.

• BSI-DSZ-CC-1041-2018 (Ausstellungsdatum / Certification Date 10.12.2018, gültig bis / valid until 09.12.2023)
  Zertifizierungsreport / Certification Report
  Sicherheitsvorgaben / Security Target
  Zertifikat / Certificat

  Der EVG ist der PikeOS Separation Kernel in der Version 4.2.2, welcher auf Mikroprozessoren der Familien x86 64-bit, ARMv7 oder ARMv8 als Hostsystem für verschiedene Anwendungen abläuft. Der EVG wird als "PikeOS 4.2.2 base product" Build S5400 für Linux und Windows Entwicklungsplatform mit "PikeOS 4.2.2 Certification Kit" Build S5400 referenziert.

  The TOE is the PikeOS Separation Kernel version 4.2.2 running on the microprocessor family (x86 64-bit, ARMv7, or ARMv8) hosting different applications. The TOE is referenced as PikeOS 4.2.2 base product build S5400 for Linux and Windows development host with PikeOS 4.2.2 Certification Kit build S5400.

Der EVG ist der PikeOS Separation Kernel in der Version 4.2.2, welcher auf Mikroprozessoren der Familien x86 64-bit, ARMv7 oder ARMv8 als Hostsystem für verschiedene Anwendungen abläuft. Der EVG wird als "PikeOS 4.2.2 base product" Build S5400 für Linux und Windows Entwicklungsplatform mit "PikeOS 4.2.2 Certification Kit" Build S5400 referenziert.