diff --git a/repos/os/recipes/src/ram_blk/content.mk b/repos/os/recipes/src/ram_blk/content.mk new file mode 100644 index 0000000000..1de63664e1 --- /dev/null +++ b/repos/os/recipes/src/ram_blk/content.mk @@ -0,0 +1,2 @@ +SRC_DIR = src/server/ram_blk +include $(GENODE_DIR)/repos/base/recipes/src/content.inc diff --git a/repos/os/recipes/src/ram_blk/hash b/repos/os/recipes/src/ram_blk/hash new file mode 100644 index 0000000000..573541ac97 --- /dev/null +++ b/repos/os/recipes/src/ram_blk/hash @@ -0,0 +1 @@ +0 diff --git a/repos/os/recipes/src/ram_blk/used_apis b/repos/os/recipes/src/ram_blk/used_apis new file mode 100644 index 0000000000..1dc350cf5c --- /dev/null +++ b/repos/os/recipes/src/ram_blk/used_apis @@ -0,0 +1,3 @@ +base +os +block_session diff --git a/repos/os/recipes/src/vfs/content.mk b/repos/os/recipes/src/vfs/content.mk new file mode 100644 index 0000000000..a657f99e45 --- /dev/null +++ b/repos/os/recipes/src/vfs/content.mk @@ -0,0 +1,2 @@ +SRC_DIR = include/file_system src/server/vfs +include $(GENODE_DIR)/repos/base/recipes/src/content.inc diff --git a/repos/os/recipes/src/vfs/hash b/repos/os/recipes/src/vfs/hash new file mode 100644 index 0000000000..06c7635116 --- /dev/null +++ b/repos/os/recipes/src/vfs/hash @@ -0,0 +1 @@ +2017-07-05 56deff68d9758621f827e1d9a6db33f5f02ced15 diff --git a/repos/os/recipes/src/vfs/used_apis b/repos/os/recipes/src/vfs/used_apis new file mode 100644 index 0000000000..ab1887fbe1 --- /dev/null +++ b/repos/os/recipes/src/vfs/used_apis @@ -0,0 +1,8 @@ +base +os +block_session +file_system_session +report_session +rtc_session +terminal_session +vfs