kip_i.h

Go to the documentation of this file.

// AUTOMATICALLY GENERATED -- DO NOT EDIT!         -*- c++ -*-

#ifndef kip_i_h
#define kip_i_h

#include "config.h"
#include "version.h"

#include "l4_types.h"
#include <cstdio>

#include <cstring>

#include "types.h"

#endif // kip_i_h

---