#ifndef KERNEL_PRINT_STRING_H
#define KERNEL_PRINT_STRING_H

/* Print the string to the appropriate tty, the one 
 * the current task uses */
void print_string(char *str);

#endif //  KERNEL_PRINT_STRING_H