Main Page   Class Hierarchy   Compound List   File List   Compound Members   File Members  

main.h File Reference

#include "copyright.h"
#include "debug.h"
#include "kernel.h"

Go to the source code of this file.

Defines

#define KernelType   ThreadedKernel

Variables

KernelType* kernel
 global variables. More...

Debugdebug


Define Documentation

#define KernelType   ThreadedKernel
 

Definition at line 24 of file main.h.

Referenced by main().


Variable Documentation

Debug* debug
 

Definition at line 29 of file main.h.

KernelType* kernel
 

global variables.

Definition at line 28 of file main.h.


Generated at Wed Jul 4 11:32:22 2001 for Nachos by doxygen1.2.8.1 written by Dimitri van Heesch, © 1997-2001