#include "soc_peripherals.h"
__IO xilinx_uartlite_t *UART0 = (xilinx_uartlite_t *) UART0_BASE;
__IO xilinx_gpio_t *GPIO0 = (xilinx_gpio_t *) GPIO0_BASE;
__IO xilinx_timer_t *TIMER0 = (xilinx_timer_t *) TIMER0_BASE;