From afa0bed5fcd2f6c220cf382eb0c580e90495a924 Mon Sep 17 00:00:00 2001 From: Stefan Kalkowski Date: Thu, 22 Sep 2022 09:47:12 +0200 Subject: [PATCH] platform_drv: add USB4 pci class, update README Ref genodelabs/genode#4578 --- repos/os/src/drivers/platform/README | 17 +++++++++++++++++ repos/os/src/drivers/platform/pci.cc | 1 + 2 files changed, 18 insertions(+) diff --git a/repos/os/src/drivers/platform/README b/repos/os/src/drivers/platform/README index 2b00642c61..bc3e8512dc 100644 --- a/repos/os/src/drivers/platform/README +++ b/repos/os/src/drivers/platform/README @@ -79,6 +79,23 @@ pair of identifiers inside a pci sub-node: ! ! +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 ----------------- diff --git a/repos/os/src/drivers/platform/pci.cc b/repos/os/src/drivers/platform/pci.cc index 5911667d3c..e1f81c1533 100644 --- a/repos/os/src/drivers/platform/pci.cc +++ b/repos/os/src/drivers/platform/pci.cc @@ -136,6 +136,7 @@ pci_class_code_alias(uint32_t class_code) { "USB" , 0x0c, 0x03, 0x10 }, /* OHCI */ { "USB" , 0x0c, 0x03, 0x20 }, /* EHCI */ { "USB" , 0x0c, 0x03, 0x30 }, /* XHCI */ + { "USB4" , 0x0c, 0x03, 0x40 }, { "VGA" , 0x03, 0x00, 0x00 }, { "AHCI" , 0x01, 0x06, WILDCARD }, { "AUDIO" , 0x04, 0x01, WILDCARD },