From 7499379862d9090597c6a8767c909cad21c6149b Mon Sep 17 00:00:00 2001 From: Stefan Kalkowski Date: Mon, 18 Dec 2017 14:50:39 +0100 Subject: [PATCH] depot: recipe for part_blk --- repos/os/recipes/src/part_blk/content.mk | 3 +++ repos/os/recipes/src/part_blk/hash | 1 + repos/os/recipes/src/part_blk/used_apis | 4 ++++ 3 files changed, 8 insertions(+) create mode 100644 repos/os/recipes/src/part_blk/content.mk create mode 100644 repos/os/recipes/src/part_blk/hash create mode 100644 repos/os/recipes/src/part_blk/used_apis diff --git a/repos/os/recipes/src/part_blk/content.mk b/repos/os/recipes/src/part_blk/content.mk new file mode 100644 index 0000000000..9af9aabfcd --- /dev/null +++ b/repos/os/recipes/src/part_blk/content.mk @@ -0,0 +1,3 @@ +SRC_DIR = src/server/part_blk + +include $(GENODE_DIR)/repos/base/recipes/src/content.inc diff --git a/repos/os/recipes/src/part_blk/hash b/repos/os/recipes/src/part_blk/hash new file mode 100644 index 0000000000..af0e833221 --- /dev/null +++ b/repos/os/recipes/src/part_blk/hash @@ -0,0 +1 @@ +2017-12-18 cf770fb5f4ea7d191f7337f2836c00654b619e2b diff --git a/repos/os/recipes/src/part_blk/used_apis b/repos/os/recipes/src/part_blk/used_apis new file mode 100644 index 0000000000..c13f0f1908 --- /dev/null +++ b/repos/os/recipes/src/part_blk/used_apis @@ -0,0 +1,4 @@ +base +os +block_session +report_session