OS/pintos-env/pintos/tests/threads/hello.c

#include "hello.h"

void test_hello(void) {
  printf("Hello, world!\n");
}