os_kernel/test/test1.c

void my_print(char *);
int main()
{
    my_print("Hello, world!\n");
    return 0;
}