• PikeOS 3.1 (1 MB)
  

• Embedded Linux
• Microkernel
• POSIX
• Real-time
• Real-time Java

• Safe and Secure Virtualization in a Separation Microkernel
• Better Avionics Software Reliability by Code Verification
• Bringing together real-time and Virtualization
• Combining Partitioning and Virtualization for Safety-Critical Systems
• Safe and Cooperative Coexistence of a SoftPLC and Linux 

• Rockwell Collins: See how SYSGO supports Aerospace & Defense customers developing DO-178B certified IMA systems
• Gantner Instruments: See how SYSGO supports Industrial Automation & Medical customers combining hard real-time and Linux

In the embedded market, hardware is continuously altering. Preserving the value of application software, PikeOS offers a flexible porting concept that splits the traditional structure of Board Support Packages (BSP) into an Architecture Support Package and a Platform Support Package. Today, PikeOS is available for a broad range of hardware architectures (ARM, MIPS, PPC, SH4,  x86, x86-64, SPARC V8, LEON) and boards of diverse manufacturers and even for multi-core platforms.

PikeOS multi-partitioning model does not depend on particular platform features like hardware virtualization. Its design is truly hardware agnostic and has the largest scope of supported architectures on the market:

• PowerPC
• x86
• MIPS
• ARM
• SPARC V8/LEON
• V850
• SH-4
• others

The Safe and Secure Virtualization (SSV) concept makes it optimal for the support of multi-core architectures. The multi-core support through a flexible approach is made available to the user who can select an execution model ranging from a pure AMP (Asymmetric Multi Processing) to full SMP (Symmetric Multi Processing). The SSV design developed by SYSGO made it particularly suitable for multi-core architectures. The resource and time partitioning model makes the development of concurrent applications on multi-core platforms easier for the user: only core assignment needs new action from the user, the rest of the partitioning remains the same as before.

In order to always offer to all users, whatever personality they use or the industry sector they belong to, the same software layers underneath (e.g. PikeOS System Software and PikeOS micro-kernel) the multi-core related code is integrated within the certified code basis. This user-friendly and powerful extended SMP implementation makes PikeOS the first solution of its kind on the market. Moreover, this flexible multi-core support model is hardware agnostic, in line with the original PikeOS principle.