I’ve worked with Zynq Processors ;) What I meant was that the FPGA has to load a bit file before booting so technically it can’t boot mainline Linux OOTB