00001 /* add.c 00002 * Simple program to test whether the systemcall interface works. 00003 * 00004 * Just do a add syscall that adds two values and returns the result. 00005 * 00006 */ 00007 00008 #include "syscall.h" 00009 00010 int 00011 main() 00012 { 00013 int result; 00014 00015 result = Add(42, 23); 00016 00017 Halt(); 00018 /* not reached */ 00019 }