From 42a46b75f176952a140c4cd28364448066a3c132 Mon Sep 17 00:00:00 2001 From: Stefan Kalkowski Date: Thu, 15 Sep 2022 15:10:29 +0200 Subject: [PATCH] depot: add recipe for pc devices rom Ref genodelabs/genode#4578 --- repos/pc/recipes/raw/pc-devices/content.mk | 4 ++++ repos/pc/recipes/raw/pc-devices/hash | 1 + 2 files changed, 5 insertions(+) create mode 100644 repos/pc/recipes/raw/pc-devices/content.mk create mode 100644 repos/pc/recipes/raw/pc-devices/hash diff --git a/repos/pc/recipes/raw/pc-devices/content.mk b/repos/pc/recipes/raw/pc-devices/content.mk new file mode 100644 index 0000000000..b9b79df7c4 --- /dev/null +++ b/repos/pc/recipes/raw/pc-devices/content.mk @@ -0,0 +1,4 @@ +content: devices + +devices: + cp $(GENODE_DIR)/repos/base/board/pc/$@ $@ diff --git a/repos/pc/recipes/raw/pc-devices/hash b/repos/pc/recipes/raw/pc-devices/hash new file mode 100644 index 0000000000..b744230dec --- /dev/null +++ b/repos/pc/recipes/raw/pc-devices/hash @@ -0,0 +1 @@ +2022-09-15 184a930a9bf6fa8dc67582adbd3f940bf815a767