/* file generated by oo2c -- do not edit */
#ifndef _MODULE_Kernel_
#define _MODULE_Kernel_

typedef unsigned char* Kernel__Name;
typedef struct Kernel__ModuleDesc {
  struct Kernel__ModuleDesc* next;
  Kernel__Name name;
  int key;
  void* tdescs;
} Kernel__ModuleDesc;
typedef struct Kernel__ModuleDesc* Kernel__Module;
extern Kernel__Module _program_modules;
extern struct _TD Kernel__ModuleDesc_td;
extern void Kernel_init(void);

#endif
