00001 // main.h 00002 // This file defines the Nachos global variables 00003 // 00004 // Copyright (c) 1992-1996 The Regents of the University of California. 00005 // All rights reserved. See copyright.h for copyright notice and limitation 00006 // of liability and disclaimer of warranty provisions. 00007 00008 #ifndef MAIN_H 00009 #define MAIN_H 00010 00011 #include "copyright.h" 00012 #include "debug.h" 00013 #include "kernel.h" 00014 00015 extern Kernel *kernel; 00016 extern Debug *debug; 00017 00018 #endif // MAIN_H 00019