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

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

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

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

See SDKs and specifically SDK.