Fiasco: kernel_console_i.h Source File

00001 // AUTOMATICALLY GENERATED -- DO NOT EDIT!         -*- c++ -*-
00002 
00003 #ifndef kernel_console_i_h
00004 #define kernel_console_i_h
00005 
00006 #include "config.h"
00007 #include "console.h"
00008 #include "mux_console.h"
00009 #include "processor.h"
00010 
00011 #endif // kernel_console_i_h