DDE - The L4 Device Driver Environment: dde.h Source File

00001 #ifndef l4_ddekit_h
00002 #define l4_ddekit_h
00003 
00004 /* FIXME if this is ddekit.h, it should be moved into dde/ddekit/include/ddekit.h (also
00005  * all headers under include/ddekit) */
00006 
00007 /**
00008  * Initialize the DDE. Must be called before any other DDE function.
00009  *
00010  * FIXME revisit this one
00011  */
00012 void ddekit_init(void);
00013 
00014 #endif