Certified products - operating systems
The following list includes certificates whose validity date has not expired or those younger than five years. This overview page can be sorted by certificate number, product name, applicant name or date. Details and information on maintenance and re-assessments are available on the related subpage. Therefore, please click on the certificate number.
All reports are presented in PDF-format. Please note that the security targets (developer documents) may not be fully accessible to people with disabilities.
|
|
|
|
---|---|---|---|
BSI-DSZ-CC-1177-2025 | L4Re Secure Separation Kernel CC, Version 1.0.1 | Kernkonzept GmbH | 18.02.2025 |
BSI-DSZ-CC-1214-2025 | SUSE Linux Enterprise Micro 5.3 | SUSE, LLC | 24.01.2025 |
BSI-DSZ-CC-1213-2023 | SUSE Linux Enterprise Server 15 SP4 | SUSE, LLC | 15.12.2023 |
BSI-DSZ-CC-1185-2023 | PikeOS Separation Kernel v5.1.3 for the NXP LS 1023A/LS1043A Processor, Version 3.1.0 | SYSGO GmbH | 18.09.2023 |
BSI-DSZ-CC-1146-2022 | PikeOS Separation Kernel, Version 5.1.3 | SYSGO GmbH | 20.09.2022 |
BSI-DSZ-CC-1165-2022 | IBM AIX 7.2.5, Service Pack 3 (SP3) Standard Edition (SE) | IBM Corporation | 08.07.2022 |
BSI-DSZ-CC-1041-V2-2022 | PikeOS Separation Kernel, 4.2.4 | SYSGO GmbH | 07.03.2022 |
BSI-DSZ-CC-1168-2021 | SUSE Linux Enterprise Server, Version 15 SP2 | SUSE LLC | 11.11.2021 |
BSI-DSZ-CC-1151-2021 | SUSE Linux Enterprise Server 15 SP2 | SUSE Software Solution Germany GmbH | 08.07.2021 |
BSI-DSZ-CC-1066-2020 | V-OS Virtual Secure Element Version 4, build 4.0.0.1 | V-Key Pte Ltd | 29.06.2020 |
Certificates whose period of validity has now expired or which are more than 5 years old, are published here.