/partitioning/
../
default
rpi
socfpga-devkit