x86-rt

The x86-rt machine provides a platform for generic x86-64 hardware using a real time kernel.

Building Images

Follow the Setup and Building guide to set up the build environment and set MACHINE = „x86-rt“ in local.conf.

Getting Image

Prebuilt images can be obtained from our Linux Images page. Extract it and flash it onto a USB stick.

Booting from the Images

The USB stick can now be used to boot from USB. Note that the BIOS/UEFI setting to achieve this are hardware specific.

Developing for the Board

See SDKs and specifically SDK.