From 9b69c93736d5b4c34d14ac95abc009c13a4a7b2e Mon Sep 17 00:00:00 2001 From: Christian Helmuth Date: Thu, 25 Feb 2016 10:39:26 +0100 Subject: [PATCH] doc: update README, components.txt --- doc/components.txt | 3 +++ repos/README | 8 +++++--- 2 files changed, 8 insertions(+), 3 deletions(-) diff --git a/doc/components.txt b/doc/components.txt index 24d57d5cde..f9562b27ce 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 0e207cb946..4c66709c5c 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.