FPGA Gateware Design Generate device tree FPGA Bitstream sopcinfo uClinux-dist Build System device tree RAM VHDL/Verilog SOPC/qsys Linux Kernel Userspace/ Libraries Kernel Image Root Filesystem Flash