Booting on target hardware¶
Login as user
Plug in the USB-stick and boot the target, make sure to configure EFI to boot from USB. No other actions should be needed.
Raspberry Pi 3¶
Insert the SD-card into the Raspberry Pi and boot it up. Make sure to use the HDMI output.