00001 // AUTOMATICALLY GENERATED -- DO NOT EDIT! -*- c++ -*- 00002 00003 #ifndef startup_h 00004 #define startup_h 00005 00006 // 00007 // INTERFACE definition follows 00008 // 00009 00010 00011 class Startup 00012 { 00013 public: 00014 // startup code for the early startup phase 00015 // this code is executed before anything else, inparticular before 00016 // any I/O is initialized 00017 static void stage1(); 00018 00019 // startup code that runs after console I/O is initialized 00020 static void stage2(); 00021 }; 00022 00023 #endif // startup_h