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.

Currently there are only instructions for booting from a USB stick, however, these instructions should serve as a good point of reference for installing on other media (such as SSD's or hard disks).

Materials needed:

• USB Stick
• image.wic file (prebuilt or custom)
• x86 based PC with the ability to boot from USB (any reasonably modern PC should be able to do this)

Use the following command to write the image to the USB stick modifying /path/to/image.wic and /dev/sdX accordingly.

sudo dd if=/path/to/image.wic of=/dev/sdX bs=1M status=progress
sudo eject /dev/sdX

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.