Fiasco: startup_i.h Source File

00001 // AUTOMATICALLY GENERATED -- DO NOT EDIT!         -*- c++ -*-
00002 
00003 #ifndef startup_i_h
00004 #define startup_i_h
00005 
00006 #include "static_init.h"
00007 
00008 #include <cstdlib>
00009 #include <cstdio>
00010 
00011 #include "apic.h"
00012 #include "banner.h"
00013 #include "boot_console.h"
00014 #include "boot_info.h"
00015 #include "config.h"
00016 #include "cpu.h"
00017 #include "dirq.h"
00018 #include "fpu.h"
00019 #include "idt.h"
00020 #include "initcalls.h"
00021 #include "irq_alloc.h"
00022 #include "kernel_console.h"
00023 #include "kip_init.h"
00024 #include "kmem.h"
00025 #include "kmem_alloc.h"
00026 #include "pic.h"
00027 #include "static_init.h"
00028 #include "std_macros.h"
00029 #include "thread.h"
00030 #include "timer.h"
00031 #include "utcb_init.h"
00032 #include "vmem_alloc.h"
00033 #include "space_index.h"
00034 
00035 #endif // startup_i_h