From 47b7ce5149f3d8abcb67679ef853076cc069a1cb Mon Sep 17 00:00:00 2001 From: Norman Feske Date: Fri, 8 Sep 2017 14:20:19 +0200 Subject: [PATCH] depot: recipe for rtc_drv,top --- repos/os/recipes/src/rtc_drv/content.mk | 2 ++ repos/os/recipes/src/rtc_drv/hash | 1 + repos/os/recipes/src/rtc_drv/used_apis | 3 +++ repos/os/recipes/src/top/content.mk | 2 ++ repos/os/recipes/src/top/hash | 1 + repos/os/recipes/src/top/used_apis | 4 ++++ 6 files changed, 13 insertions(+) create mode 100644 repos/os/recipes/src/rtc_drv/content.mk create mode 100644 repos/os/recipes/src/rtc_drv/hash create mode 100644 repos/os/recipes/src/rtc_drv/used_apis create mode 100644 repos/os/recipes/src/top/content.mk create mode 100644 repos/os/recipes/src/top/hash create mode 100644 repos/os/recipes/src/top/used_apis diff --git a/repos/os/recipes/src/rtc_drv/content.mk b/repos/os/recipes/src/rtc_drv/content.mk new file mode 100644 index 000000000..6b94827cf --- /dev/null +++ b/repos/os/recipes/src/rtc_drv/content.mk @@ -0,0 +1,2 @@ +SRC_DIR = src/drivers/rtc +include $(GENODE_DIR)/repos/base/recipes/src/content.inc diff --git a/repos/os/recipes/src/rtc_drv/hash b/repos/os/recipes/src/rtc_drv/hash new file mode 100644 index 000000000..be95eb771 --- /dev/null +++ b/repos/os/recipes/src/rtc_drv/hash @@ -0,0 +1 @@ +2017-09-08 4358b605712f0e96d6d0bc66a4e2e071a1e5cb19 diff --git a/repos/os/recipes/src/rtc_drv/used_apis b/repos/os/recipes/src/rtc_drv/used_apis new file mode 100644 index 000000000..9333ff50a --- /dev/null +++ b/repos/os/recipes/src/rtc_drv/used_apis @@ -0,0 +1,3 @@ +base +os +rtc_session diff --git a/repos/os/recipes/src/top/content.mk b/repos/os/recipes/src/top/content.mk new file mode 100644 index 000000000..918bdda40 --- /dev/null +++ b/repos/os/recipes/src/top/content.mk @@ -0,0 +1,2 @@ +SRC_DIR = src/app/top +include $(GENODE_DIR)/repos/base/recipes/src/content.inc diff --git a/repos/os/recipes/src/top/hash b/repos/os/recipes/src/top/hash new file mode 100644 index 000000000..a69999ff5 --- /dev/null +++ b/repos/os/recipes/src/top/hash @@ -0,0 +1 @@ +2017-09-08-c 57957440cbe6c78449ab508bb12bf5e6ea86c420 diff --git a/repos/os/recipes/src/top/used_apis b/repos/os/recipes/src/top/used_apis new file mode 100644 index 000000000..da77de6c7 --- /dev/null +++ b/repos/os/recipes/src/top/used_apis @@ -0,0 +1,4 @@ +base +os +timer_session +report_session