l4/pkg/dde/ddekit/src-c++/init.cc

   1 /**
   2  * The functions regarding DDE/BSD initialization are found here.
   3  *
   4  * \author Thomas Friebel <tf13@os.inf.tu-dresden.de>
   5  * \author Bjoern Doebel  <doebel@os.inf.tu-dresden.de>
   6  */
   7 #include <l4/dde/ddekit/memory.h>
   8 #include <l4/dde/ddekit/printf.h>
   9
  10 #include <l4/dde/dde.h>
  11 #include "internal.h"
  12
  13 void DDEKit::init(void)
  14 {
  15         DDEKit::init_mm();
  16         DDEKit::init_rm();
  17 }
  18