Development of Linux for Zynq Soc