00001 // AUTOMATICALLY GENERATED -- DO NOT EDIT! -*- c++ -*- 00002 00003 #ifndef kernel_uart_i_h 00004 #define kernel_uart_i_h 00005 00006 #include <cstring> 00007 #include <cstdlib> 00008 #include <cstdio> 00009 00010 #include "irq_alloc.h" 00011 #include "uart.h" 00012 #include "cmdline.h" 00013 #include "config.h" 00014 #include "panic.h" 00015 00016 #endif // kernel_uart_i_h