libmachdevdde/ds_pre_server.c


1
2
3
4
5
6
7
8

#include "libmachdev/machdev.h"

void ds_pre_server(void)
{
  /* This thread calls Linux functions,
   * so I need to make it known to the Linux environment. */
  l4dde26_process_from_ddekit (ddekit_thread_myself ());
}