From 43274fbf5f73d46bfc20620aa4e4c5bbaa180728 Mon Sep 17 00:00:00 2001 From: Johannes Schlatow Date: Wed, 20 Dec 2023 21:39:27 +0100 Subject: [PATCH] depot: add tcp_terminal recipe required for goa_testbed genodelabs/genode#5093 --- repos/gems/recipes/src/tcp_terminal/content.mk | 2 ++ repos/gems/recipes/src/tcp_terminal/hash | 1 + repos/gems/recipes/src/tcp_terminal/used_apis | 5 +++++ 3 files changed, 8 insertions(+) create mode 100644 repos/gems/recipes/src/tcp_terminal/content.mk create mode 100644 repos/gems/recipes/src/tcp_terminal/hash create mode 100644 repos/gems/recipes/src/tcp_terminal/used_apis diff --git a/repos/gems/recipes/src/tcp_terminal/content.mk b/repos/gems/recipes/src/tcp_terminal/content.mk new file mode 100644 index 0000000000..52bf9faaeb --- /dev/null +++ b/repos/gems/recipes/src/tcp_terminal/content.mk @@ -0,0 +1,2 @@ +SRC_DIR = src/server/tcp_terminal +include $(GENODE_DIR)/repos/base/recipes/src/content.inc diff --git a/repos/gems/recipes/src/tcp_terminal/hash b/repos/gems/recipes/src/tcp_terminal/hash new file mode 100644 index 0000000000..2ef317809e --- /dev/null +++ b/repos/gems/recipes/src/tcp_terminal/hash @@ -0,0 +1 @@ +2023-12-20 ab2f39a04906481b15832f609a828066459bac57 diff --git a/repos/gems/recipes/src/tcp_terminal/used_apis b/repos/gems/recipes/src/tcp_terminal/used_apis new file mode 100644 index 0000000000..c0735fd0ec --- /dev/null +++ b/repos/gems/recipes/src/tcp_terminal/used_apis @@ -0,0 +1,5 @@ +base +os +libc +vfs +terminal_session