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 0000000000..6b94827cfb --- /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 0000000000..be95eb771f --- /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 0000000000..9333ff50a7 --- /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 0000000000..918bdda40c --- /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 0000000000..a69999ff53 --- /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 0000000000..da77de6c7f --- /dev/null +++ b/repos/os/recipes/src/top/used_apis @@ -0,0 +1,4 @@ +base +os +timer_session +report_session