os_kernel/test/test2.c

#include <stdio.h>
void my_print(char *str)
{
    printf("%s\n", str);
}