Petalinux distribution for reference detector TE0820-based platform