#ifndef DEBUG_H
#define DEBUG_H

#include <stdint.h>

void bochs_breakpoint(void);

#endif