From 5c4f0e13401a09e6d69789d65aec7c798df2aa28 Mon Sep 17 00:00:00 2001
From: Emery Hemingway <emery@vfemail.net>
Date: Thu, 31 Aug 2017 11:06:24 -0500
Subject: [PATCH] depot: recipe for server/terminal

Ref #2446
---
 repos/gems/recipes/src/terminal/content.mk | 8 ++++++++
 repos/gems/recipes/src/terminal/hash       | 1 +
 repos/gems/recipes/src/terminal/used_apis  | 7 +++++++
 3 files changed, 16 insertions(+)
 create mode 100644 repos/gems/recipes/src/terminal/content.mk
 create mode 100644 repos/gems/recipes/src/terminal/hash
 create mode 100644 repos/gems/recipes/src/terminal/used_apis

diff --git a/repos/gems/recipes/src/terminal/content.mk b/repos/gems/recipes/src/terminal/content.mk
new file mode 100644
index 000000000..d40b9a772
--- /dev/null
+++ b/repos/gems/recipes/src/terminal/content.mk
@@ -0,0 +1,8 @@
+SRC_DIR := src/server/terminal
+include $(GENODE_DIR)/repos/base/recipes/src/content.inc
+
+content: include/terminal
+
+include/terminal:
+	mkdir -p $@
+	cp $(GENODE_DIR)/repos/os/include/terminal/* $@
diff --git a/repos/gems/recipes/src/terminal/hash b/repos/gems/recipes/src/terminal/hash
new file mode 100644
index 000000000..1a983ba13
--- /dev/null
+++ b/repos/gems/recipes/src/terminal/hash
@@ -0,0 +1 @@
+2017-08-31 1c969353562500e6762fc61dc98eb7ed3ae9b377
diff --git a/repos/gems/recipes/src/terminal/used_apis b/repos/gems/recipes/src/terminal/used_apis
new file mode 100644
index 000000000..9a1a6931e
--- /dev/null
+++ b/repos/gems/recipes/src/terminal/used_apis
@@ -0,0 +1,7 @@
+base
+os
+framebuffer_session
+input_session
+nitpicker_gfx
+terminal_session
+timer_session