PikeOS Certified Hypervisor


Certification Kits

PikeOS Certified Hypervisor


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 Avionics

  • DO 178C DAL D Certification Kit

    • PikeOS for x86, AMD64, ARMv7 and ARMv8

  • DO 178C DAL C Certification Kit

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

  • DO 178C DAL B Certification Kit

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

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 for x86, AMD64, ARMv7 and ARMv8

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

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

Security Certification Kits

  • CC EAL 3+ Certification Kit

    • PikeOS for ARMv7, ARMv8, x86-AMD64

  • SAR SAL3 Certification Kit

    • PikeOS for ARMv7, ARMv8, x86-AMD64

  • SAR SAL4 Certification Kit

    • PikeOS for ARMv7, ARMv8, x86-AMD64

Products which are currently only available (including Certification Kits)

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