v86 0.3.4 → 0.3.7

package/bios/seabios/docs/SeaVGABIOS.md

@@ -0,0 +1,39 @@
+SeaVGABIOS is a sub-project of the SeaBIOS project - it is an open
+source implementation of a 16bit X86
+[VGA BIOS](http://en.wikipedia.org/wiki/Video_BIOS). SeaVGABIOS is the
+default VGA BIOS on [QEMU](http://www.qemu.org/). SeaVGABIOS can also
+run natively on some X86 VGA hardware with
+[coreboot](http://www.coreboot.org/).
+
+Building SeaVGABIOS
+===================
+
+To build SeaVGABIOS, obtain the [code](Download), run `make
+menuconfig` and select the type of VGA BIOS to build in the "VGA ROM"
+menu. Once selected, run `make` and the final VGA BIOS binary will be
+located in "out/vgabios.bin".
+
+The choice of available VGA BIOSes within "make menuconfig" is
+dependent on whether CONFIG_QEMU, CONFIG_COREBOOT, or CONFIG_CSM is
+selected. Also, the debug options under the "Debugging" menu apply to
+SeaVGABIOS. All other options found in "make menuconfig" apply only to
+SeaBIOS and will not impact the SeaVGABIOS build.
+
+If SeaVGABIOS is needed for multiple different devices (eg, QEMU's
+cirrus emulation and QEMU's "dispi" emulation), then one must compile
+SeaVGABIOS multiple times with the appropriate config for each build.
+
+SeaVGABIOS code
+===============
+
+The source code for SeaVGABIOS is located in the SeaBIOS
+[git repository](Download). The main VGA BIOS code is located in the
+"vgasrc/" directory. The VGA BIOS code is always compiled in 16bit
+mode.
+
+The SeaVGABIOS builds to a separate binary from the main SeaBIOS
+binary, and much of the VGA BIOS code is separate from the main BIOS
+code. However, much of the SeaBIOS
+[developer documentation](Developer_Documentation) applies to
+SeaVGABIOS. To contribute, please join the
+[SeaBIOS mailing list](Mailinglist).

package/bios/seabios/out/autoconf.h

@@ -0,0 +1,117 @@
+/*
+ *
+ * Automatically generated file; DO NOT EDIT.
+ * SeaBIOS Configuration
+ *
+ */
+#define CONFIG_BOOTSPLASH 0
+#define CONFIG_SMBIOS 0
+#define CONFIG_RELOCATE_INIT 0
+#define CONFIG_VGA_ALLOCATE_EXTRA_STACK 1
+#define CONFIG_USB_UHCI 0
+#define CONFIG_USB_UAS 0
+#define CONFIG_CSM 0
+#define CONFIG_VIRTIO_SCSI 1
+#define CONFIG_VGA_OUTPUT_CRT 0
+#define CONFIG_USB_EHCI 0
+#define CONFIG_USB 0
+#define CONFIG_VGAHOOKS 1
+#define CONFIG_ATA 1
+#define CONFIG_ATA_DMA 1
+#define CONFIG_MOUSE 1
+#define CONFIG_UNAME_RELEASE "5.10.104-linuxkit"
+#define CONFIG_ACPI 1
+#define CONFIG_MPT_SCSI 1
+#define CONFIG_FW_ROMFILE_LOAD 1
+#define CONFIG_VGA_EMULATE_TEXT 0
+#define CONFIG_XEN 1
+#define CONFIG_VGA_BOCHS_VMWARE 0
+#define CONFIG_VGA_COREBOOT 0
+#define CONFIG_VGA_OUTPUT_PANEL 0
+#define CONFIG_NVME 0
+#define CONFIG_SDCARD 1
+#define CONFIG_VGA_RAMFB 0
+#define CONFIG_ATA_PIO32 1
+#define CONFIG_THREADS 1
+#define CONFIG_DEBUG_SERIAL_MEM_ADDRESS 0
+#define CONFIG_BOOT 1
+#define CONFIG_LSI_SCSI 1
+#define CONFIG_DEBUG_SERIAL_PORT 0
+#define CONFIG_DEBUG_SERIAL_MMIO 0
+#define CONFIG_PMM 1
+#define CONFIG_LPT 1
+#define CONFIG_COREBOOT_FLASH 0
+#define CONFIG_BUILD_VGABIOS 1
+#define CONFIG_QEMU_HARDWARE 1
+#define CONFIG_VGA_STDVGA_PORTS 1
+#define CONFIG_PIRTABLE 1
+#define CONFIG_MALLOC_UPPERMEMORY 1
+#define CONFIG_CALL32_SMM 1
+#define CONFIG_DISABLE_A20 0
+#define CONFIG_NO_VGABIOS 0
+#define CONFIG_PNPBIOS 1
+#define CONFIG_ENTRY_EXTRASTACK 1
+#define CONFIG_VGA_VID 0x1234
+#define CONFIG_OPTIONROMS 1
+#define CONFIG_VGA_EXTRA_STACK_SIZE 512
+#define CONFIG_WRITABLE_UPPERMEMORY 0
+#define CONFIG_FLASH_FLOPPY 1
+#define CONFIG_KEYBOARD 1
+#define CONFIG_KBD_CALL_INT15_4F 1
+#define CONFIG_DEBUG_IO 0
+#define CONFIG_DISPLAY_BOCHS 0
+#define CONFIG_RTC_TIMER 1
+#define CONFIG_TSC_TIMER 1
+#define CONFIG_TCGBIOS 1
+#define CONFIG_VGA_VBE 1
+#define CONFIG_PVSCSI 1
+#define CONFIG_DRIVES 1
+#define CONFIG_VGA_GEODEGX2 0
+#define CONFIG_HARDWARE_IRQ 1
+#define CONFIG_VGA_GEODELX 0
+#define CONFIG_VGA_OUTPUT_CRT_PANEL 0
+#define CONFIG_BOOTORDER 1
+#define CONFIG_DEBUG_SERIAL 0
+#define CONFIG_ESP_SCSI 1
+#define CONFIG_PS2PORT 1
+#define CONFIG_VGA_BOCHS_VIRTIO 0
+#define CONFIG_SERIAL 1
+#define CONFIG_DEBUG_COREBOOT 0
+#define CONFIG_MEGASAS 1
+#define CONFIG_VGA_FIXUP_ASM 1
+#define CONFIG_MTRR_INIT 1
+#define CONFIG_ACPI_DSDT 1
+#define CONFIG_USB_KEYBOARD 0
+#define CONFIG_DEBUG_LEVEL 0
+#define CONFIG_AHCI 1
+#define CONFIG_S3_RESUME 1
+#define CONFIG_FLOPPY 1
+#define CONFIG_USB_HUB 0
+#define CONFIG_USB_XHCI 0
+#define CONFIG_OVERRIDE_PCI_ID 1
+#define CONFIG_USB_MSC 0
+#define CONFIG_PCIBIOS 1
+#define CONFIG_SERCON 0
+#define CONFIG_CBFS_LOCATION 0
+#define CONFIG_VGA_BOCHS_STDVGA 1
+#define CONFIG_CDROM_BOOT 1
+#define CONFIG_MULTIBOOT 0
+#define CONFIG_USB_MOUSE 0
+#define CONFIG_VGA_CIRRUS 0
+#define CONFIG_BOOTMENU 0
+#define CONFIG_QEMU 1
+#define CONFIG_MPTABLE 1
+#define CONFIG_VGA_BOCHS_QXL 0
+#define CONFIG_ROM_SIZE 0
+#define CONFIG_COREBOOT 0
+#define CONFIG_CDROM_EMU 1
+#define CONFIG_USB_OHCI 0
+#define CONFIG_LZMA 0
+#define CONFIG_VGA_PCI 1
+#define CONFIG_VIRTIO_BLK 1
+#define CONFIG_USE_SMM 1
+#define CONFIG_VGA_STANDARD_VGA 0
+#define CONFIG_VGA_DID 0x1111
+#define CONFIG_APMBIOS 1
+#define CONFIG_PMTIMER 1
+#define CONFIG_VGA_BOCHS 1

package/bios/seabios/out/include/config/auto.conf

@@ -0,0 +1,69 @@
+#
+# Automatically generated file; DO NOT EDIT.
+# SeaBIOS Configuration
+#
+CONFIG_VGA_ALLOCATE_EXTRA_STACK=y
+CONFIG_VIRTIO_SCSI=y
+CONFIG_VGAHOOKS=y
+CONFIG_ATA=y
+CONFIG_ATA_DMA=y
+CONFIG_MOUSE=y
+CONFIG_ACPI=y
+CONFIG_MPT_SCSI=y
+CONFIG_FW_ROMFILE_LOAD=y
+CONFIG_XEN=y
+CONFIG_SDCARD=y
+CONFIG_ATA_PIO32=y
+CONFIG_THREADS=y
+CONFIG_BOOT=y
+CONFIG_LSI_SCSI=y
+CONFIG_PMM=y
+CONFIG_LPT=y
+CONFIG_BUILD_VGABIOS=y
+CONFIG_QEMU_HARDWARE=y
+CONFIG_VGA_STDVGA_PORTS=y
+CONFIG_PIRTABLE=y
+CONFIG_MALLOC_UPPERMEMORY=y
+CONFIG_CALL32_SMM=y
+CONFIG_PNPBIOS=y
+CONFIG_ENTRY_EXTRASTACK=y
+CONFIG_VGA_VID=0x1234
+CONFIG_OPTIONROMS=y
+CONFIG_VGA_EXTRA_STACK_SIZE=512
+CONFIG_FLASH_FLOPPY=y
+CONFIG_KEYBOARD=y
+CONFIG_KBD_CALL_INT15_4F=y
+CONFIG_RTC_TIMER=y
+CONFIG_TSC_TIMER=y
+CONFIG_TCGBIOS=y
+CONFIG_VGA_VBE=y
+CONFIG_PVSCSI=y
+CONFIG_DRIVES=y
+CONFIG_HARDWARE_IRQ=y
+CONFIG_BOOTORDER=y
+CONFIG_ESP_SCSI=y
+CONFIG_PS2PORT=y
+CONFIG_SERIAL=y
+CONFIG_MEGASAS=y
+CONFIG_VGA_FIXUP_ASM=y
+CONFIG_MTRR_INIT=y
+CONFIG_ACPI_DSDT=y
+CONFIG_DEBUG_LEVEL=0
+CONFIG_AHCI=y
+CONFIG_S3_RESUME=y
+CONFIG_FLOPPY=y
+CONFIG_OVERRIDE_PCI_ID=y
+CONFIG_PCIBIOS=y
+CONFIG_VGA_BOCHS_STDVGA=y
+CONFIG_CDROM_BOOT=y
+CONFIG_QEMU=y
+CONFIG_MPTABLE=y
+CONFIG_ROM_SIZE=0
+CONFIG_CDROM_EMU=y
+CONFIG_VGA_PCI=y
+CONFIG_VIRTIO_BLK=y
+CONFIG_USE_SMM=y
+CONFIG_VGA_DID=0x1111
+CONFIG_APMBIOS=y
+CONFIG_PMTIMER=y
+CONFIG_VGA_BOCHS=y

package/bios/seabios/out/include/config/auto.conf.cmd

@@ -0,0 +1,9 @@
+deps_config := \
+	vgasrc/Kconfig \
+	/prj/src/Kconfig
+
+include/config/auto.conf: \
+	$(deps_config)
+
+
+$(deps_config): ;

package/bios/seabios/out/include/config/tristate.conf

@@ -0,0 +1,4 @@
+#
+# Automatically generated file; DO NOT EDIT.
+# SeaBIOS Configuration
+#