#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