void at_r418_init()
{
at_init();
mouse_serial_init();
pci_init(PCI_CONFIG_TYPE_1, 0, 31);
fdc37c665_init();
device_add(&sis496_device);
}
void at_batman_init()
{
at_init();
mouse_ps2_init();
pci_init(PCI_CONFIG_TYPE_2, 0xd, 0x10);
i430lx_init();
fdc37c665_init();
intel_batman_init();
}
void at_mb500n_init()
{
at_init();
mouse_serial_init();
pci_init(PCI_CONFIG_TYPE_1, 0, 31);
i430fx_init();
piix_init(7);
fdc37c665_init();
intel_endeavor_init();
device_add(&intel_flash_bxt_device);
}
void at_plato_init()
{
at_init();
mouse_ps2_init();
pci_init(PCI_CONFIG_TYPE_2, 0xd, 0x10);
i430nx_init();
sio_init(1);
fdc37c665_init();
/* It seems it uses the same interface as Batman. */
intel_batman_init();
// device_add(&intel_flash_bxt_ami_device);
}
void at_colorbook_init()
{
PCI = 0;
maxide = 2;
AT = 1;
is386 = 1;
at_init();
mouse_ps2_init();
/* Really the FDC37C663 but we share the file as they are essentially identical except for the vendor ID. */
fdc37c665_init();
colorbook_io_init();
}
void at_batman_init()
{
PCI = 1;
maxide = 4;
AT = 1;
is386 = 1;
at_init();
// mouse_serial_init();
mouse_ps2_init();
pci_init(PCI_CONFIG_TYPE_2, 0xd, 0x10);
i430lx_init();
fdc37c665_init();
intel_batman_init();
device_add(&intel_flash_device);
}
void at_sis496_init()
{
PCI = 1;
maxide = 4;
AT = 1;
is386 = 1;
at_init();
mouse_serial_init();
pci_init(PCI_CONFIG_TYPE_1, 0, 31);
// um8663b_init();
fdc37c665_init();
device_add(&sis496_device);
maxide = 4;
is386 = 1;
}
void at_i430fx_init()
{
PCI = 1;
maxide = 4;
AT = 1;
is386 = 1;
at_init();
mouse_serial_init();
// mouse_ps2_init();
pci_init(PCI_CONFIG_TYPE_1, 0, 31);
i430fx_init();
piix_init(7);
// um8669f_init();
fdc37c665_init();
intel_endeavor_init();
device_add(&intel_flash_device);
}
void at_i440fx_init()
{
PCI = 1;
maxide = 4;
AT = 1;
is386 = 1;
at_init();
mouse_serial_init();
// mouse_ps2_init();
pci_init(PCI_CONFIG_TYPE_1, 0, 31);
i440fx_init();
piix_init(7);
// um8669f_init();
/* Note by OBattler: Switched to a BIOS using that Super I/O chip because it's better than UMC. */
// fdc37c669_init();
fdc37c665_init();
device_add(&intel_flash_device);
}
