Notwendige Dateien
preloadImage.bin // falls doppel-Boot
fpgaSystem.rbf // binäre Systemdatei
socfpga.dtb // device Tree
U-Boot.scr // script bootloader
zImage // Yocto-Ergänzungen
Die Images können z.B. mit Bitbake (yocto) erstellt werden.