Exemple #1
0
void at_batman_init()
{
        at_init();
        mouse_ps2_init();
        pci_init(PCI_CONFIG_TYPE_2, 0xd, 0x10);
        i430lx_init();
        fdc37c665_init();
        intel_batman_init();
}
Exemple #2
0
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);
}
Exemple #3
0
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);
}