#ifndef FURIX_ARCH_X86_64_SERIAL_H
#define FURIX_ARCH_X86_64_SERIAL_H

#include <types.h>

void serial_init(void);
void serial_putc(char c);
void serial_puts(const char *s);
void serial_put_hex(uint64_t value);

#endif /* FURIX_ARCH_X86_64_SERIAL_H */