diff --git a/repos/os/recipes/src/blk_cache/content.mk b/repos/os/recipes/src/blk_cache/content.mk new file mode 100644 index 000000000..f3d0550d0 --- /dev/null +++ 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 diff --git a/repos/os/recipes/src/blk_cache/hash b/repos/os/recipes/src/blk_cache/hash new file mode 100644 index 000000000..aaca14fda --- /dev/null +++ b/repos/os/recipes/src/blk_cache/hash @@ -0,0 +1 @@ +2017-08-18 25959e743ca7d20f4a55f0761df4eca95197569a diff --git a/repos/os/recipes/src/blk_cache/used_apis b/repos/os/recipes/src/blk_cache/used_apis new file mode 100644 index 000000000..1dc350cf5 --- /dev/null +++ b/repos/os/recipes/src/blk_cache/used_apis @@ -0,0 +1,3 @@ +base +os +block_session