From 7395a3341489f5a15c2ad7eaa42e0d2eabae2456 Mon Sep 17 00:00:00 2001
From: rue <99608219+luennix@users.noreply.github.com>
Date: Fri, 18 Aug 2023 20:45:02 +0300
Subject: [PATCH] Add Micronics Thunderbolt to m_at_socket7.c

---
 src/machine/m_at_socket7.c | 30 ++++++++++++++++++++++++++++++
 1 file changed, 30 insertions(+)

diff --git a/src/machine/m_at_socket7.c b/src/machine/m_at_socket7.c
index 1fee61b88..b665b90e0 100644
--- a/src/machine/m_at_socket7.c
+++ b/src/machine/m_at_socket7.c
@@ -1085,3 +1085,33 @@ machine_at_ms5164_init(const machine_t *model)
 
     return ret;
 }
+
+int
+machine_at_thunderbolt_init(const machine_t *model)
+{
+    int ret;
+
+    ret = bios_load_linear("roms/machines/thunderbolt/tbolt-01.rom",
+                           0x000c0000, 262144, 0);
+
+    if (bios_only || !ret)
+        return ret;
+
+    machine_at_common_init_ex(model, 2);
+
+    pci_init(PCI_CONFIG_TYPE_1);
+    pci_register_slot(0x00, PCI_CARD_NORTHBRIDGE, 0, 0, 0, 0);
+	pci_register_slot(0x07, PCI_CARD_SOUTHBRIDGE, 0, 1, 2, 3); /* PIIX4 */
+    pci_register_slot(0x11, PCI_CARD_NORMAL,      0, 1, 2, 3);
+    pci_register_slot(0x12, PCI_CARD_NORMAL,      1, 2, 3, 0);
+    pci_register_slot(0x13, PCI_CARD_NORMAL,      2, 3, 0, 1);
+    pci_register_slot(0x14, PCI_CARD_NORMAL,      3, 0, 1, 2);
+    device_add(&i430tx_device);
+    device_add(&piix4_device);
+    device_add(&keyboard_ps2_ami_pci_device);
+    device_add(&fdc37c935_device);
+    device_add(&intel_flash_bxt_device);
+    spd_register(SPD_TYPE_SDRAM, 0x3, 128);
+
+    return ret;
+}