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.