From 89a31edc398cbc8de8952dd575f64009cf70991b Mon Sep 17 00:00:00 2001
From: Emery Hemingway <ehmry@posteo.net>
Date: Thu, 19 Mar 2020 00:22:16 +0530
Subject: [PATCH] README: add render-init tip

I keep forgetting this one.
---
 README.md | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/README.md b/README.md
index c59b6c2..e94e456 100644
--- a/README.md
+++ b/README.md
@@ -195,6 +195,12 @@ nix build .#checks.x86_64-linux-x86_64-genode.nova-solo5-net.sotest
 
 # Tips and tricks
 
+## Render a Dhall Init configuration to XML
+
+```shell
+echo ./config.dhall | nix app genodepkgs#render-init > config.xml
+```
+
 ## Build a Genode Labs Make target
 
 ```shell