#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;