diff --git a/repos/os/recipes/src/ahci_drv/content.mk b/repos/os/recipes/src/ahci_drv/content.mk new file mode 100644 index 0000000000..701ac3c7d0 --- /dev/null +++ b/repos/os/recipes/src/ahci_drv/content.mk @@ -0,0 +1,11 @@ +SRC_DIR = src/drivers/ahci +include $(GENODE_DIR)/repos/base/recipes/src/content.inc + +MIRROR_FROM_REP_DIR := lib/mk/spec/x86/ahci_platform.mk \ + lib/mk/spec/exynos5/ahci_platform.mk + +content: $(MIRROR_FROM_REP_DIR) + +$(MIRROR_FROM_REP_DIR): + $(mirror_from_rep_dir) + diff --git a/repos/os/recipes/src/ahci_drv/hash b/repos/os/recipes/src/ahci_drv/hash new file mode 100644 index 0000000000..91161f8808 --- /dev/null +++ b/repos/os/recipes/src/ahci_drv/hash @@ -0,0 +1 @@ +2017-06-14 7b29d54acf1c4823882c0786d2367694a93304b2 diff --git a/repos/os/recipes/src/ahci_drv/used_apis b/repos/os/recipes/src/ahci_drv/used_apis new file mode 100644 index 0000000000..c22f617174 --- /dev/null +++ b/repos/os/recipes/src/ahci_drv/used_apis @@ -0,0 +1,6 @@ +base +os +platform_session +block_session +report_session +timer_session diff --git a/repos/os/recipes/src/fs_rom/content.mk b/repos/os/recipes/src/fs_rom/content.mk new file mode 100644 index 0000000000..d2f8eedbda --- /dev/null +++ b/repos/os/recipes/src/fs_rom/content.mk @@ -0,0 +1,2 @@ +SRC_DIR = include/file_system src/server/fs_rom +include $(GENODE_DIR)/repos/base/recipes/src/content.inc diff --git a/repos/os/recipes/src/fs_rom/hash b/repos/os/recipes/src/fs_rom/hash new file mode 100644 index 0000000000..dfefed1c92 --- /dev/null +++ b/repos/os/recipes/src/fs_rom/hash @@ -0,0 +1 @@ +2017-06-15-a 5d27c492d680bccb258fe2fdb6486686647a5b24 diff --git a/repos/os/recipes/src/fs_rom/used_apis b/repos/os/recipes/src/fs_rom/used_apis new file mode 100644 index 0000000000..b462f992d5 --- /dev/null +++ b/repos/os/recipes/src/fs_rom/used_apis @@ -0,0 +1,3 @@ +base +os +file_system_session diff --git a/repos/os/recipes/src/ram_fs/content.mk b/repos/os/recipes/src/ram_fs/content.mk new file mode 100644 index 0000000000..74257c0c03 --- /dev/null +++ b/repos/os/recipes/src/ram_fs/content.mk @@ -0,0 +1,2 @@ +SRC_DIR = include/file_system include/ram_fs src/server/ram_fs +include $(GENODE_DIR)/repos/base/recipes/src/content.inc diff --git a/repos/os/recipes/src/ram_fs/hash b/repos/os/recipes/src/ram_fs/hash new file mode 100644 index 0000000000..14034f8048 --- /dev/null +++ b/repos/os/recipes/src/ram_fs/hash @@ -0,0 +1 @@ +2017-06-15-c 62fda993fbcfc481dce171f7f7d202b2d286b9d8 diff --git a/repos/os/recipes/src/ram_fs/used_apis b/repos/os/recipes/src/ram_fs/used_apis new file mode 100644 index 0000000000..b462f992d5 --- /dev/null +++ b/repos/os/recipes/src/ram_fs/used_apis @@ -0,0 +1,3 @@ +base +os +file_system_session diff --git a/repos/os/recipes/src/usb_block_drv/content.mk b/repos/os/recipes/src/usb_block_drv/content.mk new file mode 100644 index 0000000000..ebc3717201 --- /dev/null +++ b/repos/os/recipes/src/usb_block_drv/content.mk @@ -0,0 +1,2 @@ +SRC_DIR = src/drivers/usb_block +include $(GENODE_DIR)/repos/base/recipes/src/content.inc diff --git a/repos/os/recipes/src/usb_block_drv/hash b/repos/os/recipes/src/usb_block_drv/hash new file mode 100644 index 0000000000..b37ef5b63f --- /dev/null +++ b/repos/os/recipes/src/usb_block_drv/hash @@ -0,0 +1 @@ +2017-06-27-a db6ff9a82b9a91014b12a760175158671d552380 diff --git a/repos/os/recipes/src/usb_block_drv/used_apis b/repos/os/recipes/src/usb_block_drv/used_apis new file mode 100644 index 0000000000..114833c6eb --- /dev/null +++ b/repos/os/recipes/src/usb_block_drv/used_apis @@ -0,0 +1,6 @@ +base +os +block_session +report_session +usb_session +timer_session