REG Linux device image
HardKernel ODROID XU3/XU4
HardKernel ODROID XU3/XU4 pairs the Samsung Exynos 5422 SoC with the REG Linux stack for a polished retro console.
- Manufacturer: HardKernel
- SoC: Samsung Exynos 5422
- Maintained on the REG Linux download channel
Hardware specifications
Built for HardKernel
REG Linux targets this hardware profile so you can flash and play without manual tweaking.
Manufacturer
HardKernel
SoC
Samsung Exynos 5422
Image availability
Download the latest build from the REG Linux downloads hub (HardKernel section).
Install notes
Flash HardKernel ODROID XU3/XU4 and boot
Follow the workflow below; the official board page contains any extra quirks for the Samsung Exynos 5422 platform.
- Grab the image. Download the latest HardKernel ODROID XU3/XU4 build from the downloads page or the official board entry.
- Flash to storage. Use balenaEtcher, Raspberry Pi Imager, or `dd` to write the image to an SD card or SSD. Make sure to verify the checksum before booting.
- First boot setup. Insert the media into your HardKernel ODROID XU3/XU4, power on, and let REG Linux expand the filesystem. Pair controllers inside EmulationStation once prompted.
- Troubleshoot with rescue tools. REG Linux ships with an immutable base and rescue partition—if something breaks, reboot into rescue or reflash without touching your ROMs.
Need a refresher?
Cross-check kernel notes, device trees, or wiring tips on the HardKernel ODROID XU3/XU4 board page.