diff --git a/src/machine/m_at_socket5.c b/src/machine/m_at_socket5.c
index 9a45e71bf..acaff764e 100644
--- a/src/machine/m_at_socket5.c
+++ b/src/machine/m_at_socket5.c
@@ -61,6 +61,25 @@ machine_at_plato_init(const machine_t *model)
     return ret;
 }
 
+int
+machine_at_dellplato_init(const machine_t *model)
+{
+    int ret;
+
+    ret = bios_load_linear_combined("roms/machines/dellplato/1016AX1J.bio",
+                                    "roms/machines/dellplato/1016AX1J.bi1",
+                                    0x1d000, 128);
+
+    if (bios_only || !ret)
+        return ret;
+
+    machine_at_premiere_common_init(model, PCI_CAN_SWITCH_TYPE);
+
+    device_add(&i430nx_device);
+
+    return ret;
+}
+
 int
 machine_at_ambradp90_init(const machine_t *model)
 {