#ifndef _KERNEL_DEVICE_DEBUGCONSOLE_H
#define _KERNEL_DEVICE_DEBUGCONSOLE_H

#include <device/def_device_op.h>
#include <libk/std.h>
#include <proc/proc.h>
#include <proc/reschedule.h>

struct device;

DEFINE_DEVICE_OP(debugconsole_putstr);

DEFINE_DEVICE_INIT(debugconsole_init);

DEFINE_DEVICE_FINI(debugconsole_fini);

#endif // _KERNEL_DEVICE_DEBUGCONSOLE_H