kernel/include/kern/kernel.h

   1 // Generic stuff that pretty much everything is going to include.
   2
   3 #ifndef _KERN_KERNEL_H
   4 #define _KERN_KERNEL_H
   5
   6 #include <orb.h>
   7 #include <System/Objects.h>
   8 #include <System/Exceptions.h>
   9
  10 #include <kern/types.h>
  11 #include <kern/conf.h>
  12 #include <kern/assert.h>
  13 #include <lowlevel/misc.h>
  14
  15 using System::RunTime::countarray;
  16 using System::RunTime::Array;
  17 using System::RunTime::nullarray;
  18 using System::RunTime::ORBMM;
  19 using System::Object;
  20 using System::Objects::Factory;
  21 using namespace System::Exceptions::Std;
  22
  23 // When set, bypass (or use alternate) console locks and halt on any
  24 // further faults.  FIXME: should be per-CPU.
  25
  26 extern int in_fault;
  27
  28 #endif