ehmry/genode
ehmry/genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

mention PIT in x86 platform_driver README

Browse Source 
Issue #1578
This commit is contained in:
Alexander Boettcher 2016-12-16 09:14:35 +01:00 committed by Norman Feske
parent 31e0ee2c88
commit be5ae4dffa
1 changed files with 6 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
repos/os/src/drivers/platform/spec/x86/README
View File

@ -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>