constant EXT_TIMER_ADDR: ext_addrid_t := x"FFFFFFC";
constant EXT_AC97_ADDR: ext_addrid_t := x"FFFFFFD";
-- constant EXT_UART_ADDR: ext_addrid_t := x"FFFFFFE";
constant EXT_TIMER_ADDR: ext_addrid_t := x"FFFFFFC";
constant EXT_AC97_ADDR: ext_addrid_t := x"FFFFFFD";
-- constant EXT_UART_ADDR: ext_addrid_t := x"FFFFFFE";