BSI-DSZ-CC-1185-2023
PikeOS Separation Kernel v5.1.3 for the NXP LS 1023A/LS1043A Processor, Version 3.1.0
| 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 |
18.09.2023 |
| gültig bis / valid until |
17.09.2028 |
Zertifizierungsreport / Certification Report
Sicherheitsvorgaben / Security Target
Zertifikat / Certificate
Der EVG ist der PikeOS Separierungskernel in der Version 5.1.3 für den NXP LS1023A/LS1043A Prozessor. Er besteht aus dem PikeOS Kernel und Systemsoftware, instantiiert mit einem ARMv8 ASP und erweitert um BSP-Komponenten für die NXP LS1023A/LS1043A-Prozessor Hardware-Plattform (die einen ARM Cortex-A53-Prozessor mit 4 Kernen für LS1043A bzw. 2 Kerne für LS1023A trägt): PSP, HWVIRT-Hypervisor-Treiber (in Form eines Kernelgerätetreibers), CLKMGR-Treiber (in Form eines Kernelgerätetreibers) und e1000-Treiber (in Form eines externen Dateiproviders in einer Normalpartition).
The TOE is the PikeOS Separation Kernel v5.1.3 for the NXP LS1023A/LS1043A Processor. It consists of the PikeOS Kernel and System Software instantiated with an ARMv8 ASP and extended with BSP components for the NXP LS1023A/LS1043A Processor hardware platform (featuring an ARM Cortex-A53 core processor with 4 cores for LS1043A, 2 cores for LS1023A): PSP, HWVIRT Hypervisor driver (as kernel device driver), CLKMGR driver (as kernel device driver) and e1000 driver (as external file provider in a normal partition).