#ifndef _LIBTERMINAL_TERMINAL_TERMINAL_H
#define _LIBTERMINAL_TERMINAL_TERMINAL_H

#include <m/terminal_device.h>
#include <stddef.h>

/* ID of kernel terminal device */
#define TERMINAL_DEVICE 1

/* Print a string onto a graphical terminal. Prints len chars */
void terminal_print (const char* string, size_t len);

#endif // _LIBTERMINAL_TERMINAL_TERMINAL_H