pintos-progos/examples/hello.c


1
2
3
4
5
6
7
8
9

#include <stdio.h>
#include <syscall.h>

int
main (int argc, char **argv)
{
  printf ("Hello World :)\n");
  return EXIT_SUCCESS;
}