We port Xhyp on your hardware, we port your OS or application on Xhyp read more

Howto: Running X-hyp binaries demo.
...read more

Howto: Run your own RTOS in X-hyp.
...read more

Howto use the X-hyp configurator.
...read more

FAQ: Frequently Asked Questions on Licensing.
...read more

Howto use the X-Hyp framework to port an RTOS to X-Hyp.
...read more

Source code example: a hello world domain for X-Hyp.
...read more

Binary testing: using X-Hyp ARINC like scheduling.
...read more

IST Project: OCERA, Open components for realtime applications.
...read more

X-HYP Free

X-HYP is a type 1 hypervisor with realtime performance and para-virtualized guests.

Free Hypervisor for ARM

X-HYP Free is licensed with a GPL-v2 license and has been ported to different ARM architectures:

  • ARMv4 : ARM926ejs processor with MMU, a general purpose processor largelly used in embedded systems.
  • ARMv7: Cortex A8 processor with MMU, the new generation of ARM processor with enhanced security (trustzone).
  • ARMv7: Cortex M3 processor with MPU the new embedded oriented ARM core

X-Hyp free realtime behaviors

X-HYP can be build with different realtime schedulers:

  • POSIX: confirming to POSIX 1003.1b with 32 levels of priority and FIFO and Round Robin classes. Allowing multiple POSIX realtime partitions and multiple GPOS partitions.
  • ARINC: partially conforming to ARINC 653 with dynamic plan modification including large and small frames. Allowing multiple ARINC realtime partitions and a ARINC partition manager.
  • Sproradic: to respond quickly on a single dedicated realtime partition. Allowing a single realtime partition and multiple GPOS partitions.

X-Hyp free includes an application builder

X-Hyp free application builders allows you inside a semi-graphic dialog menu to:

  • Choose partitions sizes
  • Incorporate your para virtualised guest with X-Hyp
  • Choose the scheduling scheme you want to use, POSIX, ARINC or Sporadic
  • Define the priorities associated to each partition for POSIX scheme
  • Define ARINC major and minor frames and periods

Dual licensing

X-HYP is available under two different license:

  • A GPL-v2 license available for Universities and testing purpose
  • Commercial license for product embedding
For more information consult our licensing page.

Howto use the X-Hyp framework to port an RTOS to X-Hyp.
...read more

Howto use the X-Hyp Assemblor Hypercall API.
...read more

Binary testing: using X-Hyp ARINC like scheduling.
...read more

Howto: Running X-hyp binaries demo.
...read more

Howto: Run your own RTOS in X-hyp.
...read more

Howto use the X-Hyp C hypercall API.
...read more

IST Project: OCERA, Open components for realtime applications.
...read more

Source code example: a hello world domain for X-Hyp.
...read more

Designed and built by M.N.I.S.

Using Bootstrap licensed under Apache V2 and Glyphicons Free licensed under CC BY 3.0.