From 9f700845241c16e6eb38c95f0244c50b8a279e6a Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Mon, 20 May 2019 11:31:33 +0200
Subject: [PATCH] base: add vm session API recipe

Issue #3111
---
 repos/base/recipes/api/vm_session/content.mk | 9 +++++++++
 repos/base/recipes/api/vm_session/hash       | 1 +
 2 files changed, 10 insertions(+)
 create mode 100644 repos/base/recipes/api/vm_session/content.mk
 create mode 100644 repos/base/recipes/api/vm_session/hash

diff --git a/repos/base/recipes/api/vm_session/content.mk b/repos/base/recipes/api/vm_session/content.mk
new file mode 100644
index 000000000..e85ca59fc
--- /dev/null
+++ b/repos/base/recipes/api/vm_session/content.mk
@@ -0,0 +1,9 @@
+MIRRORED_FROM_REP_DIR := include/vm_session
+
+content: $(MIRRORED_FROM_REP_DIR) LICENSE
+
+$(MIRRORED_FROM_REP_DIR):
+	$(mirror_from_rep_dir)
+
+LICENSE:
+	cp $(GENODE_DIR)/LICENSE $@
diff --git a/repos/base/recipes/api/vm_session/hash b/repos/base/recipes/api/vm_session/hash
new file mode 100644
index 000000000..174656330
--- /dev/null
+++ b/repos/base/recipes/api/vm_session/hash
@@ -0,0 +1 @@
+2019-05-20 2a0981ba2dbee8f45f581d26c63ca20649172946