00001 // AUTOMATICALLY GENERATED -- DO NOT EDIT! -*- c++ -*- 00002 00003 #ifndef pic_i_h 00004 #define pic_i_h 00005 00006 #include <cstring> 00007 #include <cstdio> 00008 #include "boot_info.h" 00009 #include "cmdline.h" 00010 #include "config.h" 00011 #include "initcalls.h" 00012 00013 #endif // pic_i_h