diff --git a/doc/components.txt b/doc/components.txt
index 24d57d5cd..f9562b27c 100644
--- a/doc/components.txt
+++ b/doc/components.txt
@@ -225,6 +225,9 @@ All block drivers implement the block-session interface defined at
 :'os/src/drivers/ahci':
   Driver for SATA disks and CD-ROMs on x86 PCs.
 
+:'os/src/drivers/usb_block':
+  USB Mass Storage Bulk-Only driver using the USB session interface.
+
 
 Network interface drivers
 =========================
diff --git a/repos/README b/repos/README
index 0e207cb94..4c66709c5 100644
--- a/repos/README
+++ b/repos/README
@@ -40,10 +40,12 @@ but build upon of each other:
     See [http://genode.org/documentation/platforms/foc]
 
   :'hw':
-    The hw platform allows the execution of Genode on bare ARM hardware
+    The hw platform allows the execution of Genode on bare ARM and x86 hardware
     without the need for a separate kernel. The kernel functionality is
-    included in core.
-    See [http://genode.org/documentation/platforms/hw]
+    included in core except in the special case of the Muen separation
+    kernel.
+    See [http://genode.org/documentation/platforms/hw] and
+    [http://genode.org/documentation/platforms/muen]
 
   :'okl4':
     OKL4 kernel (x86_32 and ARM) developed at Open-Kernel-Labs.