| uses CONFIG_GENERATE_MP_TABLE |
| uses CONFIG_GENERATE_PIRQ_TABLE |
| uses CONFIG_USE_FALLBACK_IMAGE |
| uses CONFIG_HAVE_FALLBACK_BOOT |
| uses CONFIG_HAVE_HARD_RESET |
| uses CONFIG_HAVE_OPTION_TABLE |
| uses CONFIG_USE_OPTION_TABLE |
| uses CONFIG_ROM_PAYLOAD |
| uses CONFIG_IRQ_SLOT_COUNT |
| uses CONFIG_MAINBOARD |
| uses CONFIG_MAINBOARD_VENDOR |
| uses CONFIG_MAINBOARD_PART_NUMBER |
| uses COREBOOT_EXTRA_VERSION |
| uses CONFIG_ARCH |
| uses CONFIG_FALLBACK_SIZE |
| uses CONFIG_STACK_SIZE |
| uses CONFIG_HEAP_SIZE |
| uses CONFIG_ROM_SIZE |
| uses CONFIG_ROM_SECTION_SIZE |
| uses CONFIG_ROM_IMAGE_SIZE |
| uses CONFIG_ROM_SECTION_SIZE |
| uses CONFIG_ROM_SECTION_OFFSET |
| uses CONFIG_COMPRESSED_PAYLOAD_NRV2B |
| uses CONFIG_COMPRESSED_PAYLOAD_LZMA |
| uses CONFIG_PRECOMPRESSED_PAYLOAD |
| uses CONFIG_ROMBASE |
| uses CONFIG_RAMBASE |
| uses CONFIG_XIP_ROM_SIZE |
| uses CONFIG_XIP_ROM_BASE |
| uses CONFIG_GENERATE_MP_TABLE |
| uses CONFIG_GENERATE_ACPI_TABLES |
| uses CONFIG_HAVE_ACPI_RESUME |
| uses CONFIG_CROSS_COMPILE |
| uses CC |
| uses HOSTCC |
| uses CONFIG_OBJCOPY |
| uses CONFIG_DEFAULT_CONSOLE_LOGLEVEL |
| uses CONFIG_MAXIMUM_CONSOLE_LOGLEVEL |
| uses CONFIG_CONSOLE_SERIAL8250 |
| uses CONFIG_UDELAY_TSC |
| uses CONFIG_TSC_X86RDTSC_CALIBRATE_WITH_TIMER2 |
| uses CONFIG_PCI_ROM_RUN |
| uses CONFIG_CONSOLE_VGA |
| uses CONFIG_MAX_PCI_BUSES |
| uses CONFIG_TTYS0_BAUD |
| |
| ## CONFIG_ROM_SIZE is the size of boot ROM that this board will use. |
| default CONFIG_ROM_SIZE = 256*1024 |
| |
| ### |
| ### Build options |
| ### |
| default CONFIG_PCI_ROM_RUN=0 |
| default CONFIG_CONSOLE_VGA=0 |
| |
| ## |
| ## Build code for the fallback boot |
| ## |
| default CONFIG_HAVE_FALLBACK_BOOT=1 |
| |
| ## |
| ## no MP table |
| ## |
| default CONFIG_GENERATE_MP_TABLE=0 |
| |
| ## |
| ## Use TSC for udelay. |
| ## |
| default CONFIG_UDELAY_TSC=1 |
| default CONFIG_TSC_X86RDTSC_CALIBRATE_WITH_TIMER2=1 |
| |
| ## |
| ## Build code to reset the motherboard from coreboot |
| ## |
| default CONFIG_HAVE_HARD_RESET=0 |
| |
| ## |
| ## Build code to export a programmable irq routing table |
| ## |
| default CONFIG_GENERATE_PIRQ_TABLE=1 |
| default CONFIG_IRQ_SLOT_COUNT=5 |
| |
| |
| ## |
| ## Build code to load acpi tables |
| ## |
| default CONFIG_GENERATE_ACPI_TABLES=1 |
| |
| |
| ## |
| ## Build code to export a CMOS option table |
| ## |
| default CONFIG_HAVE_OPTION_TABLE=1 |
| |
| ### |
| ### coreboot layout values |
| ### |
| |
| ## CONFIG_ROM_IMAGE_SIZE is the amount of space to allow coreboot to occupy. |
| default CONFIG_ROM_IMAGE_SIZE = 36 * 1024 |
| default CONFIG_FALLBACK_SIZE = CONFIG_ROM_IMAGE_SIZE |
| |
| ## |
| ## Use a small 8K stack |
| ## |
| default CONFIG_STACK_SIZE=0x2000 |
| |
| ## |
| ## Use a small 16K heap |
| ## |
| default CONFIG_HEAP_SIZE=0x4000 |
| |
| ## |
| ## Only use the option table in a normal image |
| ## |
| #default CONFIG_USE_OPTION_TABLE = !CONFIG_USE_FALLBACK_IMAGE |
| default CONFIG_USE_OPTION_TABLE = 0 |
| |
| default CONFIG_RAMBASE = 0x00004000 |
| |
| default CONFIG_ROM_PAYLOAD = 1 |
| |
| ## |
| ## The default compiler |
| ## |
| default CONFIG_CROSS_COMPILE="" |
| default CC="$(CONFIG_CROSS_COMPILE)gcc -m32" |
| default HOSTCC="gcc" |
| |
| ## |
| ## Set this to the max PCI bus number you |
| ## would ever use for PCI config IO. |
| ## Setting this number very high will make |
| ## pci_locate_device take a long time when |
| ## it can't find a device. |
| ## |
| default CONFIG_MAX_PCI_BUSES = 5 |
| |
| default CONFIG_MAXIMUM_CONSOLE_LOGLEVEL=8 |
| default CONFIG_DEFAULT_CONSOLE_LOGLEVEL=8 |
| default CONFIG_CONSOLE_SERIAL8250=1 |
| end |