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