depot recipe for blk_cache

Ref #2460
2017-08-18 09:16:52 -05:00
parent ead59325c7
commit 90eaad6cc2
3 changed files with 6 additions and 0 deletions
--- a/repos/os/recipes/src/blk_cache/content.mk
+++ b/repos/os/recipes/src/blk_cache/content.mk
@@ -0,0 +1,2 @@
+SRC_DIR = src/server/blk_cache
+include $(GENODE_DIR)/repos/base/recipes/src/content.inc
--- a/repos/os/recipes/src/blk_cache/hash
+++ b/repos/os/recipes/src/blk_cache/hash
@@ -0,0 +1 @@
+2017-08-18 25959e743ca7d20f4a55f0761df4eca95197569a
--- a/repos/os/recipes/src/blk_cache/used_apis
+++ b/repos/os/recipes/src/blk_cache/used_apis
@@ -0,0 +1,3 @@
+base
+os
+block_session
				`@@ -0,0 +1 @@`
				`2017-08-18 25959e743ca7d20f4a55f0761df4eca95197569a`