1.1 --- a/servers/block_file_server.cc Thu Apr 15 23:15:51 2021 +0200
1.2 +++ b/servers/block_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>
2.1 --- a/servers/host_file_server.cc Thu Apr 15 23:15:51 2021 +0200
2.2 +++ b/servers/host_file_server.cc Sat Apr 17 18:10:23 2021 +0200
2.3 @@ -19,17 +19,14 @@
2.4 * Boston, MA 02110-1301, USA
2.5 */
2.6
2.7 -#include <l4/re/env.h>
2.8 #include <l4/sys/err.h>
2.9
2.10 #include <ipc/thread.h>
2.11
2.12 #include <stdio.h>
2.13 -#include <string.h>
2.14 #include <stdlib.h>
2.15
2.16 #include <mem/memory_incremental.h>
2.17 -#include <mem/memory_utils.h>
2.18 #include <fsserver/page_queue_shared.h>
2.19 #include <fsserver/pages.h>
2.20 #include <fsserver/resource_server.h>
3.1 --- a/servers/test_file_server.cc Thu Apr 15 23:15:51 2021 +0200
3.2 +++ b/servers/test_file_server.cc Sat Apr 17 18:10:23 2021 +0200
3.3 @@ -19,13 +19,11 @@
3.4 * Boston, MA 02110-1301, USA
3.5 */
3.6
3.7 -#include <l4/re/env.h>
3.8 #include <l4/sys/err.h>
3.9
3.10 #include <ipc/thread.h>
3.11
3.12 #include <stdio.h>
3.13 -#include <string.h>
3.14 #include <stdlib.h>
3.15
3.16 #include <mem/memory_incremental.h>