os/libc/dbg.h

16 lines
176 B
C

/**
* \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