[OpenBIOS] [PATCH 02/11] pci: rename i82378 keyboard device from 8042 to keyboard

[Mark Cave-Ayland]

This ensures the keyboard appears with a more sensible name in the device
tree.

Signed-off-by: Mark Cave-Ayland <mark.cave-ayland at ilande.co.uk>
---
 drivers/pci.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/drivers/pci.c b/drivers/pci.c
index 6483f5b..e48a791 100644
--- a/drivers/pci.c
+++ b/drivers/pci.c
@@ -1139,7 +1139,7 @@ int i82378_config_cb(const pci_config_t *config)
     ob_pc_serial_init(config->path, "serial", arch->io_base, 0x3f8ULL, 0);
 #endif
 #ifdef CONFIG_DRIVER_PC_KBD
-    ob_pc_kbd_init(config->path, "8042", NULL, arch->io_base, 0x60ULL, 0, 0);
+    ob_pc_kbd_init(config->path, "keyboard", NULL, arch->io_base, 0x60ULL, 0, 0);
 #endif
 #ifdef CONFIG_DRIVER_IDE
     ob_ide_init(config->path, 0x1f0, 0x3f6, 0x170, 0x376);
-- 
2.11.0