tests/buggyhello.c

   1 // buggy hello world -- unmapped pointer passed to kernel
   2 // kernel should destroy user process in response
   3
   4 #include <parlib.h>
   5
   6 int main(int argc, char** argv)
   7 {
   8         sys_cputs((char*SAFE)TC(1), 1);
   9         return 0;
  10 }
  11