mirror of
https://github.com/86Box/86Box.git
synced 2026-02-25 12:55:32 -07:00
a1c974c045
1. Changed the names for two Chaintech machines (for example, 333AXB and 416SX) 2. Added the "AB" name to ABIT machines 3. Removed the space from PCChips and PCPartner names 4. BIOS name related corrections 5. Make few machines use their latest revisions as default BIOS option
489 lines
17 KiB
C
489 lines
17 KiB
C
/*
|
|
* 86Box A hypervisor and IBM PC system emulator that specializes in
|
|
* running old operating systems and software designed for IBM
|
|
* PC systems and compatibles from 1981 through fairly recent
|
|
* system designs based on the PCI bus.
|
|
*
|
|
* This file is part of the 86Box distribution.
|
|
*
|
|
* Implementation of Socket 8 machines.
|
|
*
|
|
* Authors: Miran Grca, <mgrca8@gmail.com>
|
|
*
|
|
* Copyright 2016-2025 Miran Grca.
|
|
*/
|
|
#include <stdio.h>
|
|
#include <stdint.h>
|
|
#include <stdlib.h>
|
|
#include <string.h>
|
|
#include <wchar.h>
|
|
#include <86box/86box.h>
|
|
#include <86box/mem.h>
|
|
#include <86box/io.h>
|
|
#include <86box/rom.h>
|
|
#include <86box/pci.h>
|
|
#include <86box/device.h>
|
|
#include <86box/chipset.h>
|
|
#include <86box/hdc.h>
|
|
#include <86box/hdc_ide.h>
|
|
#include <86box/keyboard.h>
|
|
#include <86box/flash.h>
|
|
#include <86box/timer.h>
|
|
#include <86box/nvr.h>
|
|
#include <86box/sio.h>
|
|
#include <86box/sound.h>
|
|
#include <86box/hwm.h>
|
|
#include <86box/spd.h>
|
|
#include <86box/video.h>
|
|
#include "cpu.h"
|
|
#include <86box/machine.h>
|
|
|
|
/* i450KX */
|
|
int
|
|
machine_at_ap61_init(const machine_t *model)
|
|
{
|
|
int ret;
|
|
|
|
ret = bios_load_linear("roms/machines/ap61/ap61r120.bin",
|
|
0x000e0000, 131072, 0);
|
|
|
|
if (bios_only || !ret)
|
|
return ret;
|
|
|
|
machine_at_common_init(model);
|
|
|
|
pci_init(PCI_CONFIG_TYPE_1);
|
|
pci_register_slot(0x19, PCI_CARD_NORTHBRIDGE, 0, 0, 0, 0);
|
|
pci_register_slot(0x14, PCI_CARD_NORTHBRIDGE_SEC, 0, 0, 0, 0);
|
|
pci_register_slot(0x02, PCI_CARD_SOUTHBRIDGE, 0, 0, 0, 0);
|
|
pci_register_slot(0x07, PCI_CARD_IDE, 0xFE, 0xFF, 0, 0);
|
|
pci_register_slot(0x03, PCI_CARD_NORMAL, 1, 2, 3, 4);
|
|
pci_register_slot(0x04, PCI_CARD_NORMAL, 2, 3, 4, 1);
|
|
pci_register_slot(0x05, PCI_CARD_NORMAL, 3, 4, 1, 2);
|
|
pci_register_slot(0x06, PCI_CARD_NORMAL, 4, 1, 2, 3);
|
|
device_add(&i450kx_device);
|
|
device_add(&sio_zb_device);
|
|
device_add(&ide_cmd646_device);
|
|
device_add_params(machine_get_kbc_device(machine), (void *) model->kbc_params);
|
|
device_add_params(&fdc37c6xx_device, (void *) FDC37C665);
|
|
device_add(&sst_flash_29ee010_device);
|
|
|
|
return ret;
|
|
}
|
|
|
|
int
|
|
machine_at_p6rp4_init(const machine_t *model)
|
|
{
|
|
int ret;
|
|
|
|
ret = bios_load_linear("roms/machines/p6rp4/OR6I0106.SMC",
|
|
0x000e0000, 131072, 0);
|
|
|
|
if (bios_only || !ret)
|
|
return ret;
|
|
|
|
machine_at_common_init_ex(model, 2);
|
|
device_add(&p6rp4_nvr_device);
|
|
|
|
pci_init(PCI_CONFIG_TYPE_1);
|
|
pci_register_slot(0x19, PCI_CARD_NORTHBRIDGE, 0, 0, 0, 0);
|
|
pci_register_slot(0x14, PCI_CARD_NORTHBRIDGE_SEC, 0, 0, 0, 0);
|
|
pci_register_slot(0x02, PCI_CARD_SOUTHBRIDGE, 0, 0, 0, 0);
|
|
pci_register_slot(0x08, PCI_CARD_IDE, 0, 0, 0, 0);
|
|
pci_register_slot(0x07, PCI_CARD_NORMAL, 1, 2, 3, 4);
|
|
pci_register_slot(0x06, PCI_CARD_NORMAL, 2, 3, 4, 1);
|
|
pci_register_slot(0x05, PCI_CARD_NORMAL, 3, 4, 1, 2);
|
|
pci_register_slot(0x04, PCI_CARD_NORMAL, 4, 1, 2, 3);
|
|
device_add(&i450kx_device);
|
|
device_add(&sio_zb_device);
|
|
device_add(&ide_cmd646_device);
|
|
/* Input port bit 2 must be 1 or CMOS Setup is disabled. */
|
|
device_add_params(machine_get_kbc_device(machine), (void *) model->kbc_params);
|
|
device_add_params(&fdc37c6xx_device, (void *) FDC37C665);
|
|
device_add(&intel_flash_bxt_device);
|
|
|
|
return ret;
|
|
}
|
|
|
|
static const device_config_t ficpo6000_config[] = {
|
|
// clang-format off
|
|
{
|
|
.name = "bios",
|
|
.description = "BIOS Version",
|
|
.type = CONFIG_BIOS,
|
|
.default_string = "405F05C",
|
|
.default_int = 0,
|
|
.file_filter = "",
|
|
.spinner = { 0 }, /*W1*/
|
|
.bios = {
|
|
{ .name = "PhoenixBIOS 4.05 - Revision 405F03C (CD-ROM Boot support)", .internal_name = "405F03C", .bios_type = BIOS_NORMAL,
|
|
.files_no = 1, .local = 0, .size = 131072, .files = { "roms/machines/ficpo6000/405F03C.ROM", "" } },
|
|
{ .name = "PhoenixBIOS 4.05 - Revision 405F05C (No CD-ROM Boot support)", .internal_name = "405F05C", .bios_type = BIOS_NORMAL,
|
|
.files_no = 1, .local = 0, .size = 131072, .files = { "roms/machines/ficpo6000/405F05C.ROM", "" } },
|
|
{ .files_no = 0 }
|
|
},
|
|
},
|
|
{ .name = "", .description = "", .type = CONFIG_END }
|
|
// clang-format on
|
|
};
|
|
|
|
const device_t ficpo6000_device = {
|
|
.name = "FIC PO-6000",
|
|
.internal_name = "ficpo6000_device",
|
|
.flags = 0,
|
|
.local = 0,
|
|
.init = NULL,
|
|
.close = NULL,
|
|
.reset = NULL,
|
|
.available = NULL,
|
|
.speed_changed = NULL,
|
|
.force_redraw = NULL,
|
|
.config = ficpo6000_config
|
|
};
|
|
|
|
int
|
|
machine_at_ficpo6000_init(const machine_t *model)
|
|
{
|
|
int ret = 0;
|
|
const char* fn;
|
|
|
|
/* No ROMs available */
|
|
if (!device_available(model->device))
|
|
return ret;
|
|
|
|
device_context(model->device);
|
|
fn = device_get_bios_file(machine_get_device(machine), device_get_config_bios("bios"), 0);
|
|
ret = bios_load_linear(fn, 0x000e0000, 131072, 0);
|
|
device_context_restore();
|
|
|
|
machine_at_common_init_ex(model, 2);
|
|
|
|
pci_init(PCI_CONFIG_TYPE_1);
|
|
pci_register_slot(0x19, PCI_CARD_NORTHBRIDGE, 0, 0, 0, 0);
|
|
pci_register_slot(0x14, PCI_CARD_NORTHBRIDGE_SEC, 0, 0, 0, 0);
|
|
pci_register_slot(0x02, PCI_CARD_SOUTHBRIDGE, 0, 0, 0, 0);
|
|
pci_register_slot(0x03, PCI_CARD_NORMAL, 1, 2, 3, 4);
|
|
pci_register_slot(0x04, PCI_CARD_NORMAL, 2, 3, 4, 1);
|
|
pci_register_slot(0x05, PCI_CARD_NORMAL, 3, 4, 1, 2);
|
|
pci_register_slot(0x06, PCI_CARD_NORMAL, 4, 1, 2, 3);
|
|
pci_register_slot(0x0c, PCI_CARD_IDE, 0, 0, 0, 0);
|
|
device_add(&i450kx_device);
|
|
device_add(&sio_zb_device);
|
|
device_add(&ide_cmd646_device);
|
|
/* Input port bit 2 must be 1 or CMOS Setup is disabled. */
|
|
device_add_params(&pc87306_device, (void *) PCX730X_PHOENIX_42);
|
|
device_add(&intel_flash_bxt_device);
|
|
|
|
return ret;
|
|
}
|
|
|
|
/* i440FX */
|
|
int
|
|
machine_at_acerv60n_init(const machine_t *model)
|
|
{
|
|
int ret;
|
|
|
|
ret = bios_load_linear("roms/machines/acerv60n/V60NE5.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(0x07, PCI_CARD_SOUTHBRIDGE, 0, 0, 0, 0);
|
|
pci_register_slot(0x0D, PCI_CARD_NORMAL, 1, 2, 3, 4);
|
|
pci_register_slot(0x0F, PCI_CARD_NORMAL, 2, 3, 4, 1);
|
|
pci_register_slot(0x10, PCI_CARD_NORMAL, 3, 4, 1, 2);
|
|
pci_register_slot(0x12, PCI_CARD_NORMAL, 4, 1, 2, 3);
|
|
pci_register_slot(0x0C, PCI_CARD_NORMAL, 2, 3, 4, 1);
|
|
device_add(&i440fx_device);
|
|
device_add(&piix3_device);
|
|
device_add_params(&fdc37c93x_device, (void *) (FDC37XXX5 | FDC37C93X_NORMAL));
|
|
device_add(&sst_flash_29ee010_device);
|
|
spd_register(SPD_TYPE_SDRAM, 0x7, 128);
|
|
|
|
return ret;
|
|
}
|
|
|
|
int
|
|
machine_at_p65up5_cp6nd_init(const machine_t *model)
|
|
{
|
|
int ret;
|
|
|
|
ret = bios_load_linear("roms/machines/p65up5/ND6I0218.AWD",
|
|
0x000e0000, 131072, 0);
|
|
|
|
if (bios_only || !ret)
|
|
return ret;
|
|
|
|
machine_at_p65up5_common_init(model, &i440fx_device);
|
|
|
|
return ret;
|
|
}
|
|
|
|
int
|
|
machine_at_8600ttc_init(const machine_t *model)
|
|
{
|
|
int ret;
|
|
|
|
ret = bios_load_linear("roms/machines/8600ttc/TTC0715B.ROM",
|
|
0x000e0000, 131072, 0);
|
|
|
|
if (bios_only || !ret)
|
|
return ret;
|
|
|
|
machine_at_common_init(model);
|
|
|
|
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, 0, 0, 0);
|
|
pci_register_slot(0x08, PCI_CARD_NORMAL, 1, 2, 3, 4);
|
|
pci_register_slot(0x09, PCI_CARD_NORMAL, 2, 3, 4, 1);
|
|
pci_register_slot(0x0A, PCI_CARD_NORMAL, 3, 4, 1, 2);
|
|
pci_register_slot(0x0B, PCI_CARD_NORMAL, 4, 1, 2, 3);
|
|
device_add(&i440fx_device);
|
|
device_add(&piix3_device);
|
|
device_add_params(machine_get_kbc_device(machine), (void *) model->kbc_params);
|
|
device_add_params(&fdc37c669_device, (void *) 0);
|
|
device_add(&intel_flash_bxt_device);
|
|
|
|
return ret;
|
|
}
|
|
|
|
int
|
|
machine_at_686nx_init(const machine_t *model)
|
|
{
|
|
int ret;
|
|
|
|
ret = bios_load_linear("roms/machines/686nx/6nx.140",
|
|
0x000e0000, 131072, 0);
|
|
|
|
if (bios_only || !ret)
|
|
return ret;
|
|
|
|
machine_at_common_init(model);
|
|
|
|
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, 0, 0, 0);
|
|
pci_register_slot(0x08, PCI_CARD_NORMAL, 1, 2, 3, 4);
|
|
pci_register_slot(0x09, PCI_CARD_NORMAL, 2, 3, 4, 1);
|
|
pci_register_slot(0x0A, PCI_CARD_NORMAL, 3, 4, 1, 2);
|
|
pci_register_slot(0x0B, PCI_CARD_NORMAL, 4, 1, 2, 3);
|
|
device_add(&i440fx_device);
|
|
device_add(&piix3_device);
|
|
device_add_params(machine_get_kbc_device(machine), (void *) model->kbc_params);
|
|
device_add_params(&um8669f_device, (void *) 0);
|
|
device_add(&intel_flash_bxt_device);
|
|
|
|
return ret;
|
|
}
|
|
|
|
int
|
|
machine_at_ap440fx_init(const machine_t *model)
|
|
{
|
|
int ret;
|
|
|
|
ret = bios_load_linear_combined2("roms/machines/ap440fx/1011CT1_.BIO",
|
|
"roms/machines/ap440fx/1011CT1_.BI1",
|
|
"roms/machines/ap440fx/1011CT1_.BI2",
|
|
"roms/machines/ap440fx/1011CT1_.BI3",
|
|
"roms/machines/ap440fx/1011CT1_.RCV",
|
|
0x3a000, 128);
|
|
|
|
if (bios_only || !ret)
|
|
return ret;
|
|
|
|
machine_at_common_init(model);
|
|
|
|
pci_init(PCI_CONFIG_TYPE_1);
|
|
pci_register_slot(0x00, PCI_CARD_NORTHBRIDGE, 0, 0, 0, 0);
|
|
pci_register_slot(0x08, PCI_CARD_VIDEO, 3, 0, 0, 0);
|
|
pci_register_slot(0x11, PCI_CARD_NORMAL, 1, 3, 2, 4);
|
|
pci_register_slot(0x13, PCI_CARD_NORMAL, 2, 1, 3, 4);
|
|
pci_register_slot(0x0B, PCI_CARD_NORMAL, 3, 2, 1, 4);
|
|
pci_register_slot(0x07, PCI_CARD_SOUTHBRIDGE, 0, 0, 0, 4);
|
|
device_add(&i440fx_device);
|
|
device_add(&piix3_device);
|
|
device_add_params(&pc87307_device, (void *) (PCX730X_AMI | PCX7307_PC87307));
|
|
device_add(&intel_flash_bxt_ami_device);
|
|
|
|
if (sound_card_current[0] == SOUND_INTERNAL)
|
|
device_add(machine_get_snd_device(machine));
|
|
|
|
if (gfxcard[0] == VID_INTERNAL)
|
|
device_add(machine_get_vid_device(machine));
|
|
|
|
return ret;
|
|
}
|
|
|
|
static const device_config_t vs440fx_config[] = {
|
|
// clang-format off
|
|
{
|
|
.name = "bios",
|
|
.description = "BIOS Version",
|
|
.type = CONFIG_BIOS,
|
|
.default_string = "vs440fx",
|
|
.default_int = 0,
|
|
.file_filter = "",
|
|
.spinner = { 0 },
|
|
.bios = {
|
|
{ .name = "Intel AMIBIOS - Revision 1.00.06.CS1J (Dell Dimension XPS Pro___n)", .internal_name = "dellvenus", .bios_type = BIOS_NORMAL,
|
|
.files_no = 5, .local = 0, .size = 262144, .files = { "roms/machines/vs440fx/1006CS1J.BIO", "roms/machines/vs440fx/1006CS1J.BI1",
|
|
"roms/machines/vs440fx/1006CS1J.BI2", "roms/machines/vs440fx/1006CS1J.BI3",
|
|
"roms/machines/vs440fx/1006CS1J.RCV", "" } },
|
|
{ .name = "Intel AMIBIOS - Revision 1.00.11.CS1T (Gateway 2000)", .internal_name = "gw2kvenus", .bios_type = BIOS_NORMAL,
|
|
.files_no = 5, .local = 0, .size = 262144, .files = { "roms/machines/vs440fx/1011CS1T.BIO", "roms/machines/vs440fx/1011CS1T.BI1",
|
|
"roms/machines/vs440fx/1011CS1T.BI2", "roms/machines/vs440fx/1011CS1T.BI3",
|
|
"roms/machines/vs440fx/1011CS1T.RCV", "" } },
|
|
{ .name = "Intel AMIBIOS - Revision 1.00.18.CS1", .internal_name = "vs440fx", .bios_type = BIOS_NORMAL,
|
|
.files_no = 5, .local = 0, .size = 262144, .files = { "roms/machines/vs440fx/1018CS1_.BIO", "roms/machines/vs440fx/1018CS1_.BI1",
|
|
"roms/machines/vs440fx/1018CS1_.BI2", "roms/machines/vs440fx/1018CS1_.BI3",
|
|
"roms/machines/vs440fx/1018CS1_.RCV", "" } },
|
|
{ .files_no = 0 }
|
|
},
|
|
},
|
|
{ .name = "", .description = "", .type = CONFIG_END }
|
|
// clang-format on
|
|
};
|
|
|
|
const device_t vs440fx_device = {
|
|
.name = "Intel VS440FX (Venus)",
|
|
.internal_name = "vs440fx_device",
|
|
.flags = 0,
|
|
.local = 0,
|
|
.init = NULL,
|
|
.close = NULL,
|
|
.reset = NULL,
|
|
.available = NULL,
|
|
.speed_changed = NULL,
|
|
.force_redraw = NULL,
|
|
.config = vs440fx_config
|
|
};
|
|
|
|
int
|
|
machine_at_vs440fx_init(const machine_t *model)
|
|
{
|
|
int ret = 0;
|
|
const char* fn[5];
|
|
|
|
/* No ROMs available */
|
|
if (!device_available(model->device))
|
|
return ret;
|
|
|
|
device_context(model->device);
|
|
for (int i = 0; i < 5; i++)
|
|
fn[i] = device_get_bios_file(machine_get_device(machine), device_get_config_bios("bios"), i);
|
|
ret = bios_load_linear_combined2(fn[0], fn[1], fn[2], fn[3], fn[4], 0x3a000, 128);
|
|
device_context_restore();
|
|
|
|
machine_at_common_init(model);
|
|
|
|
pci_init(PCI_CONFIG_TYPE_1);
|
|
pci_register_slot(0x00, PCI_CARD_NORTHBRIDGE, 0, 0, 0, 0);
|
|
pci_register_slot(0x0B, PCI_CARD_NORMAL, 1, 2, 3, 4);
|
|
pci_register_slot(0x0F, PCI_CARD_NORMAL, 4, 1, 2, 3);
|
|
pci_register_slot(0x11, PCI_CARD_NORMAL, 3, 4, 1, 2);
|
|
pci_register_slot(0x13, PCI_CARD_NORMAL, 2, 3, 4, 1);
|
|
pci_register_slot(0x07, PCI_CARD_SOUTHBRIDGE, 0, 0, 0, 0);
|
|
device_add(&i440fx_device);
|
|
device_add(&piix3_device);
|
|
device_add_params(&pc87307_device, (void *) (PCX730X_AMI | PCX7307_PC87307));
|
|
|
|
device_add(&intel_flash_bxt_ami_device);
|
|
|
|
if (sound_card_current[0] == SOUND_INTERNAL)
|
|
device_add(machine_get_snd_device(machine));
|
|
|
|
return ret;
|
|
}
|
|
|
|
int
|
|
machine_at_lgibmx61_init(const machine_t *model)
|
|
{
|
|
int ret;
|
|
|
|
ret = bios_load_linear("roms/machines/lgibmx61/bios.rom",
|
|
0x000e0000, 131072, 0);
|
|
|
|
if (bios_only || !ret)
|
|
return ret;
|
|
|
|
machine_at_common_init(model);
|
|
|
|
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, 0, 0, 0);
|
|
pci_register_slot(0x0C, PCI_CARD_NORMAL, 1, 2, 3, 4);
|
|
pci_register_slot(0x0D, PCI_CARD_NORMAL, 2, 3, 4, 1);
|
|
pci_register_slot(0x0E, PCI_CARD_NORMAL, 3, 4, 1, 2);
|
|
pci_register_slot(0x0F, PCI_CARD_NORMAL, 4, 1, 2, 3);
|
|
device_add(&i440fx_device);
|
|
device_add(&piix3_device);
|
|
device_add_params(machine_get_kbc_device(machine), (void *) model->kbc_params);
|
|
device_add_params(&w83877_device, (void *) (W83877F | W83877_250));
|
|
device_add(&sst_flash_29ee010_device);
|
|
|
|
return ret;
|
|
}
|
|
|
|
int
|
|
machine_at_m6mi_init(const machine_t *model)
|
|
{
|
|
int ret;
|
|
|
|
ret = bios_load_linear("roms/machines/m6mi/M6MI05.ROM",
|
|
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(0x07, PCI_CARD_SOUTHBRIDGE, 0, 0, 0, 0);
|
|
pci_register_slot(0x12, PCI_CARD_NORMAL, 1, 2, 3, 4);
|
|
pci_register_slot(0x11, PCI_CARD_NORMAL, 2, 3, 4, 1);
|
|
pci_register_slot(0x10, PCI_CARD_NORMAL, 3, 4, 1, 2);
|
|
pci_register_slot(0x0F, PCI_CARD_NORMAL, 4, 1, 2, 3);
|
|
device_add(&i440fx_device);
|
|
device_add(&piix3_device);
|
|
device_add_params(&fdc37c93x_device, (void *) (FDC37XXX5 | FDC37C93X_NORMAL));
|
|
device_add(&intel_flash_bxt_device);
|
|
|
|
return ret;
|
|
}
|
|
|
|
int
|
|
machine_at_mb600n_init(const machine_t *model)
|
|
{
|
|
int ret;
|
|
|
|
ret = bios_load_linear("roms/machines/mb600n/60915cs.rom",
|
|
0x000e0000, 131072, 0);
|
|
|
|
if (bios_only || !ret)
|
|
return ret;
|
|
|
|
machine_at_common_init(model);
|
|
|
|
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, 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);
|
|
device_add(&i440fx_device);
|
|
device_add(&piix3_device);
|
|
device_add_params(machine_get_kbc_device(machine), (void *) model->kbc_params);
|
|
device_add_params(&fdc37c669_device, (void *) 0);
|
|
device_add(&intel_flash_bxt_device);
|
|
|
|
return ret;
|
|
}
|