use libregister::register_at;

use libboard_zynq::uart::baud_rate_gen;
use libboard_zync::uart::regs::RegisterBlock;

register_at!(RegisterBlock, 0xFF000000, uart0);
register_at!(RegisterBlock, 0xFF010000, uart1); // note: PS_UART1 is not connected on ZCU111