diff --git a/repos/os/recipes/src/trace_policy/content.mk b/repos/os/recipes/src/trace_policy/content.mk
new file mode 100644
index 0000000000..c59342778b
--- /dev/null
+++ b/repos/os/recipes/src/trace_policy/content.mk
@@ -0,0 +1,2 @@
+SRC_DIR = src/lib/trace/policy include/trace
+include $(GENODE_DIR)/repos/base/recipes/src/content.inc
diff --git a/repos/os/recipes/src/trace_policy/hash b/repos/os/recipes/src/trace_policy/hash
new file mode 100644
index 0000000000..aa9850174c
--- /dev/null
+++ b/repos/os/recipes/src/trace_policy/hash
@@ -0,0 +1 @@
+2019-06-14 6f91f5ab8ee729d536975b98ca82d527881e6797
diff --git a/repos/os/recipes/src/trace_policy/used_apis b/repos/os/recipes/src/trace_policy/used_apis
new file mode 100644
index 0000000000..ec3bf565df
--- /dev/null
+++ b/repos/os/recipes/src/trace_policy/used_apis
@@ -0,0 +1,2 @@
+base
+os