void serial_puts(const char *s) { serial_puts_dev(CONFIG_PSC_CONSOLE, s); }
void serial1_puts(const char *s) { serial_puts_dev(PSC_BASE2, s); }
void serial1_puts(const char *s) { serial_puts_dev(UART1_BASE, s); }
void serial_puts(const char *s) { serial_puts_dev(ACTING_UART0_BASE, s); }
void serial0_puts(const char *s) { serial_puts_dev(UART0_BASE, s); }