A small second stage boot loader to start Linux on Zynq-7000 - View it on GitHub