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:
 !   <pci vendor_id="0x1987" device_id="0x5007"/>
 ! </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
 -----------------
 
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 },