# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1561819510 -7200
# Node ID c7f69acd746ab5e28fe825187144db26ee2794d4
# Parent  3e645286d1cdd22bc3008e1579e566e897422085
Moved IPC opcodes into a separate header file.

diff -r 3e645286d1cd -r c7f69acd746a server/src/main.cc
--- a/server/src/main.cc	Sat Jun 29 14:29:54 2019 +0200
+++ b/server/src/main.cc	Sat Jun 29 16:45:10 2019 +0200
@@ -23,9 +23,7 @@
 
 #include <l4/re/c/dataspace.h>
 #include <l4/re/env.h>
-#include <l4/re/c/util/cap_alloc.h>
 #include <l4/sys/err.h>
-#include <l4/sys/kernel_object.h>
 #include <l4/sys/types.h>
 
 #include <stdlib.h>
@@ -33,9 +31,9 @@
 #include <string.h>
 #include <unistd.h>
 
-#include <fsclient/fs_client.h>
 #include <fsclient/fsdesc.h>
 #include <fsclient/fs_ipc.h>
+#include <fsclient/ops.h>
 #include <fsserver/server.h>
 #include "fspath.h"