denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 12:32:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

platform_drv: add USB4 pci class, update README

Browse Source 
Ref genodelabs/genode#4578
This commit is contained in:
Stefan Kalkowski
2022-09-22 09:47:12 +02:00
committed by Christian Helmuth
parent ec6f89111e
commit afa0bed5fc
2 changed files with 18 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

17
repos/os/src/drivers/platform/README
View File

@@ -79,6 +79,23 @@ pair of identifiers inside a pci sub-node:
! <pci vendor_id="0x1987" device_id="0x5007"/> ! <pci vendor_id="0x1987" device_id="0x5007"/>
! </policy> ! </policy>
The following class names are supported which correspond to the
specified PCI base class (B), sub class (S) and programming interface
(P) combinations. ('-' matches all devices in the category)
alias B S P
AHCI 01 06 -
AUDIO 04 01 -
ETHERNET 02 00 -
HDAUDIO 04 03 -
ISABRIDGE 06 01 -
NVME 01 08 02
USB 0c 03 00 10 20 30
USB4 0c 03 40
VGA 03 00 00
WIFI 02 80 -
Report facilities Report facilities
----------------- -----------------

1
repos/os/src/drivers/platform/pci.cc
View File

@@ -136,6 +136,7 @@ pci_class_code_alias(uint32_t class_code)
{ "USB" , 0x0c, 0x03, 0x10 }, /* OHCI */ { "USB" , 0x0c, 0x03, 0x10 }, /* OHCI */
{ "USB" , 0x0c, 0x03, 0x20 }, /* EHCI */ { "USB" , 0x0c, 0x03, 0x20 }, /* EHCI */
{ "USB" , 0x0c, 0x03, 0x30 }, /* XHCI */ { "USB" , 0x0c, 0x03, 0x30 }, /* XHCI */
{ "USB4" , 0x0c, 0x03, 0x40 },
{ "VGA" , 0x03, 0x00, 0x00 }, { "VGA" , 0x03, 0x00, 0x00 },
{ "AHCI" , 0x01, 0x06, WILDCARD }, { "AHCI" , 0x01, 0x06, WILDCARD },
{ "AUDIO" , 0x04, 0x01, WILDCARD }, { "AUDIO" , 0x04, 0x01, WILDCARD },