pintos-os.org Git - pintos-anon/blob - src/tests/userprog/child-simple.c

   1 #include <stdio.h>
   2 #include "tests/lib.h"
   3
   4 const char *test_name = "child-simple";
   5
   6 int
   7 main (void)
   8 {
   9   msg ("run");
  10   return 81;
  11 }