PikeOS Hypervisor


Certification Kits

PikeOS Hypervisor


Certification Kits

Available Certification Kits

Certification kits are an extension to our standard products, allowing the product to be used in a safety or security certification requiring project. The content of the certification kits varies, depending on assurance level, industry and addressed standard. For more details on the content of a certification kit of interest, please contact us directly.

Safety Certification Kits for Avionic

The following certification Kits for the Avionic industry are available off-the-shelf

  • DO 178C DAL D Certification Kit

    • PikeOS 4.2.3 for x86, AMD64, ARMv7 and ARMv8

  • DO 178C DAL C Certification Kit

    • PikeOS 3.4 for x86
    • PikeOS 3.1.10 for PPC (PPC-OEA, PPC e500)

  • DO 178C DAL B Certification Kit

    • PikeOS 3.1.10 for PPC (PPC-OEA, PPC e500)

If your required avionic certification kit is not within the list, please contact us at sales( at )sysgo.com.


Safety Certification Kits for Automotive, Railway and Automation Industry

  • Industry Certification Kit SIL 2 (ISO 26262 ASIL B, IEC 61508 SIL2, EN 50128 SIL 2)

    • PikeOS 4.2.3 for x86, AMD64, ARMv7 and ARMv8

  • Industry Certification Kit SIL 3 (IEC 61508 SIL3/4, EN 50128 SIL 3/4)

    • PikeOS 3.4 for x86
    • PikeOS 3.1.10 for PPC (PPC-OEA)

If your required industry certification kit is not within the list, please contact us at sales( at )sysgo.com.


Security Certification Kits

  • CC EAL 3+ Certification Kit

    • PikeOS 4.2.3 for ARMv7, ARMv8, x86-AMD64

  • SAR SAL3 Certification Kit

    • PikeOS 4.2.3 for ARMv7, ARMv8, x86-AMD64

  • SAR SAL4 Certification Kit

    • PikeOS 4.2.3 for ARMv7, ARMv8, x86-AMD64

If your required security certification kit is not within the list, please contact us at sales( at )sysgo.com.


Products which are currently only available including certification kits are

  • CIP (Certified IP Stack) for PPC, x86, AMD64, ARMv7 and ARMv8 up do DAL C
  • CFS (Certified File System) for PPC, x86, AMD64, ARMv7 and ARMv8 up do DAL C

For information on PSP and BSP certification kits, please contact us at sales( at )sysgo.com.