From 8f9b5e9bd29d8a23404f512f03bebf7b2a7d663d Mon Sep 17 00:00:00 2001 From: Stefan Kalkowski Date: Mon, 25 Jul 2022 14:34:48 +0200 Subject: [PATCH] depot: src package for pci_decode Ref genodelabs/genode#4578 --- repos/os/recipes/src/pci_decode/content.mk | 6 ++++++ repos/os/recipes/src/pci_decode/hash | 1 + repos/os/recipes/src/pci_decode/used_apis | 3 +++ 3 files changed, 10 insertions(+) create mode 100644 repos/os/recipes/src/pci_decode/content.mk create mode 100644 repos/os/recipes/src/pci_decode/hash create mode 100644 repos/os/recipes/src/pci_decode/used_apis diff --git a/repos/os/recipes/src/pci_decode/content.mk b/repos/os/recipes/src/pci_decode/content.mk new file mode 100644 index 0000000000..18a31b2f3e --- /dev/null +++ b/repos/os/recipes/src/pci_decode/content.mk @@ -0,0 +1,6 @@ +SRC_DIR = src/app/pci_decode +include $(GENODE_DIR)/repos/base/recipes/src/content.inc + +content: $(GENODE_DIR)/repos/os/include/pci + mkdir -p include + cp -r $< include/ diff --git a/repos/os/recipes/src/pci_decode/hash b/repos/os/recipes/src/pci_decode/hash new file mode 100644 index 0000000000..77debe6239 --- /dev/null +++ b/repos/os/recipes/src/pci_decode/hash @@ -0,0 +1 @@ +2022-05-24-d 7e08ac5d61c5a116395a114a527e155adabd391d diff --git a/repos/os/recipes/src/pci_decode/used_apis b/repos/os/recipes/src/pci_decode/used_apis new file mode 100644 index 0000000000..69a94c6d26 --- /dev/null +++ b/repos/os/recipes/src/pci_decode/used_apis @@ -0,0 +1,3 @@ +base +os +report_session