Так как устройства, проектируемые на основе SoC, могут быть совершенно разными, то необходимо иметь возможность сконфигурировать ОС так, чтобы она максимально соответствовала своим функциональным возможностям, но при этом не была слишком громоздкой и медленной. С этим хорошо справляется среда PetaLinux, которую предоставляет сама компания Xilinx.