pavel-demin/ssbl

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

C