Kernel initialization and startup code. More...
#include "mark3.h"
Go to the source code of this file.
Kernel initialization and startup code.
Definition in file kernel.cpp.