#ifndef __L4_L4_H__
#define __L4_L4_H__

#include <l4/x86-x0-32/compiler.h>
#include <l4/x86-x0-32/types.h>
#include <l4/x86-x0-32/kernel.h>
#include <l4/x86-x0-32/syscalls.h>
#include <l4/x86-x0-32/ipc.h>
#include <l4/x86-x0-32/kdebug.h>

#endif __L4_L4_H__

