00001 /* halt.c 00002 * Simple program to test whether running a user program works. 00003 * 00004 * Just do a "syscall" that shuts down the OS. 00005 * 00006 * NOTE: for some reason, user programs with global data structures 00007 * sometimes haven't worked in the Nachos environment. So be careful 00008 * out there! One option is to allocate data structures as 00009 * automatics within a procedure, but if you do this, you have to 00010 * be careful to allocate a big enough stack to hold the automatics! 00011 */ 00012 00013 #include "syscall.h" 00014 00015 int 00016 main() 00017 { 00018 Halt(); 00019 /* not reached */ 00020 }