PLATFORM_NAME        = "Xilinx Zynq Zedboard"
PLATFORM_ARCH        = arm
PLATFORM_RAM_BASE    = 0
PLATFORM_RAM_SIZE_MB = 512
PLATFORM_UART_NR     = 1