#ifndef JOVE_KERNEL_ARCH_x86_64_SERIAL_H
#define JOVE_KERNEL_ARCH_x86_64_SERIAL_H 1

#include <stdbool.h>
#include <stddef.h>

#define SERIAL_UART_COM1 0x3F8
#define SERIAL_UART_COM2 0x2F8

#define SERIAL_UART_COM_THR(COM)        COM
#define SERIAL_UART_COM_RBR(COM)        COM
#define SERIAL_UART_COM_DLAB_DLL(COM)   COM
#define SERIAL_UART_COM_IER(COM)        (COM + 1)
#define SERIAL_UART_COM_DLAB_DLH(COM)   (COM + 1)
#define SERIAL_UART_COM_IIR(COM)        (COM + 2)
#define SERIAL_UART_COM_FCR(COM)        (COM + 2)
#define SERIAL_UART_COM_LCR(COM)        (COM + 3)
#define SERIAL_UART_COM_MCR(COM)        (COM + 4)
#define SERIAL_UART_COM_LSR(COM)        (COM + 5)
#define SERIAL_UART_COM_MSR(COM)        (COM + 6)
#define SERIAL_UART_COM_SR(COM)         (COM + 7)

extern bool serial_supported;

void serial_out(const char *s, size_t len);

#endif