00001 /* halt.c00002 //307034367000003
00004 Simple program to test whether running a user program works.00005 00006 Just invokes a system call that shuts down the OS. */00007
00008 #include <syscall.h>00009
00010 int00011main (void)
00012 {
00013 halt ();
00014 /* not reached */00015 }
Generated on Mon Jan 10 16:43:57 2011 for Pintos by
1.5.6