From 2da94bb702c6b0f70732b485f41dfbacedf2231b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Josef=20S=C3=B6ntgen?= Date: Thu, 28 Mar 2024 13:21:45 +0100 Subject: [PATCH] os: add record_rom pkg recipe Issue genodelabs/genode#5167. --- repos/os/recipes/pkg/record_rom/README | 2 ++ repos/os/recipes/pkg/record_rom/archives | 1 + repos/os/recipes/pkg/record_rom/hash | 1 + repos/os/recipes/pkg/record_rom/runtime | 16 ++++++++++++++++ 4 files changed, 20 insertions(+) create mode 100644 repos/os/recipes/pkg/record_rom/README create mode 100644 repos/os/recipes/pkg/record_rom/archives create mode 100644 repos/os/recipes/pkg/record_rom/hash create mode 100644 repos/os/recipes/pkg/record_rom/runtime diff --git a/repos/os/recipes/pkg/record_rom/README b/repos/os/recipes/pkg/record_rom/README new file mode 100644 index 0000000000..35e2d3310e --- /dev/null +++ b/repos/os/recipes/pkg/record_rom/README @@ -0,0 +1,2 @@ + + Runtime for deploying the record_rom component from the depot diff --git a/repos/os/recipes/pkg/record_rom/archives b/repos/os/recipes/pkg/record_rom/archives new file mode 100644 index 0000000000..14a686a033 --- /dev/null +++ b/repos/os/recipes/pkg/record_rom/archives @@ -0,0 +1 @@ +_/src/record_rom diff --git a/repos/os/recipes/pkg/record_rom/hash b/repos/os/recipes/pkg/record_rom/hash new file mode 100644 index 0000000000..2d457ddcec --- /dev/null +++ b/repos/os/recipes/pkg/record_rom/hash @@ -0,0 +1 @@ +2024-03-27 cd29b5fde22958bad443d8ed6f2f98873f25a15a diff --git a/repos/os/recipes/pkg/record_rom/runtime b/repos/os/recipes/pkg/record_rom/runtime new file mode 100644 index 0000000000..857c14fc36 --- /dev/null +++ b/repos/os/recipes/pkg/record_rom/runtime @@ -0,0 +1,16 @@ + + + + + + + + + + + + + + + +