diff --git a/README b/README
index f27f12236f..c68e549481 100644
--- a/README
+++ b/README
@@ -13,8 +13,8 @@ the project's official website:
   [https://genode.org/documentation/general-overview]
 
 The current implementation can be compiled for 8 different kernels: Linux,
-L4ka::Pistachio, L4/Fiasco, OKL4, NOVA, Fiasco.OC, seL4, and a custom
-kernel for running Genode directly on ARM-based hardware. Whereas the Linux
+L4ka::Pistachio, L4/Fiasco, OKL4, NOVA, Fiasco.OC, seL4, and a custom "hw"
+microkernel for running Genode without a 3rd-party kernel. Whereas the Linux
 version serves us as development vehicle and enables us to rapidly develop the
 generic parts of the system, the actual target platforms of the framework are
 microkernels. There is no "perfect" microkernel - and neither should there be
@@ -85,6 +85,17 @@ The source tree is composed of the following subdirectories:
   keys and download locations of software providers.
 
 
+Additional hardware support
+###########################
+
+The framework supports a variety of hardware platforms such as different ARM
+SoC families via supplemental repositories.
+
+:Repositories maintained by Genode Labs:
+
+  [https://github.com/orgs/genodelabs/repositories]
+
+
 Additional community-maintained components
 ##########################################