/**
 * The functions regarding DDE/BSD initialization are found here.
 *
 * \author Thomas Friebel <tf13@os.inf.tu-dresden.de>
 */
#include "ddekit/thread.h"

void ddekit_init(void)
{
	ddekit_init_threads();
}