First try in keyboard driver

[incOS.git] / programs / tests / output.incos.c

#include <kernel.h>

void print_message(char *msg)
{
        keDebug(msg);
}