/**
 * \file 
*/


#ifndef DBG_H
#define DBG_H

/**
 * Prints a string to the kernel serial console
 * \param str The string to print
*/ 
void serial_print(char* str);

#endif