#ifndef _KERNEL_DEBUG_H
#define _KERNEL_DEBUG_H

#include <types.h>

void set_debug(void);

void clear_debug(void);

void toggle_debug(void);

bool get_debug(void);


#endif