Fiasco: boot_console_i.h Source File

00001 // AUTOMATICALLY GENERATED -- DO NOT EDIT!         -*- c++ -*-
00002 
00003 #ifndef boot_console_i_h
00004 #define boot_console_i_h
00005 
00006 #include <cstring>
00007 #include <cstdio>
00008 
00009 #include "cmdline.h"
00010 #include "kernel_console.h"
00011 #include "keyb.h"
00012 #include "mux_console.h"
00013 #include "initcalls.h"
00014 #include "static_init.h"
00015 #include "vga_console.h"
00016 
00017 #endif // boot_console_i_h