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

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

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