1.1 --- a/servers/host_file_server.cc Thu Apr 15 23:15:51 2021 +0200
1.2 +++ b/servers/host_file_server.cc Sat Apr 17 18:10:23 2021 +0200
1.3 @@ -19,17 +19,14 @@
1.4 * Boston, MA 02110-1301, USA
1.5 */
1.6
1.7 -#include <l4/re/env.h>
1.8 #include <l4/sys/err.h>
1.9
1.10 #include <ipc/thread.h>
1.11
1.12 #include <stdio.h>
1.13 -#include <string.h>
1.14 #include <stdlib.h>
1.15
1.16 #include <mem/memory_incremental.h>
1.17 -#include <mem/memory_utils.h>
1.18 #include <fsserver/page_queue_shared.h>
1.19 #include <fsserver/pages.h>
1.20 #include <fsserver/resource_server.h>