Dies ist eine alte Version des Dokuments!
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:
: 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.