#ifndef l4_ddekit_h
#define l4_ddekit_h

/* FIXME if this is ddekit.h, it should be moved into dde/ddekit/include/ddekit.h (also
 * all headers under include/ddekit) */

/**
 * Initialize the DDE. Must be called before any other DDE function.
 *
 * FIXME revisit this one
 */
void ddekit_init(void);

#endif