Added test firmware for zynq

Signed-off-by: Joppe Blondel <joppe@blondel.nl>

examples/zynq7000/SW/src/main.c

@@ -0,0 +1,15 @@
+#include "ps7_init.h"
+#include "zynq.h"
+#include "uart.h"
+#include "printf.h"
+
+void main(){
+    cpu_disable_interrups();
+    // Initialize ZYNQ Processing System
+    ps7_init();
+    // Start UART
+    uart_setup();
+
+    printf("Hello World!\n");
+
+}