diff --git a/repos/base/run/platform_drv.inc b/repos/base/run/platform_drv.inc
index 436769466a..888533d98b 100644
--- a/repos/base/run/platform_drv.inc
+++ b/repos/base/run/platform_drv.inc
@@ -32,7 +32,8 @@ proc platform_drv_policy {} {
- }
+
+ }
} else {
return {}
}
diff --git a/repos/os/src/drivers/platform/x86/pci_session_component.h b/repos/os/src/drivers/platform/x86/pci_session_component.h
index dab0552558..56463e5079 100644
--- a/repos/os/src/drivers/platform/x86/pci_session_component.h
+++ b/repos/os/src/drivers/platform/x86/pci_session_component.h
@@ -142,8 +142,9 @@ namespace Platform {
} const aliases [] = {
{ "AHCI" , 0x1, 0x06, 0x0},
{ "ALL" , 0x0, 0x00, 0x0},
- { "AUDIO" , 0x4, 0x00, 0x0},
+ { "AUDIO" , 0x4, 0x01, 0x0},
{ "ETHERNET", 0x2, 0x00, 0x0},
+ { "HDAUDIO" , 0x4, 0x03, 0x0},
{ "USB" , 0xc, 0x03, 0x0},
{ "VGA" , 0x3, 0x00, 0x0},
{ "WIFI" , 0x2, 0x80, 0x0}