persmule | 7227743 | 2017-03-25 22:53:06 +0800 | [diff] [blame] | 1 | # |
| 2 | # Automatically generated file; DO NOT EDIT. |
| 3 | # SeaBIOS Configuration |
| 4 | # |
| 5 | |
| 6 | # |
| 7 | # General Features |
| 8 | # |
| 9 | CONFIG_COREBOOT=y |
| 10 | # CONFIG_QEMU is not set |
| 11 | # CONFIG_CSM is not set |
| 12 | # CONFIG_QEMU_HARDWARE is not set |
| 13 | CONFIG_THREADS=y |
| 14 | CONFIG_RELOCATE_INIT=y |
| 15 | CONFIG_BOOTMENU=y |
Paul Menzel | 2628571 | 2017-04-17 10:57:51 +0200 | [diff] [blame^] | 16 | # CONFIG_BOOTSPLASH is not set |
| 17 | # CONFIG_BOOTORDER is not set |
persmule | 7227743 | 2017-03-25 22:53:06 +0800 | [diff] [blame] | 18 | CONFIG_COREBOOT_FLASH=y |
| 19 | CONFIG_LZMA=y |
| 20 | CONFIG_CBFS_LOCATION=0 |
Paul Menzel | 2628571 | 2017-04-17 10:57:51 +0200 | [diff] [blame^] | 21 | # CONFIG_MULTIBOOT is not set |
persmule | 7227743 | 2017-03-25 22:53:06 +0800 | [diff] [blame] | 22 | CONFIG_ENTRY_EXTRASTACK=y |
| 23 | CONFIG_MALLOC_UPPERMEMORY=y |
| 24 | CONFIG_ROM_SIZE=0 |
| 25 | |
| 26 | # |
| 27 | # Hardware support |
| 28 | # |
Paul Menzel | 2628571 | 2017-04-17 10:57:51 +0200 | [diff] [blame^] | 29 | # CONFIG_ATA is not set |
persmule | 7227743 | 2017-03-25 22:53:06 +0800 | [diff] [blame] | 30 | CONFIG_AHCI=y |
Paul Menzel | 2628571 | 2017-04-17 10:57:51 +0200 | [diff] [blame^] | 31 | # CONFIG_SDCARD is not set |
| 32 | # CONFIG_MEGASAS is not set |
| 33 | # CONFIG_FLOPPY is not set |
| 34 | # CONFIG_FLASH_FLOPPY is not set |
persmule | 7227743 | 2017-03-25 22:53:06 +0800 | [diff] [blame] | 35 | CONFIG_PS2PORT=y |
| 36 | CONFIG_USB=y |
| 37 | CONFIG_USB_UHCI=y |
| 38 | CONFIG_USB_OHCI=y |
| 39 | CONFIG_USB_EHCI=y |
Paul Menzel | 2628571 | 2017-04-17 10:57:51 +0200 | [diff] [blame^] | 40 | # CONFIG_USB_XHCI is not set |
persmule | 7227743 | 2017-03-25 22:53:06 +0800 | [diff] [blame] | 41 | CONFIG_USB_MSC=y |
Paul Menzel | 2628571 | 2017-04-17 10:57:51 +0200 | [diff] [blame^] | 42 | # CONFIG_USB_UAS is not set |
persmule | 7227743 | 2017-03-25 22:53:06 +0800 | [diff] [blame] | 43 | CONFIG_USB_HUB=y |
| 44 | CONFIG_USB_KEYBOARD=y |
| 45 | CONFIG_USB_MOUSE=y |
Paul Menzel | 2628571 | 2017-04-17 10:57:51 +0200 | [diff] [blame^] | 46 | # CONFIG_SERIAL is not set |
| 47 | # CONFIG_LPT is not set |
persmule | 7227743 | 2017-03-25 22:53:06 +0800 | [diff] [blame] | 48 | CONFIG_RTC_TIMER=y |
| 49 | CONFIG_HARDWARE_IRQ=y |
| 50 | CONFIG_PMTIMER=y |
| 51 | CONFIG_TSC_TIMER=y |
| 52 | |
| 53 | # |
| 54 | # BIOS interfaces |
| 55 | # |
| 56 | CONFIG_DRIVES=y |
| 57 | CONFIG_CDROM_BOOT=y |
| 58 | CONFIG_CDROM_EMU=y |
Paul Menzel | 2628571 | 2017-04-17 10:57:51 +0200 | [diff] [blame^] | 59 | # CONFIG_PCIBIOS is not set |
| 60 | # CONFIG_APMBIOS is not set |
| 61 | # CONFIG_PNPBIOS is not set |
persmule | 7227743 | 2017-03-25 22:53:06 +0800 | [diff] [blame] | 62 | CONFIG_OPTIONROMS=y |
| 63 | CONFIG_PMM=y |
| 64 | CONFIG_BOOT=y |
| 65 | CONFIG_KEYBOARD=y |
Paul Menzel | 2628571 | 2017-04-17 10:57:51 +0200 | [diff] [blame^] | 66 | # CONFIG_KBD_CALL_INT15_4F is not set |
persmule | 7227743 | 2017-03-25 22:53:06 +0800 | [diff] [blame] | 67 | CONFIG_MOUSE=y |
| 68 | CONFIG_S3_RESUME=y |
Paul Menzel | 2628571 | 2017-04-17 10:57:51 +0200 | [diff] [blame^] | 69 | # CONFIG_VGAHOOKS is not set |
persmule | 7227743 | 2017-03-25 22:53:06 +0800 | [diff] [blame] | 70 | # CONFIG_DISABLE_A20 is not set |
| 71 | CONFIG_TCGBIOS=y |
| 72 | |
| 73 | # |
| 74 | # VGA ROM |
| 75 | # |
Paul Menzel | 2628571 | 2017-04-17 10:57:51 +0200 | [diff] [blame^] | 76 | CONFIG_NO_VGABIOS=y |
persmule | 7227743 | 2017-03-25 22:53:06 +0800 | [diff] [blame] | 77 | # CONFIG_VGA_GEODEGX2 is not set |
| 78 | # CONFIG_VGA_GEODELX is not set |
Paul Menzel | 2628571 | 2017-04-17 10:57:51 +0200 | [diff] [blame^] | 79 | # CONFIG_VGA_COREBOOT is not set |
| 80 | # CONFIG_BUILD_VGABIOS is not set |
persmule | 7227743 | 2017-03-25 22:53:06 +0800 | [diff] [blame] | 81 | CONFIG_VGA_EXTRA_STACK_SIZE=512 |
persmule | 7227743 | 2017-03-25 22:53:06 +0800 | [diff] [blame] | 82 | |
| 83 | # |
| 84 | # Debugging |
| 85 | # |
Paul Menzel | 2628571 | 2017-04-17 10:57:51 +0200 | [diff] [blame^] | 86 | CONFIG_DEBUG_LEVEL=1 |
persmule | 7227743 | 2017-03-25 22:53:06 +0800 | [diff] [blame] | 87 | # CONFIG_DEBUG_SERIAL is not set |
| 88 | CONFIG_DEBUG_COREBOOT=y |