Supported OS

In principle, any guest operating system should be supported so long as it:

  • Uses ‘normal’ 32-bit page tables

The following guest OSes are known to work:

  • Raspbian Jessie Lite with Linux Kernel 4.4.y
  • Raspbian with Emlid Real-Time (RT) Linux Kernel 4.4.y