From aa1082bed7e9a75500fd4e6aefbfec28592c702d Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Wed, 26 Feb 2014 14:54:23 +0100
Subject: [PATCH] dynamic_rom: Additional documentation

---
 os/src/server/dynamic_rom/README | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/os/src/server/dynamic_rom/README b/os/src/server/dynamic_rom/README
index b14be9dbcc..bf496f1880 100644
--- a/os/src/server/dynamic_rom/README
+++ b/os/src/server/dynamic_rom/README
@@ -2,3 +2,18 @@ ROM service that provides ROM modules that change during the lifetime of a ROM
 session according to a timeline. This main purpose of this service is the
 testing of programs that are able to respond to ROM module changes, for example
 configuration changes.
+
+The configuration of the dynamic ROM server contains a '<rom>' sub node per
+ROM module provided by the service. Each '<rom>' node hosts a 'name' attribute
+and contains a sequence of sub nodes that define the timeline of the ROM
+module. The possible sub nodes are:
+
+':<inline>:' The content of the '<inline>' node is assigned to the content
+  of the ROM module.
+
+':<sleep>:' Sleeps a number of milliseconds as specified via the 'milliseconds'
+  attribute.
+
+:'<empty>:' Removes the ROM module.
+
+At the end of the timeline, the timeline re-starts at the beginning.