//Compile this by calling BootHDIns().
//Don't do it directly.  See Cmp("/Kernel/Kernel").

#exe {
  Cd(__DIR__);;
  Option(OPTf_WARN_PAREN,ON);
  Option(OPTf_WARN_DUP_TYPES,ON);
  #define KERNEL_COPY 0
  #include "KCfg"
  CKCfg *kernel_cfg;
  kernel_cfg=KCfgNew;
};

#include "KCfg.HH"
#include "KernelA.HH"
#include "KStart16"
#include "KStart32"
#include "KStart64"
#include "KMathA"
#include "KUtils"
#exe {Option(OPTf_KEEP_PRIVATE,ON);};
#include "/Compiler/CompilerA.HH"
#exe {Option(OPTf_EXTERNS_TO_IMPORTS,ON);};
#include "/Compiler/CompilerB.HH"
#exe {Option(OPTf_EXTERNS_TO_IMPORTS,OFF);};
#exe {Option(OPTf_KEEP_PRIVATE,OFF);};
#exe {Option(OPTf_WARN_UNUSED_EXTERN,OFF);};
#exe {Option(OPTf_WARN_PAREN,OFF);};
#include "KernelB.HH"
#include "KExts"
#include "StrA"
#include "KGlbls"
#include "GrAsm"
#include "GrZoom"
#include "KMathB"
#include "Sched"
#include "Mem/MakeMem"
#include "FontStd"
#include "FontCyrillic"
#include "StrB"
#include "StrC"
#include "KHashA"
#include "KInts"
#include "KDataTypes"
#include "Compress"
#include "KHashB"
#include "KLoad"
#include "KDate"
#include "StrPrint"
#include "StrScan"
#include "KDefine"
#include "Display"
#include "KMisc"
#include "KDbg"
#include "KeyDev"
#include "KExcept"
#include "PCIBIOS"
#include "PCI"
#include "PCIEACPI"
#include "SerialDev/MakeSerialDev"
#include "QSort"
#include "KTask"
#include "Job"
#include "MultiProc"
#include "EdLite"
#include "BlkDev/MakeBlkDev"
#include "ABlkDev/MakeABlkDev"
#include "FunSeg"
#include "GrTextBase"
#include "KMiscB"
#include "KMain"

#exe {KCfgDel(kernel_cfg);};