The OpenFPGAduino broad has its own bootload. It provide the ability to load the linux and init the FPGA