src/mainboard/via/epia-m700/Options.lb

   1 ##
   2 ## This file is part of the coreboot project.
   3 ##
   4 ## Copyright (C) 2009 One Laptop per Child, Association, Inc.
   5 ##
   6 ## This program is free software; you can redistribute it and/or modify
   7 ## it under the terms of the GNU General Public License as published by
   8 ## the Free Software Foundation; either version 2 of the License, or
   9 ## (at your option) any later version.
  10 ##
  11 ## This program is distributed in the hope that it will be useful,
  12 ## but WITHOUT ANY WARRANTY; without even the implied warranty of
  13 ## MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  14 ## GNU General Public License for more details.
  15 ##
  16 ## You should have received a copy of the GNU General Public License
  17 ## along with this program; if not, write to the Free Software
  18 ## Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA  02110-1301 USA
  19 ##
  20
  21 uses CONFIG_HAVE_MP_TABLE
  22 uses CONFIG_HAVE_PIRQ_TABLE
  23 uses CONFIG_USE_FALLBACK_IMAGE
  24 uses CONFIG_HAVE_FALLBACK_BOOT
  25 uses CONFIG_HAVE_HARD_RESET
  26 uses CONFIG_HAVE_OPTION_TABLE
  27 uses CONFIG_USE_OPTION_TABLE
  28 uses CONFIG_ROM_PAYLOAD
  29 uses CONFIG_IRQ_SLOT_COUNT
  30 uses CONFIG_MAINBOARD
  31 uses CONFIG_MAINBOARD_VENDOR
  32 uses CONFIG_MAINBOARD_PART_NUMBER
  33 uses COREBOOT_EXTRA_VERSION
  34 uses CONFIG_ARCH
  35 uses CONFIG_FALLBACK_SIZE
  36 uses CONFIG_STACK_SIZE
  37 uses CONFIG_HEAP_SIZE
  38 uses CONFIG_ROM_SIZE
  39 uses CONFIG_ROM_SECTION_SIZE
  40 uses CONFIG_ROM_IMAGE_SIZE
  41 uses CONFIG_ROM_SECTION_SIZE
  42 uses CONFIG_ROM_SECTION_OFFSET
  43 uses CONFIG_COMPRESSED_PAYLOAD_NRV2B
  44 uses CONFIG_COMPRESSED_PAYLOAD_LZMA
  45 uses CONFIG_ROMBASE
  46 uses CONFIG_RAMBASE
  47 uses CONFIG_XIP_ROM_SIZE
  48 uses CONFIG_XIP_ROM_BASE
  49 uses CONFIG_HAVE_MP_TABLE
  50 uses CONFIG_HAVE_ACPI_TABLES
  51 uses CONFIG_CROSS_COMPILE
  52 uses CC
  53 uses HOSTCC
  54 uses CONFIG_OBJCOPY
  55 uses CONFIG_DEFAULT_CONSOLE_LOGLEVEL
  56 uses CONFIG_MAXIMUM_CONSOLE_LOGLEVEL
  57 uses CONFIG_CONSOLE_SERIAL8250
  58 uses CONFIG_UDELAY_TSC
  59 uses CONFIG_TSC_X86RDTSC_CALIBRATE_WITH_TIMER2
  60 uses CONFIG_PCI_ROM_RUN
  61 uses CONFIG_CONSOLE_VGA
  62 uses CONFIG_MAX_PCI_BUSES
  63 uses CONFIG_TTYS0_BAUD
  64 uses CONFIG_VIDEO_MB
  65 uses CONFIG_IOAPIC
  66
  67 ## New options
  68 uses CONFIG_USE_DCACHE_RAM
  69 uses CONFIG_DCACHE_RAM_BASE
  70 uses CONFIG_DCACHE_RAM_SIZE
  71 uses CONFIG_USE_INIT
  72 #uses MAX_RAM_SLOTS
  73 #uses USB_ENABLE
  74 #uses EHCI_ENABLE
  75 #uses HPET_ENABLE
  76 #uses USB_PORTNUM
  77 #uses FULL_ROM_SIZE
  78 #uses FULL_ROM_BASE
  79 #uses PAYLOAD_IS_SEABIOS
  80 #uses VIACONFIG_TOP_SM_SIZE_MB
  81 #uses VIACONFIG_VGA_PCI_10
  82 #uses VIACONFIG_VGA_PCI_14
  83
  84 ## New options
  85 default CONFIG_USE_DCACHE_RAM = 1
  86 default CONFIG_DCACHE_RAM_BASE = 0xffef0000
  87 # default CONFIG_DCACHE_RAM_BASE = 0xffbf0000
  88 # default CONFIG_DCACHE_RAM_BASE = 0xfec00000 # HPET may use this.
  89 default CONFIG_DCACHE_RAM_SIZE = 8 * 1024
  90 default CONFIG_USE_INIT = 0
  91 #default MAX_RAM_SLOTS = 2
  92 #default USB_ENABLE = 1
  93 #default EHCI_ENABLE = 1
  94 #default HPET_ENABLE = 1
  95 #default USB_PORTNUM = 2
  96 #default FULL_ROM_SIZE = 512 * 1024
  97 #default FULL_ROM_BASE = (0xffffffff - FULL_ROM_SIZE + 1)
  98 #default VIACONFIG_TOP_SM_SIZE_MB = 0
  99 # default VIACONFIG_VGA_PCI_10 = 0xd0000008
 100 # default VIACONFIG_VGA_PCI_14 = 0xfd000000
 101 #default VIACONFIG_VGA_PCI_10 = 0xf8000008
 102 #default VIACONFIG_VGA_PCI_14 = 0xfc000000
 103
 104 default CONFIG_ROM_SIZE = 512 * 1024
 105 default CONFIG_IOAPIC = 1
 106
 107 # Define framebuffer size of VX800's integrated graphics card.
 108 # Supports: 32, 64, 128, 256.
 109 default CONFIG_VIDEO_MB = 64
 110
 111 default CONFIG_CONSOLE_SERIAL8250 = 1
 112 default CONFIG_PCI_ROM_RUN = 0
 113 default CONFIG_CONSOLE_VGA = 0
 114 default CONFIG_HAVE_FALLBACK_BOOT = 1
 115 default CONFIG_HAVE_MP_TABLE = 0
 116 default CONFIG_UDELAY_TSC = 1
 117 default CONFIG_TSC_X86RDTSC_CALIBRATE_WITH_TIMER2 = 1
 118 default CONFIG_HAVE_HARD_RESET = 0
 119 # TODO: There is an irq_tables.c file, should it be used?
 120 default CONFIG_HAVE_PIRQ_TABLE = 0
 121 default CONFIG_IRQ_SLOT_COUNT = 13
 122 default CONFIG_HAVE_ACPI_TABLES = 1
 123 default CONFIG_HAVE_OPTION_TABLE = 1
 124 default CONFIG_ROM_IMAGE_SIZE = 128 * 1024
 125 default CONFIG_FALLBACK_SIZE = CONFIG_ROM_IMAGE_SIZE
 126 default CONFIG_USE_FALLBACK_IMAGE = 1
 127 default CONFIG_STACK_SIZE = 16 * 1024
 128 default CONFIG_HEAP_SIZE = 20 * 1024
 129 # default CONFIG_USE_OPTION_TABLE = !CONFIG_USE_FALLBACK_IMAGE
 130 default CONFIG_USE_OPTION_TABLE = 0
 131 default CONFIG_RAMBASE = 0x00004000
 132 default CONFIG_ROM_PAYLOAD = 1
 133 default CONFIG_CROSS_COMPILE = ""
 134 default CC = "$(CONFIG_CROSS_COMPILE)gcc -m32"
 135 default HOSTCC = "gcc"
 136 default CONFIG_DEFAULT_CONSOLE_LOGLEVEL = 9
 137 default CONFIG_MAXIMUM_CONSOLE_LOGLEVEL = 9
 138
 139 ##
 140 ## Set this to the max PCI bus number you would ever use for PCI config I/O.
 141 ## Setting this number very high will make pci_locate_device() take a long
 142 ## time when it can't find a device.
 143 ##
 144 default CONFIG_MAX_PCI_BUSES = 3
 145
 146 end