#include "device/uart.h"
#include "device/portio_uart.h"
#include "object.h"

void
uart_write(objdir_t *dir, size_t pathw, path_byte_t *path, const char *s, size_t w)
{
    objdir_entry_t *entry = objdir_seek(dir, path, pathw);
    if(entry == NULL || entry->type != KO_DEV_UART) return;

#ifdef ENABLE_PORTIO_UART
    portio_uart_write(entry->data, s, w);
#endif
}