#ifndef HV_UART_H
#define HV_UART_H

#include "hv/types.h"

void uart_init(void);
void uart_putc(char c);
void uart_puts(const char *s);
void uart_put_hex64(uint64_t value);
void uart_put_dec64(uint64_t value);
void uart_put_label_hex64(const char *label, uint64_t value);
bool uart_getc_nonblocking(char *out);

#endif