1.1 --- a/server/src/main.cc Sat Jun 29 14:29:54 2019 +0200
1.2 +++ b/server/src/main.cc Sat Jun 29 16:45:10 2019 +0200
1.3 @@ -23,9 +23,7 @@
1.4
1.5 #include <l4/re/c/dataspace.h>
1.6 #include <l4/re/env.h>
1.7 -#include <l4/re/c/util/cap_alloc.h>
1.8 #include <l4/sys/err.h>
1.9 -#include <l4/sys/kernel_object.h>
1.10 #include <l4/sys/types.h>
1.11
1.12 #include <stdlib.h>
1.13 @@ -33,9 +31,9 @@
1.14 #include <string.h>
1.15 #include <unistd.h>
1.16
1.17 -#include <fsclient/fs_client.h>
1.18 #include <fsclient/fsdesc.h>
1.19 #include <fsclient/fs_ipc.h>
1.20 +#include <fsclient/ops.h>
1.21 #include <fsserver/server.h>
1.22 #include "fspath.h"
1.23