#include <arch/serial.h>
#include <kernel/machine/debug.h>
#include <magenta/status.h>

kern_status_t debug_read(void *buf, size_t max, size_t *nr_read)
{
	return serial_read(COM1, buf, max, nr_read);
}

kern_status_t debug_write(const void *buf, size_t max, size_t *nr_written)
{
	return serial_write(COM1, buf, max, nr_written);
}