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)

The easiest way to identify the right block device is usually it's size. In the example output above, we are looking for a 4GB USB Stick. We can infer that the USB Stick is /dev/sdb, since it is the only device with roughly the right size (3.8GB). Note that the size shown in lsblk may differ slightly from the nominal size of the USB Stick due to partitioning.

If there are multiple devices of the same size as the USB stick it may be necessary to run lsblk before and after plugging in the USB stick and checking which device only appears in the second output.

: Writing the image to the USB Stick will erase all content!

: Make absolutely sure you have identified the correct device! dd will not hesitate to override your OS drive if you tell it to!

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.