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 Paravirtualized guests

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

Para virtualized guests for Xhyp

We have ready to use paravirtualised guests for Xhyp-Free and Xhyp-Pro:

  • FreeRTOS: FreeRTOS is a GPL realtime operating system. We provide a sample FreeRTOS paravirtualised guest.
  • Stand alone samples: as a demo we provide samples of stand alone guests showing Xhyp:
    • Interrupt handling
    • how to use the Xhyp-MMU interface for domain intern MMU protection
    • Page fault and undefined instruction handling
    • idle, reset and halt handling
    • task switch for OS porting

Currently in alpha stage

  • Linux allows to gain access to number of applications, data bases, network servers and graphical applications. Used with X-Hyp it can be extracted from the trusted base and securely used in trusted embedded systems.

OS we may port on X-Hyp

  • RTEMS which comes with a rich library of drivers
  • OSEK we have to choose a free OSEK port, freeOSEK, openOSEK or Erika
  • POK or Lithos or another ARINC compliant OS
  • BSD OpenBSD, FreeBSD or NetBSD, as soon as Linux port is done.

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.