src/mainboard/iei/juki-511p/Options.lb

   1 uses CONFIG_GENERATE_MP_TABLE
   2 uses CONFIG_GENERATE_PIRQ_TABLE
   3 uses CONFIG_USE_FALLBACK_IMAGE
   4 uses CONFIG_HAVE_FALLBACK_BOOT
   5 uses CONFIG_HAVE_HARD_RESET
   6 uses CONFIG_UDELAY_IO
   7 uses CONFIG_HAVE_OPTION_TABLE
   8 uses CONFIG_USE_OPTION_TABLE
   9 uses CONFIG_COMPRESS
  10 uses CONFIG_COMPRESSED_PAYLOAD_NRV2B
  11 uses CONFIG_COMPRESSED_PAYLOAD_LZMA
  12 uses CONFIG_PRECOMPRESSED_PAYLOAD
  13 uses CONFIG_ROM_PAYLOAD
  14 uses CONFIG_IRQ_SLOT_COUNT
  15 uses CONFIG_MAINBOARD
  16 uses CONFIG_MAINBOARD_VENDOR
  17 uses CONFIG_MAINBOARD_PART_NUMBER
  18 uses COREBOOT_EXTRA_VERSION
  19 uses CONFIG_ARCH
  20 uses CONFIG_FALLBACK_SIZE
  21 uses CONFIG_STACK_SIZE
  22 uses CONFIG_HEAP_SIZE
  23 uses CONFIG_ROM_SIZE
  24 uses CONFIG_ROM_SECTION_SIZE
  25 uses CONFIG_ROM_IMAGE_SIZE
  26 uses CONFIG_ROM_SECTION_SIZE
  27 uses CONFIG_ROM_SECTION_OFFSET
  28 uses CONFIG_ROMBASE
  29 uses CONFIG_RAMBASE
  30 uses CONFIG_XIP_ROM_SIZE
  31 uses CONFIG_XIP_ROM_BASE
  32 uses CONFIG_GENERATE_MP_TABLE
  33 uses CONFIG_CROSS_COMPILE
  34 uses CC
  35 uses HOSTCC
  36 uses CONFIG_OBJCOPY
  37 uses CONFIG_CONSOLE_SERIAL8250
  38 uses CONFIG_DEFAULT_CONSOLE_LOGLEVEL
  39 uses CONFIG_MAXIMUM_CONSOLE_LOGLEVEL
  40 uses CONFIG_TTYS0_BAUD
  41 uses CONFIG_TTYS0_BASE
  42 uses CONFIG_TTYS0_LCS
  43 uses CONFIG_VIDEO_MB
  44 uses CONFIG_PIRQ_ROUTE
  45
  46 ## CONFIG_ROM_SIZE is the size of boot ROM that this board will use.
  47 default CONFIG_ROM_SIZE  = 256*1024
  48
  49 ###
  50 ### Build options
  51 ###
  52
  53 ##
  54 ## Build code for the fallback boot
  55 ##
  56 default CONFIG_HAVE_FALLBACK_BOOT=1
  57
  58 ##
  59 ## no MP table
  60 ##
  61 default CONFIG_GENERATE_MP_TABLE=0
  62
  63 ##
  64 ## Build code to reset the motherboard from coreboot
  65 ##
  66 default CONFIG_HAVE_HARD_RESET=0
  67
  68 default CONFIG_UDELAY_IO=1
  69 ##
  70 ## Build code to export a programmable irq routing table
  71 ##
  72 # FIXME: There's an irq_tables.c file, but CONFIG_GENERATE_PIRQ_TABLE is 0.
  73 default CONFIG_GENERATE_PIRQ_TABLE=0
  74 default CONFIG_IRQ_SLOT_COUNT=2
  75 default CONFIG_PIRQ_ROUTE=1
  76
  77 ##
  78 ## Build code to export a CMOS option table
  79 ##
  80 default CONFIG_HAVE_OPTION_TABLE=0
  81
  82 ###
  83 ### coreboot layout values
  84 ###
  85
  86 ## CONFIG_ROM_IMAGE_SIZE is the amount of space to allow coreboot to occupy.
  87 default CONFIG_ROM_IMAGE_SIZE = 65536
  88 default CONFIG_FALLBACK_SIZE = CONFIG_ROM_IMAGE_SIZE
  89
  90 ##
  91 ## Use a small 8K stack
  92 ##
  93 default CONFIG_STACK_SIZE=0x2000
  94
  95 ##
  96 ## Use a small 16K heap
  97 ##
  98 default CONFIG_HEAP_SIZE=0x4000
  99
 100 ##
 101 ## Only use the option table in a normal image
 102 ##
 103 #default CONFIG_USE_OPTION_TABLE = !CONFIG_USE_FALLBACK_IMAGE
 104 default CONFIG_USE_OPTION_TABLE = 0
 105
 106 default CONFIG_RAMBASE = 0x00004000
 107
 108 default CONFIG_ROM_PAYLOAD     = 1
 109
 110 ##
 111 ## The Serial Console
 112 ##
 113
 114 # To Enable the Serial Console
 115 default CONFIG_CONSOLE_SERIAL8250=1
 116 default CONFIG_DEFAULT_CONSOLE_LOGLEVEL=8
 117 default CONFIG_MAXIMUM_CONSOLE_LOGLEVEL=8
 118
 119 ## Select the serial console baud rate
 120 default CONFIG_TTYS0_BAUD=115200
 121 #default CONFIG_TTYS0_BAUD=57600
 122 #default CONFIG_TTYS0_BAUD=38400
 123 #default CONFIG_TTYS0_BAUD=19200
 124 #default CONFIG_TTYS0_BAUD=9600
 125 #default CONFIG_TTYS0_BAUD=4800
 126 #default CONFIG_TTYS0_BAUD=2400
 127 #default CONFIG_TTYS0_BAUD=1200
 128
 129 # Select the serial console base port
 130 default CONFIG_TTYS0_BASE=0x3f8
 131
 132 # Select the serial protocol
 133 # This defaults to 8 data bits, 1 stop bit, and no parity
 134 default CONFIG_TTYS0_LCS=0x3
 135
 136 ##
 137 ## The default compiler
 138 ##
 139 default CONFIG_CROSS_COMPILE=""
 140 default CC="$(CONFIG_CROSS_COMPILE)gcc -m32"
 141 default HOSTCC="gcc"
 142
 143 default CONFIG_VIDEO_MB = 0
 144
 145 end