#ifndef _JOVE_DEVICE_UART_H
#define _JOVE_DEVICE_UART_H 1

#include <stdint.h>
#include <stddef.h>

#include "object.h"

void uart_write(objdir_t *dir, uint64_t entryi, const char *s, size_t w);

#endif