Fiasco: main_i.h Source File

00001 // AUTOMATICALLY GENERATED -- DO NOT EDIT!         -*- c++ -*-
00002 
00003 #ifndef main_i_h
00004 #define main_i_h
00005 
00006 #include <cstdio>
00007 #include "config.h"
00008 #include "cpu.h"
00009 #include "div32.h"
00010 #include "globals.h"
00011 #include "kernel_thread.h"
00012 #include "processor.h"
00013 
00014 #include <cstdio>
00015 #include <cstring>
00016 #include <cstdlib>
00017 #include "cmdline.h"
00018 #include "config.h"
00019 #include "io.h"
00020 #include "irq.h"
00021 #include "idt.h"
00022 #include "kdb_ke.h"
00023 #include "kernel_console.h"
00024 #include "pic.h"
00025 #include "reset.h"
00026 #include "timer.h"
00027 #include "terminate.h"
00028 
00029 #endif // main_i_h