2020-07-26 15:38:29 -05:00
|
|
|
/**
|
|
|
|
|
* \file
|
|
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
|
2020-07-26 14:39:08 -05:00
|
|
|
#ifndef DBG_H
|
|
|
|
|
#define DBG_H
|
|
|
|
|
|
2020-07-26 15:38:29 -05:00
|
|
|
/**
|
|
|
|
|
* Prints a string to the kernel serial console
|
|
|
|
|
* \param str The string to print
|
|
|
|
|
*/
|
2020-07-26 14:39:08 -05:00
|
|
|
void serial_print(char* str);
|
|
|
|
|
|
|
|
|
|
#endif
|
