00001 // AUTOMATICALLY GENERATED -- DO NOT EDIT! -*- c++ -*- 00002 00003 #ifndef jdb_kern_info_config_i_h 00004 #define jdb_kern_info_config_i_h 00005 00006 #include <cstdio> 00007 #include "jdb_kern_info.h" 00008 #include "static_init.h" 00009 00010 class Jdb_kern_info_config : public Jdb_kern_info_module 00011 { 00012 00013 public: 00014 Jdb_kern_info_config(); 00015 00016 void show(); 00017 }; 00018 00019 #endif // jdb_kern_info_config_i_h