---

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...
Debug*	debug

---

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.

---