doc: update of doc/components.txt

doc/components.txt

@@ -73,8 +73,14 @@ Platform devices
   Implements the PCI-session interface using the PCI controller as found on
   x86 PC hardware. Using this interface, a client can probe for a particular
   device and request information about physical device resources (using the
-  'pci_device' interface). These information are subsequently used to request
+  'pci_device' interface). I/O resources for MMIO regions, I/O ports, and
-  respective IO_MEM, IRQ, and IO_PORT sessions at core.
+  interrupts can be requested by the provided PCI device abstraction.
+
+:'os/src/drivers/acpi':
+  On x86 platforms that use the APIC (namely Fiasco.OC, NOVA, and hw_x86_64)
+  this simple ACPI parser traverses the ACPI tables and updates interrupt line
+  information of PCI devices within the PCI config space. It uses the pci_drv as
+  a utility started as a child and exports its interface.
 
 
 UART devices
@@ -167,7 +173,6 @@ provided by the kernel, or a pseudo time source (busy):
 
 :'nova':      NOVA kernel semaphores as time source
 :'codezero':  busy time source
-:'okl4_arm':  busy time source
 :'okl4_x86':  PIT as time source
 :'foc':       IPC timeout as time source
 :'fiasco':    IPC timeout as time source
@@ -184,9 +189,10 @@ All audio-output drivers implement the audio session interface defined at
 :'os/src/drivers/audio_out/linux':
   Uses ALSA as back-end on the Linux base platform.
 
-:'dde_oss/src/drivers/oss':
+:'dde_bsd/src/drivers/audio_out':
-  Sound drivers for the most common PC sound hardware, ported from the
+  Sound drivers ported from OpenBSD. Currently, the repository
-  Open Sound System project.
+  includes support for Intel HD Audio as well as for Ensoniq AudioPCI
+  (ES1370) compatible sound cards.
 
 
 Block drivers
@@ -195,9 +201,6 @@ Block drivers
 All block drivers implement the block-session interface defined at
 'os/include/block_session/'.
 
-:'os/src/drivers/atapi':
-  Driver for ATAPI CD-ROM devices on x86 PCs.
-
 :'os/src/drivers/sd_card/pl180':
   Driver for SD-cards connected via the PL180 device as found on the PBX-A9
   platform.
@@ -208,13 +211,20 @@ All block drivers implement the block-session interface defined at
 :'os/src/drivers/sd_card/exynos5':
   Driver for SD-cards and eMMC connected to Exynos-5-based platforms.
 
+:'os/src/drivers/sd_card/imx53':
+  Driver for SD-cards connected to the Freescale i.MX53 platform like the
+  Quick Start Board or the USB armory device.
+
+:'os/src/drivers/sd_card/rpi':
+  Driver for SD-cards connected to the Raspberry Pi.
+
 :'dde_linux/src/drivers/usb':
   USB driver that makes USB storage devices available as block sessions.
   For an example of using this driver, refer to the run script at
   'dde_linux/run/usb_storage'.
 
 :'os/src/drivers/ahci':
-  Driver for SATA disks on x86 PCs.
+  Driver for SATA disks and CD-ROMs on x86 PCs.
 
 
 Network interface drivers
@@ -235,6 +245,10 @@ defined at 'os/include/nic_session'.
   Device drivers ported from the iPXE project. Supported devices are Intel
   E1000 and pcnet32.
 
+:'dde_linux/src/drivers/wifi':
+  The wifi_drv component is a port of the Linux mac802.11 stack, including the
+  iwlwifi driver. It enables the use of Intel Wireless 6xxx and 7xxx cards.
+
 :'dde_linux/src/drivers/usb':
   For the OMAP4 platform, the USB driver contains the networking driver.
 
@@ -317,10 +331,6 @@ Separate components:
   Provides each file contained in a tar file obtained via Genode's ROM session
   as separate ROM session.
 
-:'os/src/server/fs_rom':
-  Provides files stored in a file system as individual ROM sessions. Please
-  refer to 'os/src/server/fs_rom' for more information.
-
 :'os/src/server/iso9660':
   Provides each file of an ISO9660 file system accessed via a block session as
   separate ROM session.
@@ -391,6 +401,7 @@ Separate components:
   A ROM service that translates the 'File_system' session interface to the
   'ROM' session' interface. Each request for a ROM file is handled by looking
   up an equally named file on the file system.
+  Please refer to 'os/src/server/fs_rom' for more information.
 
 :'os/src/server/dynamic_rom':
   A simple ROM service that provides ROM modules that change in time according