os_kernel_lab/related_info/lab0/lab0_ex2.c

#include <stdio.h>
int
main(void)
{
    printf("Hello, world!\n");
    return 0;
}