v86 0.4.0 → 0.5.11

package/bios/seabios/vgasrc/vgahw.h

@@ -1,152 +0,0 @@
-#ifndef __VGAHW_H
-#define __VGAHW_H
-
-#include "types.h" // u8
-#include "config.h" // CONFIG_*
-
-#include "bochsvga.h" // bochsvga_set_mode
-#include "stdvga.h" // stdvga_set_mode
-#include "geodevga.h" // geodevga_setup
-#include "vgautil.h" // stdvga_list_modes
-
-static inline struct vgamode_s *vgahw_find_mode(int mode) {
-    if (CONFIG_VGA_CIRRUS)
-        return clext_find_mode(mode);
-    if (CONFIG_VGA_BOCHS)
-        return bochsvga_find_mode(mode);
-    if (CONFIG_VGA_EMULATE_TEXT)
-        return cbvga_find_mode(mode);
-    return stdvga_find_mode(mode);
-}
-
-static inline int vgahw_set_mode(struct vgamode_s *vmode_g, int flags) {
-    if (CONFIG_VGA_CIRRUS)
-        return clext_set_mode(vmode_g, flags);
-    if (CONFIG_VGA_BOCHS)
-        return bochsvga_set_mode(vmode_g, flags);
-    if (CONFIG_VGA_EMULATE_TEXT)
-        return cbvga_set_mode(vmode_g, flags);
-    return stdvga_set_mode(vmode_g, flags);
-}
-
-static inline void vgahw_list_modes(u16 seg, u16 *dest, u16 *last) {
-    if (CONFIG_VGA_CIRRUS)
-        clext_list_modes(seg, dest, last);
-    else if (CONFIG_VGA_BOCHS)
-        bochsvga_list_modes(seg, dest, last);
-    else if (CONFIG_VGA_EMULATE_TEXT)
-        cbvga_list_modes(seg, dest, last);
-    else
-        stdvga_list_modes(seg, dest, last);
-}
-
-static inline int vgahw_setup(void) {
-    if (CONFIG_VGA_CIRRUS)
-        return clext_setup();
-    if (CONFIG_VGA_BOCHS)
-        return bochsvga_setup();
-    if (CONFIG_VGA_GEODEGX2 || CONFIG_VGA_GEODELX)
-        return geodevga_setup();
-    if (CONFIG_VGA_COREBOOT)
-        return cbvga_setup();
-    if (CONFIG_DISPLAY_BOCHS)
-        return bochs_display_setup();
-    if (CONFIG_VGA_RAMFB)
-        return ramfb_setup();
-    return stdvga_setup();
-}
-
-static inline int vgahw_get_window(struct vgamode_s *vmode_g, int window) {
-    if (CONFIG_VGA_CIRRUS)
-        return clext_get_window(vmode_g, window);
-    if (CONFIG_VGA_BOCHS)
-        return bochsvga_get_window(vmode_g, window);
-    if (CONFIG_VGA_EMULATE_TEXT)
-        return cbvga_get_window(vmode_g, window);
-    return stdvga_get_window(vmode_g, window);
-}
-
-static inline int vgahw_set_window(struct vgamode_s *vmode_g, int window
-                                   , int val) {
-    if (CONFIG_VGA_CIRRUS)
-        return clext_set_window(vmode_g, window, val);
-    if (CONFIG_VGA_BOCHS)
-        return bochsvga_set_window(vmode_g, window, val);
-    if (CONFIG_VGA_EMULATE_TEXT)
-        return cbvga_set_window(vmode_g, window, val);
-    return stdvga_set_window(vmode_g, window, val);
-}
-
-static inline int vgahw_get_linelength(struct vgamode_s *vmode_g) {
-    if (CONFIG_VGA_CIRRUS)
-        return clext_get_linelength(vmode_g);
-    if (CONFIG_VGA_BOCHS)
-        return bochsvga_get_linelength(vmode_g);
-    if (CONFIG_VGA_EMULATE_TEXT)
-        return cbvga_get_linelength(vmode_g);
-    return stdvga_get_linelength(vmode_g);
-}
-
-static inline int vgahw_set_linelength(struct vgamode_s *vmode_g, int val) {
-    if (CONFIG_VGA_CIRRUS)
-        return clext_set_linelength(vmode_g, val);
-    if (CONFIG_VGA_BOCHS)
-        return bochsvga_set_linelength(vmode_g, val);
-    if (CONFIG_VGA_EMULATE_TEXT)
-        return cbvga_set_linelength(vmode_g, val);
-    return stdvga_set_linelength(vmode_g, val);
-}
-
-static inline int vgahw_get_displaystart(struct vgamode_s *vmode_g) {
-    if (CONFIG_VGA_CIRRUS)
-        return clext_get_displaystart(vmode_g);
-    if (CONFIG_VGA_BOCHS)
-        return bochsvga_get_displaystart(vmode_g);
-    if (CONFIG_VGA_EMULATE_TEXT)
-        return cbvga_get_displaystart(vmode_g);
-    return stdvga_get_displaystart(vmode_g);
-}
-
-static inline int vgahw_set_displaystart(struct vgamode_s *vmode_g, int val) {
-    if (CONFIG_VGA_CIRRUS)
-        return clext_set_displaystart(vmode_g, val);
-    if (CONFIG_VGA_BOCHS)
-        return bochsvga_set_displaystart(vmode_g, val);
-    if (CONFIG_VGA_EMULATE_TEXT)
-        return cbvga_set_displaystart(vmode_g, val);
-    return stdvga_set_displaystart(vmode_g, val);
-}
-
-static inline int vgahw_get_dacformat(struct vgamode_s *vmode_g) {
-    if (CONFIG_VGA_BOCHS)
-        return bochsvga_get_dacformat(vmode_g);
-    if (CONFIG_VGA_EMULATE_TEXT)
-        return cbvga_get_dacformat(vmode_g);
-    return stdvga_get_dacformat(vmode_g);
-}
-
-static inline int vgahw_set_dacformat(struct vgamode_s *vmode_g, int val) {
-    if (CONFIG_VGA_BOCHS)
-        return bochsvga_set_dacformat(vmode_g, val);
-    if (CONFIG_VGA_EMULATE_TEXT)
-        return cbvga_set_dacformat(vmode_g, val);
-    return stdvga_set_dacformat(vmode_g, val);
-}
-
-static inline int vgahw_save_restore(int cmd, u16 seg, void *data) {
-    if (CONFIG_VGA_CIRRUS)
-        return clext_save_restore(cmd, seg, data);
-    if (CONFIG_VGA_BOCHS)
-        return bochsvga_save_restore(cmd, seg, data);
-    if (CONFIG_VGA_EMULATE_TEXT)
-        return cbvga_save_restore(cmd, seg, data);
-    return stdvga_save_restore(cmd, seg, data);
-}
-
-static inline int vgahw_get_linesize(struct vgamode_s *vmode_g) {
-    if (CONFIG_VGA_EMULATE_TEXT)
-        return cbvga_get_linesize(vmode_g);
-    return stdvga_get_linesize(vmode_g);
-}
-
-#endif // vgahw.h

package/bios/seabios/vgasrc/vgainit.c

@@ -1,202 +0,0 @@
-// Main VGA bios initialization
-//
-// Copyright (C) 2009-2013  Kevin O'Connor <kevin@koconnor.net>
-// Copyright (C) 2001-2008 the LGPL VGABios developers Team
-//
-// This file may be distributed under the terms of the GNU LGPLv3 license.
-
-#include "biosvar.h" // SET_BDA
-#include "bregs.h" // struct bregs
-#include "hw/pci.h" // pci_config_readw
-#include "hw/pci_regs.h" // PCI_VENDOR_ID
-#include "hw/serialio.h" // serial_debug_preinit
-#include "output.h" // dprintf
-#include "std/optionrom.h" // struct pci_data
-#include "std/pmm.h" // struct pmmheader
-#include "string.h" // checksum_far
-#include "vgabios.h" // SET_VGA
-#include "vgahw.h" // vgahw_setup
-#include "vgautil.h" // swcursor_check_event
-
-// Type of emulator platform - for dprintf with certain compile options.
-int PlatformRunningOn VAR16;
-
-
-/****************************************************************
- * PCI Data
- ****************************************************************/
-
-struct pci_data rom_pci_data VAR16 VISIBLE16 = {
-    .signature = PCI_ROM_SIGNATURE,
-    .vendor = CONFIG_VGA_VID,
-    .device = CONFIG_VGA_DID,
-    .dlen = 0x18,
-    .class_hi = 0x300,
-    .irevision = 1,
-    .type = PCIROM_CODETYPE_X86,
-    .indicator = 0x80,
-};
-
-
-/****************************************************************
- * PMM call and extra stack setup
- ****************************************************************/
-
-u32
-allocate_pmm(u32 size, int highmem, int aligned)
-{
-    u32 pmmscan;
-    for (pmmscan=0; pmmscan < BUILD_BIOS_SIZE; pmmscan+=16) {
-        struct pmmheader *pmm = (void*)pmmscan;
-        if (GET_FARVAR(SEG_BIOS, pmm->signature) != PMM_SIGNATURE)
-            continue;
-        if (checksum_far(SEG_BIOS, pmm, GET_FARVAR(SEG_BIOS, pmm->length)))
-            continue;
-        struct segoff_s entry = GET_FARVAR(SEG_BIOS, pmm->entry);
-        dprintf(1, "Attempting to allocate %u bytes %s via pmm call to %04x:%04x\n"
-                , size, highmem ? "highmem" : "lowmem"
-                , entry.seg, entry.offset);
-        u16 res1, res2;
-        u16 flags = 8 |
-            ( highmem ? 2 : 1 )|
-            ( aligned ? 4 : 0 );
-        size >>= 4;
-        asm volatile(
-            "pushl %0\n"
-            "pushw %2\n"                // flags
-            "pushl $0xffffffff\n"       // Anonymous handle
-            "pushl %1\n"                // size
-            "pushw $0x00\n"             // PMM allocation request
-            "lcallw *12(%%esp)\n"
-            "addl $16, %%esp\n"
-            "cli\n"
-            "cld\n"
-            : "+r" (entry.segoff), "+r" (size), "+r" (flags),
-              "=a" (res1), "=d" (res2) : : "cc", "memory");
-        u32 res = res1 | (res2 << 16);
-        if (!res || res == PMM_FUNCTION_NOT_SUPPORTED)
-            return 0;
-        return res;
-    }
-    return 0;
-}
-
-u16 ExtraStackSeg VAR16 VISIBLE16;
-
-static void
-allocate_extra_stack(void)
-{
-    if (!CONFIG_VGA_ALLOCATE_EXTRA_STACK)
-        return;
-    u32 res = allocate_pmm(CONFIG_VGA_EXTRA_STACK_SIZE, 0, 0);
-    if (!res)
-        return;
-    dprintf(1, "VGA stack allocated at %x\n", res);
-    SET_VGA(ExtraStackSeg, res >> 4);
-    extern void entry_10_extrastack(void);
-    SET_IVT(0x10, SEGOFF(get_global_seg(), (u32)entry_10_extrastack));
-    return;
-}
-
-
-/****************************************************************
- * Timer hook
- ****************************************************************/
-
-struct segoff_s Timer_Hook_Resume VAR16 VISIBLE16;
-
-void VISIBLE16
-handle_timer_hook(void)
-{
-    swcursor_check_event();
-}
-
-static void
-hook_timer_irq(void)
-{
-    if (!CONFIG_VGA_EMULATE_TEXT)
-        return;
-    extern void entry_timer_hook(void);
-    extern void entry_timer_hook_extrastack(void);
-    struct segoff_s oldirq = GET_IVT(0x08);
-    struct segoff_s newirq = SEGOFF(get_global_seg(), (u32)entry_timer_hook);
-    if (CONFIG_VGA_ALLOCATE_EXTRA_STACK && GET_GLOBAL(ExtraStackSeg))
-        newirq = SEGOFF(get_global_seg(), (u32)entry_timer_hook_extrastack);
-    dprintf(1, "Hooking hardware timer irq (old=%x new=%x)\n"
-            , oldirq.segoff, newirq.segoff);
-    SET_VGA(Timer_Hook_Resume, oldirq);
-    SET_IVT(0x08, newirq);
-}
-
-
-/****************************************************************
- * VGA post
- ****************************************************************/
-
-static void
-init_bios_area(void)
-{
-    // init detected hardware BIOS Area
-    // set 80x25 color (not clear from RBIL but usual)
-    set_equipment_flags(0x30, 0x20);
-
-    // Set the basic modeset options
-    SET_BDA(modeset_ctl, 0x51);
-
-    SET_BDA(dcc_index, CONFIG_VGA_STDVGA_PORTS ? 0x08 : 0xff);
-
-    // FIXME
-    SET_BDA(video_msr, 0x00); // Unavailable on vanilla vga, but...
-    SET_BDA(video_pal, 0x00); // Unavailable on vanilla vga, but...
-}
-
-int VgaBDF VAR16 = -1;
-int HaveRunInit VAR16;
-
-void VISIBLE16
-vga_post(struct bregs *regs)
-{
-    serial_debug_preinit();
-    dprintf(1, "Start SeaVGABIOS (version %s)\n", VERSION);
-    dprintf(1, "VGABUILD: %s\n", BUILDINFO);
-    debug_enter(regs, DEBUG_VGA_POST);
-
-    if (CONFIG_VGA_PCI && !GET_GLOBAL(HaveRunInit)) {
-        u16 bdf = regs->ax;
-        if ((pci_config_readw(bdf, PCI_VENDOR_ID)
-             == GET_GLOBAL(rom_pci_data.vendor))
-            && (pci_config_readw(bdf, PCI_DEVICE_ID)
-                == GET_GLOBAL(rom_pci_data.device)))
-            SET_VGA(VgaBDF, bdf);
-    }
-
-    int ret = vgahw_setup();
-    if (ret) {
-        dprintf(1, "Failed to initialize VGA hardware.  Exiting.\n");
-        return;
-    }
-
-    if (GET_GLOBAL(HaveRunInit))
-        return;
-
-    init_bios_area();
-
-    if (CONFIG_VGA_STDVGA_PORTS)
-        stdvga_build_video_param();
-
-    extern void entry_10(void);
-    SET_IVT(0x10, SEGOFF(get_global_seg(), (u32)entry_10));
-
-    allocate_extra_stack();
-
-    hook_timer_irq();
-
-    SET_VGA(HaveRunInit, 1);
-
-    // Fixup checksum
-    extern u8 _rom_header_size, _rom_header_checksum;
-    SET_VGA(_rom_header_checksum, 0);
-    u8 sum = -checksum_far(get_global_seg(), 0,
-                           GET_GLOBAL(_rom_header_size) * 512);
-    SET_VGA(_rom_header_checksum, sum);
-}

package/bios/seabios/vgasrc/vgalayout.lds.S

@@ -1,23 +0,0 @@
-// Linker definitions for an option rom
-//
-// Copyright (C) 2009  Kevin O'Connor <kevin@koconnor.net>
-//
-// This file may be distributed under the terms of the GNU LGPLv3 license.
-
-OUTPUT_FORMAT("elf32-i386", "elf32-i386", "elf32-i386")
-OUTPUT_ARCH("i386")
-ENTRY(_optionrom_entry)
-SECTIONS
-{
-        .text 0 : {
-                KEEP(*(.rom.header))
-                *(.text.*)
-                _rodata = . ;
-                *(.rodata*)
-                *(.data16.*)
-                }
-
-        // Discard regular data sections to force a link error if
-        // 16bit code attempts to access data not marked with VAR16.
-        /DISCARD/ : { *(.text*) *(.rodata*) *(.data*) *(.bss*) *(COMMON) }
-}

package/bios/seabios/vgasrc/vgautil.h

@@ -1,103 +0,0 @@
-// Misc function and variable declarations.
-#ifndef __VGAUTIL_H
-#define __VGAUTIL_H
-
-#include "types.h" // u8
-
-// cbvga.c
-struct vgamode_s *cbvga_find_mode(int mode);
-void cbvga_list_modes(u16 seg, u16 *dest, u16 *last);
-int cbvga_get_window(struct vgamode_s *vmode_g, int window);
-int cbvga_set_window(struct vgamode_s *vmode_g, int window, int val);
-int cbvga_get_linelength(struct vgamode_s *vmode_g);
-int cbvga_set_linelength(struct vgamode_s *vmode_g, int val);
-int cbvga_get_displaystart(struct vgamode_s *vmode_g);
-int cbvga_set_displaystart(struct vgamode_s *vmode_g, int val);
-int cbvga_get_dacformat(struct vgamode_s *vmode_g);
-int cbvga_set_dacformat(struct vgamode_s *vmode_g, int val);
-int cbvga_save_restore(int cmd, u16 seg, void *data);
-int cbvga_set_mode(struct vgamode_s *vmode_g, int flags);
-int cbvga_get_linesize(struct vgamode_s *vmode_g);
-void cbvga_setup_modes(u64 addr, u8 bpp, u32 xlines, u32 ylines, u32 linelength);
-int cbvga_setup(void);
-
-// bochsdisplay.c
-int bochs_display_setup(void);
-
-// ramfb.c
-int ramfb_setup(void);
-
-// clext.c
-struct vgamode_s *clext_find_mode(int mode);
-void clext_list_modes(u16 seg, u16 *dest, u16 *last);
-int clext_get_window(struct vgamode_s *vmode_g, int window);
-int clext_set_window(struct vgamode_s *vmode_g, int window, int val);
-int clext_get_linelength(struct vgamode_s *vmode_g);
-int clext_set_linelength(struct vgamode_s *vmode_g, int val);
-int clext_get_displaystart(struct vgamode_s *vmode_g);
-int clext_set_displaystart(struct vgamode_s *vmode_g, int val);
-int clext_save_restore(int cmd, u16 seg, void *data);
-int clext_set_mode(struct vgamode_s *vmode_g, int flags);
-struct bregs;
-void clext_1012(struct bregs *regs);
-int clext_setup(void);
-
-// stdvgaio.c
-u8 stdvga_pelmask_read(void);
-void stdvga_pelmask_write(u8 val);
-u8 stdvga_misc_read(void);
-void stdvga_misc_write(u8 value);
-void stdvga_misc_mask(u8 off, u8 on);
-u8 stdvga_sequ_read(u8 index);
-void stdvga_sequ_write(u8 index, u8 value);
-void stdvga_sequ_mask(u8 index, u8 off, u8 on);
-u8 stdvga_grdc_read(u8 index);
-void stdvga_grdc_write(u8 index, u8 value);
-void stdvga_grdc_mask(u8 index, u8 off, u8 on);
-u8 stdvga_crtc_read(u16 crtc_addr, u8 index);
-void stdvga_crtc_write(u16 crtc_addr, u8 index, u8 value);
-void stdvga_crtc_mask(u16 crtc_addr, u8 index, u8 off, u8 on);
-u8 stdvga_attr_read(u8 index);
-void stdvga_attr_write(u8 index, u8 value);
-void stdvga_attr_mask(u8 index, u8 off, u8 on);
-u8 stdvga_attrindex_read(void);
-void stdvga_attrindex_write(u8 value);
-void stdvga_dac_read(u16 seg, u8 *data_far, u8 start, int count);
-void stdvga_dac_write(u16 seg, u8 *data_far, u8 start, int count);
-
-// stdvgamodes.c
-struct vgamode_s *stdvga_find_mode(int mode);
-void stdvga_list_modes(u16 seg, u16 *dest, u16 *last);
-void stdvga_build_video_param(void);
-void stdvga_override_crtc(int mode, u8 *crtc);
-int stdvga_set_mode(struct vgamode_s *vmode_g, int flags);
-int stdvga_get_linesize(struct vgamode_s *vmode_g);
-void stdvga_set_packed_palette(void);
-
-// swcursor.c
-void swcursor_pre_handle10(struct bregs *regs);
-void swcursor_check_event(void);
-
-// vbe.c
-extern u32 VBE_total_memory;
-extern u32 VBE_capabilities;
-extern u32 VBE_framebuffer;
-extern u16 VBE_win_granularity;
-void handle_104f(struct bregs *regs);
-
-// vgafonts.c
-extern u8 vgafont8[];
-extern u8 vgafont14[];
-extern u8 vgafont16[];
-extern u8 vgafont14alt[];
-extern u8 vgafont16alt[];
-
-// vgainit.c
-extern int VgaBDF;
-extern int HaveRunInit;
-u32 allocate_pmm(u32 size, int highmem, int aligned);
-
-// vgaversion.c
-extern const char VERSION[], BUILDINFO[];
-
-#endif // vgautil.h

package/bios/seabios/vgasrc/vgaversion.c

@@ -1,6 +0,0 @@
-// Place build generated version into a C variable
-#include "autovgaversion.h"
-#include "types.h"
-
-char VERSION[] VAR16 = BUILD_VERSION;
-char BUILDINFO[] VAR16 = BUILD_TOOLS;

package/bios/seabios-debug.config

@@ -1,117 +0,0 @@
-#
-# Automatically generated file; DO NOT EDIT.
-# SeaBIOS Configuration
-#
-
-#
-# General Features
-#
-# CONFIG_COREBOOT is not set
-CONFIG_QEMU=y
-# CONFIG_CSM is not set
-CONFIG_QEMU_HARDWARE=y
-CONFIG_XEN=y
-CONFIG_THREADS=y
-# CONFIG_RELOCATE_INIT is not set
-# CONFIG_BOOTMENU is not set
-CONFIG_BOOTORDER=y
-CONFIG_MULTIBOOT=y
-CONFIG_ENTRY_EXTRASTACK=y
-CONFIG_MALLOC_UPPERMEMORY=y
-CONFIG_ROM_SIZE=0
-
-#
-# Hardware support
-#
-CONFIG_ATA=y
-CONFIG_ATA_DMA=y
-CONFIG_ATA_PIO32=y
-CONFIG_AHCI=y
-CONFIG_SDCARD=y
-CONFIG_VIRTIO_BLK=y
-CONFIG_VIRTIO_SCSI=y
-CONFIG_PVSCSI=y
-CONFIG_ESP_SCSI=y
-CONFIG_LSI_SCSI=y
-CONFIG_MEGASAS=y
-CONFIG_MPT_SCSI=y
-CONFIG_FLOPPY=y
-CONFIG_FLASH_FLOPPY=y
-# CONFIG_NVME is not set
-CONFIG_PS2PORT=y
-# CONFIG_USB is not set
-CONFIG_SERIAL=y
-# CONFIG_SERCON is not set
-CONFIG_LPT=y
-CONFIG_RTC_TIMER=y
-CONFIG_HARDWARE_IRQ=y
-CONFIG_USE_SMM=y
-CONFIG_CALL32_SMM=y
-CONFIG_MTRR_INIT=y
-CONFIG_PMTIMER=y
-CONFIG_TSC_TIMER=y
-
-#
-# BIOS interfaces
-#
-CONFIG_DRIVES=y
-CONFIG_CDROM_BOOT=y
-CONFIG_CDROM_EMU=y
-CONFIG_PCIBIOS=y
-CONFIG_APMBIOS=y
-CONFIG_PNPBIOS=y
-CONFIG_OPTIONROMS=y
-CONFIG_PMM=y
-CONFIG_BOOT=y
-CONFIG_KEYBOARD=y
-CONFIG_KBD_CALL_INT15_4F=y
-CONFIG_MOUSE=y
-CONFIG_S3_RESUME=y
-CONFIG_VGAHOOKS=y
-# CONFIG_DISABLE_A20 is not set
-# CONFIG_WRITABLE_UPPERMEMORY is not set
-CONFIG_TCGBIOS=y
-
-#
-# BIOS Tables
-#
-CONFIG_PIRTABLE=y
-CONFIG_MPTABLE=y
-# CONFIG_SMBIOS is not set
-CONFIG_ACPI=y
-CONFIG_ACPI_DSDT=y
-CONFIG_FW_ROMFILE_LOAD=y
-
-#
-# VGA ROM
-#
-# CONFIG_NO_VGABIOS is not set
-# CONFIG_VGA_STANDARD_VGA is not set
-# CONFIG_VGA_CIRRUS is not set
-CONFIG_VGA_BOCHS=y
-# CONFIG_VGA_GEODEGX2 is not set
-# CONFIG_VGA_GEODELX is not set
-# CONFIG_DISPLAY_BOCHS is not set
-# CONFIG_VGA_RAMFB is not set
-CONFIG_VGA_BOCHS_STDVGA=y
-# CONFIG_VGA_BOCHS_VMWARE is not set
-# CONFIG_VGA_BOCHS_QXL is not set
-# CONFIG_VGA_BOCHS_VIRTIO is not set
-CONFIG_BUILD_VGABIOS=y
-CONFIG_VGA_STDVGA_PORTS=y
-CONFIG_VGA_FIXUP_ASM=y
-CONFIG_VGA_ALLOCATE_EXTRA_STACK=y
-CONFIG_VGA_EXTRA_STACK_SIZE=512
-CONFIG_VGA_VBE=y
-CONFIG_VGA_PCI=y
-CONFIG_OVERRIDE_PCI_ID=y
-CONFIG_VGA_VID=0x1234
-CONFIG_VGA_DID=0x1111
-
-#
-# Debugging
-#
-CONFIG_DEBUG_LEVEL=8
-# CONFIG_DEBUG_SERIAL is not set
-# CONFIG_DEBUG_SERIAL_MMIO is not set
-CONFIG_DEBUG_IO=y