static ssize_t sandbox_uart_write(struct uart_t * uart, const u8_t * buf, size_t count) { return sandbox_console_write((void *)buf, count); }
static ssize_t logger_sandbox_output(const char * buf, size_t count) { return sandbox_console_write((void *)buf, count); }