pub type uart_select_notif_t = u32;