#include <unistd.h>
#include "py/mpconfig.h"
#include "src/zephyr_getchar.h"

// Stopgap
extern void printk(const char*, ...);

/*
 * Core UART functions to implement for a port
 */

// Receive single character
int mp_hal_stdin_rx_chr(void) {
    return zephyr_getchar();
}

// Send string of given length
void mp_hal_stdout_tx_strn(const char *str, mp_uint_t len) {
    while (len--) {
        printk("%c", *str++);
    }
}