path: root/kernel/include/debug.h

#ifndef DEBUG_H
#define DEBUG_H

#include <stdint.h>

void bochs_breakpoint(void);

#endif