From be5ae4dffaa559696bdffcf44cdc5e2109eb468e Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Fri, 16 Dec 2016 09:14:35 +0100
Subject: [PATCH] mention PIT in x86 platform_driver README

Issue #1578
---
 repos/os/src/drivers/platform/spec/x86/README | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/repos/os/src/drivers/platform/spec/x86/README b/repos/os/src/drivers/platform/spec/x86/README
index 40cb9442cc..7f4fd53af6 100644
--- a/repos/os/src/drivers/platform/spec/x86/README
+++ b/repos/os/src/drivers/platform/spec/x86/README
@@ -51,7 +51,7 @@ Non PCI devices, as the PS2 controller are named by a "device" node in the polic
 !<start name="platform_drv">
 ! <resource name="RAM" quantum="8M" constrain_phys="yes"/>
 ! <config>
-!  <policy label_prefix="ps_drv">
+!  <policy label_prefix="ps2_drv">
 !   <device name="PS2/>
 !  </policy>
 ! </config>
@@ -166,13 +166,16 @@ ISABRIDGE 0x6 0x01 0x0
 Supported non PCI devices
 -------------------------
 
-The driver provides for the PS2 controller the IO_PORT and IRQ resources.
+The driver provides for the PS2 and PIT device the IO_PORT and IRQ resources.
 
 !<start name="platform_drv">
 ! <resource name="RAM" quantum="8M" constrain_phys="yes"/>
 ! <config>
-!  <policy label_prefix="ps_drv">
+!  <policy label_prefix="ps2_drv">
 !   <dev name="PS2/>
 !  </policy>
+!  <policy label_prefix="pit_timer_drv">
+!   <dev name="PIT/>
+!  </policy>
 ! </config>
 !</start>