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();
11 static void vga_init(device_t dev)
13 /* code to make vga init run in real mode - does work but against the current Linuxbios philosophy */
14 printk_debug("INSTALL REAL-MODE IDT\n");
16 printk_debug("DO THE VGA BIOS\n");
22 static struct device_operations vga_operations = {
23 .read_resources = pci_dev_read_resources,
24 .set_resources = pci_dev_set_resources,
25 .enable_resources = pci_dev_enable_resources,
30 static struct pci_driver vga_driver __pci_driver = {
31 .ops = &vga_operations,
36 struct chip_operations mainboard_emulation_qemu_i386_ops = {
37 CHIP_NAME("QEMU Mainboard")