From 59aebe1c7a3b2ae73edd9d60fdd653291e6a259f Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonyg@leastfixedpoint.com>
Date: Fri, 14 Jan 2022 15:23:14 +0100
Subject: [PATCH] More config files

---
 .../files/etc/syndicate/interface-monitor.pr  | 20 +++++++++++++++++++
 .../files/etc/syndicate/machine-dataspace.pr  |  2 ++
 2 files changed, 22 insertions(+)
 create mode 100644 packaging/packages/synit-config/files/etc/syndicate/interface-monitor.pr
 create mode 100644 packaging/packages/synit-config/files/etc/syndicate/machine-dataspace.pr

diff --git a/packaging/packages/synit-config/files/etc/syndicate/interface-monitor.pr b/packaging/packages/synit-config/files/etc/syndicate/interface-monitor.pr
new file mode 100644
index 0000000..1cfaeb3
--- /dev/null
+++ b/packaging/packages/synit-config/files/etc/syndicate/interface-monitor.pr
@@ -0,0 +1,20 @@
+; <depends-on <milestone network> <service-state <daemon interface-monitor> ready>>
+<require-service <daemon interface-monitor>>
+
+<daemon interface-monitor {
+  argv: "/usr/lib/synit/interface-monitor"
+  protocol: application/syndicate
+}>
+
+? <machine-dataspace ?machine> [
+  ? <service-object <daemon interface-monitor> ?cap> [
+    $cap {
+      machine: $machine
+    }
+  ]
+
+  $machine ? ?r [
+    $log ! <log "-" { line: "machine" |+++|: $r }>
+    ?- $log ! <log "-" { line: "machine" |---|: $r }>
+  ]
+]
diff --git a/packaging/packages/synit-config/files/etc/syndicate/machine-dataspace.pr b/packaging/packages/synit-config/files/etc/syndicate/machine-dataspace.pr
new file mode 100644
index 0000000..f08ecc7
--- /dev/null
+++ b/packaging/packages/synit-config/files/etc/syndicate/machine-dataspace.pr
@@ -0,0 +1,2 @@
+let ?ds = dataspace
+<machine-dataspace $ds>