diff --git a/repos/os/recipes/pkg/ping/README b/repos/os/recipes/pkg/ping/README new file mode 100644 index 0000000000..2d48cbdc60 --- /dev/null +++ b/repos/os/recipes/pkg/ping/README @@ -0,0 +1,2 @@ + + Runtime for using the native Ping application diff --git a/repos/os/recipes/pkg/ping/archives b/repos/os/recipes/pkg/ping/archives new file mode 100755 index 0000000000..94403dee62 --- /dev/null +++ b/repos/os/recipes/pkg/ping/archives @@ -0,0 +1 @@ +_/src/ping diff --git a/repos/os/recipes/pkg/ping/hash b/repos/os/recipes/pkg/ping/hash new file mode 100644 index 0000000000..d5f31b9cb8 --- /dev/null +++ b/repos/os/recipes/pkg/ping/hash @@ -0,0 +1 @@ +2023-07-14-a c0eb6468253b744948d7509cec0fd353a1dc4111 diff --git a/repos/os/recipes/pkg/ping/runtime b/repos/os/recipes/pkg/ping/runtime new file mode 100755 index 0000000000..94ebbf621e --- /dev/null +++ b/repos/os/recipes/pkg/ping/runtime @@ -0,0 +1,12 @@ + + + + + + + + + + + + diff --git a/repos/os/recipes/src/ping/content.mk b/repos/os/recipes/src/ping/content.mk new file mode 100644 index 0000000000..d49be51040 --- /dev/null +++ b/repos/os/recipes/src/ping/content.mk @@ -0,0 +1,2 @@ +SRC_DIR = src/app/ping +include $(GENODE_DIR)/repos/base/recipes/src/content.inc diff --git a/repos/os/recipes/src/ping/hash b/repos/os/recipes/src/ping/hash new file mode 100644 index 0000000000..e5bb0e17d2 --- /dev/null +++ b/repos/os/recipes/src/ping/hash @@ -0,0 +1 @@ +2023-07-14-b e03632fe5ba1e5ba2374904230ae9b7e703d6b68 diff --git a/repos/os/recipes/src/ping/used_apis b/repos/os/recipes/src/ping/used_apis new file mode 100644 index 0000000000..7b044429d1 --- /dev/null +++ b/repos/os/recipes/src/ping/used_apis @@ -0,0 +1,4 @@ +base +os +net +nic_session