Fiasco: kip_init_i.h Source File

00001 // AUTOMATICALLY GENERATED -- DO NOT EDIT!         -*- c++ -*-
00002 
00003 #ifndef kip_init_i_h
00004 #define kip_init_i_h
00005 
00006 #include <string.h>
00007 #include "config.h"
00008 #include "cpu.h"
00009 #include "div32.h"
00010 #include "kip.h"
00011 #include "panic.h"
00012 
00013 #endif // kip_init_i_h