1 #include <console/console.h>
2 #include <device/device.h>
3 #include <device/pci.h>
4 #include <device/pci_ids.h>
5 #include <device/pci_ops.h>
9 void vga_enable_console();
12 static void vga_fixup(void) {
13 // we do this right here because:
14 // - all the hardware is working, and some VGA bioses seem to need
16 // - we need page 0 below for coreboot tables.
18 printk_debug("INSTALL REAL-MODE IDT\n");
20 printk_debug("DO THE VGA BIOS\n");
28 void write_protect_vgabios(void)
32 printk_info("write_protect_vgabios\n");
33 /* there are two possible devices. Just do both. */
34 dev = dev_find_device(PCI_VENDOR_ID_VIA, 0x3122, 0);
36 pci_write_config8(dev, 0x61, 0xaa);
38 dev = dev_find_device(PCI_VENDOR_ID_VIA, 0x3123, 0);
40 pci_write_config8(dev, 0x61, 0xaa);
43 struct chip_operations mainboard_ops = {
44 CHIP_NAME("VIA EPIA-M Mainboard")