v0.1-alpha

This release contains the v0.1-alpha version of the VCK5000 platform configuration. Refer to the documentation in platforms/vck5000 on how to load the image provided in final_vck5000.pdi onto your board. Refer to the documentation in firmware/ on how to dynamically load the firmware in airrt_cpp.elf onto the board.