/** * The functions regarding DDE/BSD initialization are found here. * * \author Thomas Friebel <tf13@os.inf.tu-dresden.de> */#include"ddekit/thread.h"voidddekit_init(void){externvoidlinux_kmem_init();externintlog_init();ddekit_init_threads();linux_kmem_init();log_init();}