diff options
author | Damien Zammit <damien@zamaudio.com> | 2020-03-29 22:41:22 +1100 |
---|---|---|
committer | Damien Zammit <damien@zamaudio.com> | 2020-03-29 23:06:15 +1100 |
commit | 092143d506502ac81d6d9c518ac420c9bb807aa6 (patch) | |
tree | 8524a2eb6fee99cc975d4d5583512be773f91c22 /libmachdevdde/ds_pre_server.c | |
parent | 90636893c91c2aa5a01de7eb7e10bd7df3b1e93f (diff) |
libmachdevdde: Add dde machdev lib (net)rumpdisk-dde
Diffstat (limited to 'libmachdevdde/ds_pre_server.c')
-rw-r--r-- | libmachdevdde/ds_pre_server.c | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/libmachdevdde/ds_pre_server.c b/libmachdevdde/ds_pre_server.c new file mode 100644 index 00000000..cdf190b6 --- /dev/null +++ b/libmachdevdde/ds_pre_server.c @@ -0,0 +1,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 ()); +} |