#include "copyright.h"#include "main.h"Go to the source code of this file.
Defines | |
| #define | MAIN |
Functions | |
| void | Cleanup (int x) |
| int | main (int argc, char **argv) |
Variables | |
| KernelType* | kernel |
| global variables. More... | |
| Debug* | debug |
|
|
Value: |
|
|
Cleanup Delete kernel data structures; called when user hits "ctl-C". |
|
|
main Bootstrap the operating system kernel. Initialize kernel data structures Call selftest procedure Run the kernel "argc" is the number of command line arguments (including the name of the command) -- ex: "nachos -d +" -> argc = 3 "argv" is an array of strings, one for each command line argument ex: "nachos -d +" -> argv = {"nachos", "-d", "+"} |
|
|
|
|
|
global variables.
|
1.2.8.1 written by Dimitri van Heesch,
© 1997-2001