From cd0e8fd6370919662ee7698152be1e357f084270 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Wed, 29 Aug 2018 13:46:28 +0200
Subject: [PATCH] doc: mention dde_zircon repository to repos/README

---
 repos/README | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/repos/README b/repos/README
index 860dc5759..62b4a6231 100644
--- a/repos/README
+++ b/repos/README
@@ -111,6 +111,11 @@ but build upon of each other:
   The repository contains a server that uses a rump kernel to provide
   various NetBSD file systems to Genode.
 
+:'dde_zircon':
+
+  This repository contains the emulation environment for drivers
+  ported from the Zircon kernel.
+
 :'ports':
 
   This source-code repository hosts ports of 3rd-party applications to