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


===== Building Images =====
Follow the [[.:setup|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 [[software:linux:images:start|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 [[software:linux:yocto:sdks|SDKs]] and specifically [[software:linux:yocto:sdk|SDK]].