From 93b5c2f5d44e57c9336a108965921b92bd9e4809 Mon Sep 17 00:00:00 2001
From: OBattler <oubattler@gmail.com>
Date: Thu, 25 Jul 2024 20:03:43 +0200
Subject: [PATCH] RadiSys EPC-2012: Give it a different keyboard controllers,
 fixes CMOS settings saving.

---
 src/machine/m_at_socket7.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/machine/m_at_socket7.c b/src/machine/m_at_socket7.c
index d13f0039a..b921b9a4e 100644
--- a/src/machine/m_at_socket7.c
+++ b/src/machine/m_at_socket7.c
@@ -454,7 +454,7 @@ machine_at_epc2102_init(const machine_t *model)
     pci_register_slot(0x07, PCI_CARD_SOUTHBRIDGE, 0, 0, 0, 0);
     device_add(&i430hx_device);
     device_add(&piix3_device);
-    device_add(&keyboard_ps2_pci_device);
+    device_add(&keyboard_ps2_intel_ami_pci_device);
     device_add(&i82091aa_device);
     device_add(&intel_flash_bxt_device);