From 530144b04020536e2cba6606d1f628426947fb8f Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Tue, 8 Oct 2019 16:04:03 +0200
Subject: [PATCH] doc/challenges.txt: add Puppet topic

---
 doc/challenges.txt | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

diff --git a/doc/challenges.txt b/doc/challenges.txt
index 62f12d23a..64cef6313 100644
--- a/doc/challenges.txt
+++ b/doc/challenges.txt
@@ -391,6 +391,22 @@ Platforms
   laptops.
 
 
+System management
+#################
+
+:Remote management of Sculpt OS via Puppet:
+
+  [https://en.wikipedia.org/wiki/Puppet_(company)#Puppet - Puppet] is a
+  software-configuration management tool for administering a large amount
+  of machines from one central place. Genode's
+  [https://genode.org/download/sculpt - Sculpt OS] lends itself to such
+  an approach of remote configuration management by the means of the
+  "config" file system (for configuring components and deployments) and
+  the "report" file system (for obtaining the runtime state of components).
+  The project would explore the application of the Puppet approach and tools
+  to Sculpt OS.
+
+
 Optimizations
 #############