add.c

Nachos是个教学用的小型操作系统

/* add.c
 *	Simple program to test whether the systemcall interface works.
 *	
 *	Just do a add syscall that adds two values and returns the result.
 *
 */

#include "syscall.h"

int
main()
{
  int result;
  
  result = Add(42, 23);

  Halt();
  /* not reached */
}