diff --git a/src/include/86box/machine.h b/src/include/86box/machine.h
index 48e9be1c3..0cd3564ee 100644
--- a/src/include/86box/machine.h
+++ b/src/include/86box/machine.h
@@ -519,7 +519,6 @@ extern int machine_at_cs4031_init(const machine_t *);
 extern int machine_at_pb410a_init(const machine_t *);
 
 extern int machine_at_decpclpv_init(const machine_t *);
-extern int machine_at_dellx30_init(const machine_t *);
 extern int machine_at_acerv10_init(const machine_t *);
 
 extern int machine_at_acera1g_init(const machine_t *);
diff --git a/src/machine/m_at_386dx_486.c b/src/machine/m_at_386dx_486.c
index 28e5c8549..d3c7a21d2 100644
--- a/src/machine/m_at_386dx_486.c
+++ b/src/machine/m_at_386dx_486.c
@@ -482,27 +482,6 @@ machine_at_decpclpv_init(const machine_t *model)
     return ret;
 }
 
-int
-machine_at_dellx30_init(const machine_t *model)
-{
-    int ret;
-
-    ret = bios_load_linear("roms/machines/dellx30/shk2a03.bin",
-                           0x000e0000, 131072, 0);
-
-    if (bios_only || !ret)
-        return ret;
-
-    machine_at_common_init(model);
-
-    device_add(&sis_85c461_device);
-    device_add(&keyboard_ps2_acer_pci_device);
-    device_add(&fdc37c665_ide_device);
-    device_add(&ide_opti611_vlb_device);
-
-    return ret;
-}
-
 static void
 machine_at_ali1429_common_init(const machine_t *model, int is_green)
 {
diff --git a/src/machine/machine_table.c b/src/machine/machine_table.c
index 1aeb28526..baba2723c 100644
--- a/src/machine/machine_table.c
+++ b/src/machine/machine_table.c
@@ -6936,46 +6936,6 @@ const machine_t machines[] = {
         .snd_device = NULL,
         .net_device = NULL
     },
-    /* Has FDC37C665 SIO with OPTi 82c611 IDE onboard */
-    {
-        .name = "[SiS 461] Dell Dimension X30",
-        .internal_name = "dellx30",
-        .type = MACHINE_TYPE_486_S3,
-        .chipset = MACHINE_CHIPSET_SIS_461, /* Chipset relabeled as Micronics MIC 471 */
-        .init = machine_at_dellx30_init,
-        .p1_handler = NULL,
-        .gpio_handler = NULL,
-        .available_flag = MACHINE_AVAILABLE,
-        .gpio_acpi_handler = NULL,
-        .cpu = {
-            .package = CPU_PKG_SOCKET3,
-            .block = CPU_BLOCK_NONE,
-            .min_bus = 0,
-            .max_bus = 0,
-            .min_voltage = 0,
-            .max_voltage = 0,
-            .min_multi = 0,
-            .max_multi = 0
-        },
-        .bus_flags = MACHINE_PS2_VLB,
-        .flags = MACHINE_IDE | MACHINE_APM,
-        .ram = {
-            .min = 1024,
-            .max = 65536,
-            .step = 1024
-        },
-        .nvrmask = 127,
-        .kbc_device = NULL,
-        .kbc_p1 = 0xff,
-        .gpio = 0xffffffff,
-        .gpio_acpi = 0xffffffff,
-        .device = NULL,
-        .fdc_device = NULL,
-        .sio_device = NULL,
-        .vid_device = NULL,
-        .snd_device = NULL,
-        .net_device = NULL
-    },
     /* The BIOS string ends in -U, unless command 0xA1 (AMIKey get version) returns an
        'F', in which case, it ends in -F, so it has an AMIKey F KBC firmware.
        The photo of the board shows an AMIKey KBC which is indeed F. */