diff --git a/src/include/86box/machine.h b/src/include/86box/machine.h
index fae7fb587..43799d1fe 100644
--- a/src/include/86box/machine.h
+++ b/src/include/86box/machine.h
@@ -627,6 +627,7 @@ extern int	machine_at_an430tx_init(const machine_t *);
 #endif
 extern int	machine_at_ym430tx_init(const machine_t *);
 extern int	machine_at_mb540n_init(const machine_t *);
+extern int  machine_at_56a5_init(const machine_t *);
 extern int	machine_at_p5mms98_init(const machine_t *);
 
 extern int	machine_at_ficva502_init(const machine_t *);
diff --git a/src/machine/m_at_socket7.c b/src/machine/m_at_socket7.c
index 117f2cea8..a7273b775 100644
--- a/src/machine/m_at_socket7.c
+++ b/src/machine/m_at_socket7.c
@@ -799,6 +799,36 @@ machine_at_mb540n_init(const machine_t *model)
     return ret;
 }
 
+int
+machine_at_56a5_init(const machine_t* model)
+{
+    int ret;
+
+    ret = bios_load_linear("roms/machines/56a5/54p5b6b.bin",
+            0x000e0000, 131072, 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(0x11, PCI_CARD_NORMAL, 1, 2, 3, 4);
+    pci_register_slot(0x12, PCI_CARD_NORMAL, 2, 3, 4, 1);
+    pci_register_slot(0x13, PCI_CARD_NORMAL, 3, 4, 1, 2);
+    pci_register_slot(0x14, PCI_CARD_NORMAL, 4, 1, 2, 3);
+    pci_register_slot(0x07, PCI_CARD_SOUTHBRIDGE, 1, 2, 3, 4);   /* PIIX4 */
+    pci_register_slot(0x10, PCI_CARD_NORMAL, 1, 2, 3, 4);
+    device_add(&i430tx_device);
+    device_add(&piix4_device);
+    device_add(&keyboard_ps2_pci_device);
+    device_add(&w83877tf_acorp_device);
+    device_add(&sst_flash_29ee010_device);
+    spd_register(SPD_TYPE_SDRAM, 0x3, 128);
+
+    return ret;
+}
 
 int
 machine_at_p5mms98_init(const machine_t *model)
diff --git a/src/machine/machine_table.c b/src/machine/machine_table.c
index 6a8e74ded..9b948eb1c 100644
--- a/src/machine/machine_table.c
+++ b/src/machine/machine_table.c
@@ -785,6 +785,8 @@ const machine_t machines[] = {
     { "[i430TX] Intel YM430TX",                        "ym430tx",          MACHINE_TYPE_SOCKET7,    MACHINE_CHIPSET_INTEL_430TX,         machine_at_ym430tx_init,          0, 0, MACHINE_AVAILABLE, 0 , CPU_PKG_SOCKET5_7,                 CPU_BLOCK_NONE, 60000000, 66666667, 2800, 3520, 1.5, 3.0, MACHINE_PS2_PCI, MACHINE_IDE_DUAL, 8192, 262144, 8192, 255, NULL, NULL },
     /* The BIOS sends KBC command BB and expects it to output a byte, which is AMI KBC behavior. */
     { "[i430TX] PC Partner MB540N",                    "mb540n",           MACHINE_TYPE_SOCKET7,    MACHINE_CHIPSET_INTEL_430TX,         machine_at_mb540n_init,           0, 0, MACHINE_AVAILABLE, 0 , CPU_PKG_SOCKET5_7,                 CPU_BLOCK_NONE, 60000000, 66666667, 2700, 3520, 1.5, 3.0, MACHINE_PS2_PCI, MACHINE_IDE_DUAL, 8192, 262144, 8192, 255, NULL, NULL },
+    /* The BIOS award. PS2, EDO, SDRAM, 4PCI, 4ISA etc.. */
+    { "[i430TX] Soltek SL-56A5",                       "56a5",             MACHINE_TYPE_SOCKET7,    MACHINE_CHIPSET_INTEL_430TX,         machine_at_56a5_init,             0, 0, MACHINE_AVAILABLE, 0,  CPU_PKG_SOCKET5_7,                 CPU_BLOCK_NONE, 55000000, 75000000, 2800, 3520, 1.5, 5.5, MACHINE_PS2_PCI, MACHINE_IDE_DUAL, 8192, 262144, 8192, 255, NULL, NULL },
     /* [TEST] Has AMIKey 'H' KBC firmware. */
     { "[i430TX] Supermicro P5MMS98",                   "p5mms98",          MACHINE_TYPE_SOCKET7,    MACHINE_CHIPSET_INTEL_430TX,         machine_at_p5mms98_init,          0, 0, MACHINE_AVAILABLE, 0 , CPU_PKG_SOCKET5_7,                 CPU_BLOCK_NONE, 50000000, 66666667, 2100, 3520, 1.5, 3.0, MACHINE_PS2_PCI, MACHINE_IDE_DUAL, 8192, 262144, 8192, 255, NULL, NULL },