update

[l4.git] / l4 / pkg / l4sys / include / __vm-svm.h

diff --git a/l4/pkg/l4sys/include/__vm-svm.h b/l4/pkg/l4sys/include/__vm-svm.h
index 5cb81da25bd05f5ec07aaa9efa6d49c9525b2692..de81b28e115ab429a1e04ca21ba2ff993bb813f5 100644 (file)
--- a/l4/pkg/l4sys/include/__vm-svm.h
+++ b/l4/pkg/l4sys/include/__vm-svm.h
@@ -23,8 +23,7 @@
  */
 #pragma once
 
-#include <l4/sys/ipc.h>
-#include <l4/sys/task.h>
+#include <l4/sys/types.h>
 
 /**
  * \defgroup l4_vm_svm_api VM API for SVM