I keep forgetting this one.
@ -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