denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 12:32:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

depot: add trace policy api

Browse Source 
genodelabs/genode#4244
This commit is contained in:
Johannes Schlatow
2021-08-11 11:01:22 +02:00
committed by Christian Helmuth
parent 1416b2258f
commit ffbd26d63f
4 changed files with 9 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
repos/os/recipes/api/trace/content.mk Normal file
View File

@@ -0,0 +1,6 @@
MIRROR_FROM_REP_DIR := include/trace
content: $(MIRROR_FROM_REP_DIR)
$(MIRROR_FROM_REP_DIR):
$(mirror_from_rep_dir)

1
repos/os/recipes/api/trace/hash Normal file
View File

@@ -0,0 +1 @@
2021-08-11 88aa80360086172e3408bbf483bbe7c2ce2231ba

2
repos/os/recipes/src/trace_policy/content.mk
View File

@@ -1,2 +1,2 @@
SRC_DIR = src/lib/trace/policy include/trace SRC_DIR = src/lib/trace/policy
include $(GENODE_DIR)/repos/base/recipes/src/content.inc include $(GENODE_DIR)/repos/base/recipes/src/content.inc

1
repos/os/recipes/src/trace_policy/used_apis
View File

@@ -1,2 +1,3 @@
base base
os os
trace