/**********************************************************************
 * (c) 1999, 2000 by University of Karlsruhe
 *
 * filename: l4.h
 * 
 * $Log: l4.h,v $
 * Revision 1.1  2000/03/11 10:29:38  uhlig
 * include files for the Microsoft C compiler.
 * This allows to compile L4/x86 files with devstudio.
 * currently untested on a real box - only by looking at the generated asm.
 *
 * Revision 1.1  2000/02/15 11:20:40  uhlig
 * x86 cbindings
 *
 *
 */

#ifndef __L4_X86_L4_H__
#define __L4_X86_L4_H__

#include "types.h"
//#include "kdebug.h"
#include "syscalls.h"
#include "ipc.h"

#endif __L4_X86_L4_H__