Update: FreeRTOS for Xen on ARM systems

We are pleased to release an updated version of our work on FreeRTOS for Xen on ARM systems. This release extends our port of FreeRTOS 7.6.0 to run on Xen 4.7. Highlights of this update include:

  • Improved compatibility with new versions of Xen by using Xen’s guest device tree to obtain interrupt controller and Xen service configuration details
  • Kernel relocation support

FreeRTOS is an open-source real-time operating system for embedded devices with limited resources. This project modifies FreeRTOS to run as a Xen guest, which allows lightweight real-time virtual machines to run alongside and communicate with other Xen-supported guest operating systems.

The FreeRTOS port is one of our most recent projects in the Xen community, which include the Haskell Lightweight Virtual Machine (HaLVM) and our MAC-enhanced version of the XenStore.

To get started with the FreeRTOS port, visit the project’s GitHub page and see the original announcement.