Rev 3873 | Rev 3890 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3873 | Rev 3884 | ||
|---|---|---|---|
| Line 1... | Line 1... | ||
| 1 | # |
1 | # |
| 2 | # Copyright (c) 2006 Ondrej Palkovsky |
2 | # Copyright (c) 2006 Ondrej Palkovsky |
| - | 3 | # Copyright (c) 2009 Martin Decky |
|
| 3 | # All rights reserved. |
4 | # All rights reserved. |
| 4 | # |
5 | # |
| 5 | # Redistribution and use in source and binary forms, with or without |
6 | # Redistribution and use in source and binary forms, with or without |
| 6 | # modification, are permitted provided that the following conditions |
7 | # modification, are permitted provided that the following conditions |
| 7 | # are met: |
8 | # are met: |
| Line 72... | Line 73... | ||
| 72 | @ "tmpfs" TMPFS image |
73 | @ "tmpfs" TMPFS image |
| 73 | @ "fat" FAT16 image |
74 | @ "fat" FAT16 image |
| 74 | ! RDFMT (choice) |
75 | ! RDFMT (choice) |
| 75 | 76 | ||
| 76 | 77 | ||
| - | 78 | ## Mapping between platform and kernel architecture |
|
| - | 79 | ||
| - | 80 | % Kernel architecture |
|
| - | 81 | @ "amd64" |
|
| - | 82 | ! [PLATFORM=amd64] KARCH (choice) |
|
| - | 83 | ||
| - | 84 | % Kernel architecture |
|
| - | 85 | @ "arm32" |
|
| - | 86 | ! [PLATFORM=arm32] KARCH (choice) |
|
| - | 87 | ||
| - | 88 | % Kernel architecture |
|
| - | 89 | @ "ia32" |
|
| - | 90 | ! [PLATFORM=ia32] KARCH (choice) |
|
| - | 91 | ||
| - | 92 | % Kernel architecture |
|
| - | 93 | @ "ia32xen" |
|
| - | 94 | ! [PLATFORM=ia32xen] KARCH (choice) |
|
| - | 95 | ||
| - | 96 | % Kernel architecture |
|
| - | 97 | @ "ia64" |
|
| - | 98 | ! [PLATFORM=ia64] KARCH (choice) |
|
| - | 99 | ||
| - | 100 | % Kernel architecture |
|
| - | 101 | @ "mips32" |
|
| - | 102 | ! [PLATFORM=mips32] KARCH (choice) |
|
| - | 103 | ||
| - | 104 | % Kernel architecture |
|
| - | 105 | @ "ppc32" |
|
| - | 106 | ! [PLATFORM=ppc32] KARCH (choice) |
|
| - | 107 | ||
| - | 108 | % Kernel architecture |
|
| - | 109 | @ "ppc64" |
|
| - | 110 | ! [PLATFORM=ppc64] KARCH (choice) |
|
| - | 111 | ||
| - | 112 | % Kernel architecture |
|
| - | 113 | @ "sparc64" |
|
| - | 114 | ! [PLATFORM=sparc64] KARCH (choice) |
|
| - | 115 | ||
| - | 116 | ||
| - | 117 | ## Mapping between platform and user space architecture |
|
| - | 118 | ||
| - | 119 | % User space architecture |
|
| - | 120 | @ "amd64" |
|
| - | 121 | ! [PLATFORM=amd64] UARCH (choice) |
|
| - | 122 | ||
| - | 123 | % User space architecture |
|
| - | 124 | @ "arm32" |
|
| - | 125 | ! [PLATFORM=arm32] UARCH (choice) |
|
| - | 126 | ||
| - | 127 | % User space architecture |
|
| - | 128 | @ "ia32" |
|
| - | 129 | ! [PLATFORM=ia32|PLATFORM=ia32xen] UARCH (choice) |
|
| - | 130 | ||
| - | 131 | % User space architecture |
|
| - | 132 | @ "ia64" |
|
| - | 133 | ! [PLATFORM=ia64] UARCH (choice) |
|
| - | 134 | ||
| - | 135 | % User space architecture |
|
| - | 136 | @ "mips32" |
|
| - | 137 | ! [PLATFORM=mips32&(MACHINE=msim|MACHINE=simics|MACHINE=lgxemul)] UARCH (choice) |
|
| - | 138 | ||
| - | 139 | % User space architecture |
|
| - | 140 | @ "mips32eb" |
|
| - | 141 | ! [PLATFORM=mips32&(MACHINE=bgxemul)] UARCH (choice) |
|
| - | 142 | ||
| - | 143 | % User space architecture |
|
| - | 144 | @ "ppc32" |
|
| - | 145 | ! [PLATFORM=ppc32] UARCH (choice) |
|
| - | 146 | ||
| - | 147 | % User space architecture |
|
| - | 148 | @ "ppc64" |
|
| - | 149 | ! [PLATFORM=ppc64] UARCH (choice) |
|
| - | 150 | ||
| - | 151 | % User space architecture |
|
| - | 152 | @ "sparc64" |
|
| - | 153 | ! [PLATFORM=sparc64] UARCH (choice) |
|
| - | 154 | ||
| - | 155 | ||
| - | 156 | ## Mapping between platform and boot architecture |
|
| - | 157 | ||
| - | 158 | % Boot architecture |
|
| - | 159 | @ "amd64" |
|
| - | 160 | ! [PLATFORM=amd64] BARCH (choice) |
|
| - | 161 | ||
| - | 162 | % Boot architecture |
|
| - | 163 | @ "arm32" |
|
| - | 164 | ! [PLATFORM=arm32] BARCH (choice) |
|
| - | 165 | ||
| - | 166 | % Boot architecture |
|
| - | 167 | @ "ia32" |
|
| - | 168 | ! [PLATFORM=ia32] BARCH (choice) |
|
| - | 169 | ||
| - | 170 | % Boot architecture |
|
| - | 171 | @ "ia32xen" |
|
| - | 172 | ! [PLATFORM=ia32xen] BARCH (choice) |
|
| - | 173 | ||
| - | 174 | % Boot architecture |
|
| - | 175 | @ "ia64" |
|
| - | 176 | ! [PLATFORM=ia64] BARCH (choice) |
|
| - | 177 | ||
| - | 178 | % Boot architecture |
|
| - | 179 | @ "mips32" |
|
| - | 180 | ! [PLATFORM=mips32] BARCH (choice) |
|
| - | 181 | ||
| - | 182 | % Boot architecture |
|
| - | 183 | @ "ppc32" |
|
| - | 184 | ! [PLATFORM=ppc32] BARCH (choice) |
|
| - | 185 | ||
| - | 186 | % Boot architecture |
|
| - | 187 | @ "ppc64" |
|
| - | 188 | ! [PLATFORM=ppc64] BARCH (choice) |
|
| - | 189 | ||
| - | 190 | % Boot architecture |
|
| - | 191 | @ "sparc64" |
|
| - | 192 | ! [PLATFORM=sparc64] BARCH (choice) |
|
| - | 193 | ||
| - | 194 | ||
| - | 195 | ## Mapping between platform and image format |
|
| - | 196 | ||
| - | 197 | % Image format |
|
| - | 198 | @ "binary" |
|
| - | 199 | ! [PLATFORM=mips32&MACHINE=msim] IMAGE (choice) |
|
| - | 200 | ||
| - | 201 | % Image format |
|
| - | 202 | @ "ecoff" |
|
| - | 203 | ! [PLATFORM=mips32&(MACHINE=simics|MACHINE=bgxemul|MACHINE=lgxemul)] IMAGE (choice) |
|
| - | 204 | ||
| - | 205 | ||
| 77 | ## Compiler options |
206 | ## Compiler options |
| 78 | 207 | ||
| 79 | % Compiler |
208 | % Compiler |
| 80 | @ "gcc_cross" GCC Cross-compiler |
209 | @ "gcc_cross" GCC Cross-compiler |
| 81 | @ "gcc_native" GCC Native |
210 | @ "gcc_native" GCC Native |
| Line 105... | Line 234... | ||
| 105 | 234 | ||
| 106 | % Debug build |
235 | % Debug build |
| 107 | ! CONFIG_DEBUG (y/n) |
236 | ! CONFIG_DEBUG (y/n) |
| 108 | 237 | ||
| 109 | 238 | ||
| - | 239 | ## Kernel configuration |
|
| - | 240 | ||
| - | 241 | % Fences |
|
| - | 242 | ! [PLATFORM=ia32&(MACHINE=athlon-xp|MACHINE=athlon-mp|MACHINE=pentium3)] CONFIG_FENCES_P3 (y) |
|
| - | 243 | ||
| - | 244 | % Fences |
|
| - | 245 | ! [(PLATFORM=ia32&(MACHINE=pentium4|MACHINE=core))|PLATFORM=amd64] CONFIG_FENCES_P4 (y) |
|
| - | 246 | ||
| - | 247 | % ACPI support |
|
| - | 248 | ! [PLATFORM=ia32|PLATFORM=amd64] CONFIG_ACPI (y) |
|
| - | 249 | ||
| - | 250 | % Hierarchical page tables support |
|
| - | 251 | ! [PLATFORM=ia32|PLATFORM=amd64|PLATFORM=arm32|PLATFORM=mips32|PLATFORM=ppc32] CONFIG_PAGE_PT (y) |
|
| - | 252 | ||
| - | 253 | % Page hash table support |
|
| - | 254 | ! [PLATFORM=ia64|PLATFORM=sparc64] CONFIG_PAGE_HT (y) |
|
| - | 255 | ||
| - | 256 | % i8042 controller support |
|
| - | 257 | ! [PLATFORM=ia32|PLATFORM=amd64|(PLATFORM=ia64&MACHINE=i460GX)] CONFIG_I8042 (y) |
|
| - | 258 | ||
| - | 259 | % Sun keyboard support |
|
| - | 260 | ! [PLATFORM=sparc64] CONFIG_SUN_KBD (y) |
|
| - | 261 | ||
| - | 262 | % EGA support |
|
| - | 263 | ! [PLATFORM=ia32|PLATFORM=amd64|(PLATFORM=ia64&MACHINE=i460GX)] CONFIG_EGA (y) |
|
| - | 264 | ||
| - | 265 | % Software integer division support |
|
| - | 266 | ! [PLATFORM=ia32|PLATFORM=arm32|PLATFORM=ia64|PLATFORM=mips32|PLATFORM=ppc32] CONFIG_SOFTINT (y) |
|
| - | 267 | ||
| - | 268 | % ASID support |
|
| - | 269 | ! [PLATFORM=ia64|PLATFORM=mips32|PLATFORM=ppc32|PLATFORM=sparc64] CONFIG_ASID (y) |
|
| - | 270 | ||
| - | 271 | % ASID FIFO support |
|
| - | 272 | ! [PLATFORM=ia64|PLATFORM=mips32|PLATFORM=ppc32|PLATFORM=sparc64] CONFIG_ASID_FIFO (y) |
|
| - | 273 | ||
| - | 274 | % OpenFirmware tree support |
|
| - | 275 | ! [PLATFORM=sparc64] CONFIG_OFW_TREE (y) |
|
| - | 276 | ||
| - | 277 | % FPU support |
|
| - | 278 | ! [PLATFORM=ia32|PLATFORM=amd64|PLATFORM=ia64|PLATFORM=sparc64|(PLATFORM=mips32&(MACHINE=lgxemul|MACHINE=bgxemul))] CONFIG_FPU (y) |
|
| - | 279 | ||
| - | 280 | ||
| 110 | ## Kernel features options |
281 | ## Kernel features options |
| 111 | 282 | ||
| 112 | % Support for SMP |
283 | % Support for SMP |
| 113 | ! [PLATFORM=ia32|PLATFORM=amd64|PLATFORM=sparc64|PLATFORM=ia64] CONFIG_SMP (y/n) |
284 | ! [(PLATFORM=ia32&MACHINE!=athlon-xp)|PLATFORM=amd64|PLATFORM=sparc64|PLATFORM=ia64] CONFIG_SMP (y/n) |
| 114 | 285 | ||
| 115 | % Improved support for hyperthreading |
286 | % Improved support for hyperthreading |
| 116 | ! [(PLATFORM=ia32|PLATFORM=amd64)&CONFIG_SMP=y] CONFIG_HT (y/n) |
287 | ! [((PLATFORM=ia32&MACHINE!=athlon-xp&MACHINE!=athlon-mp&MACHINE!=pentium3)|PLATFORM=amd64)&CONFIG_SMP=y] CONFIG_HT (y/n) |
| 117 | 288 | ||
| 118 | % Simics BIOS AP boot fix |
289 | % Simics BIOS AP boot fix |
| 119 | ! [(PLATFORM=ia32|PLATFORM=amd64)&CONFIG_SMP=y] CONFIG_SIMICS_FIX (y/n) |
290 | ! [(PLATFORM=ia32|PLATFORM=amd64)&CONFIG_SMP=y] CONFIG_SIMICS_FIX (y/n) |
| 120 | 291 | ||
| 121 | % Lazy FPU context switching |
292 | % Lazy FPU context switching |
| 122 | ! [(PLATFORM=mips32&MACHINE!=msim&MACHINE!=simics)|PLATFORM=amd64|PLATFORM=ia32|PLATFORM=ia64|PLATFORM=sparc64] CONFIG_FPU_LAZY (y/n) |
293 | ! [CONFIG_FPU=y] CONFIG_FPU_LAZY (y/n) |
| 123 | 294 | ||
| 124 | % Use VHPT |
295 | % Use VHPT |
| 125 | ! [PLATFORM=ia64] CONFIG_VHPT (n/y) |
296 | ! [PLATFORM=ia64] CONFIG_VHPT (n/y) |
| 126 | 297 | ||
| 127 | % Use TSB |
298 | % Use TSB |
| Line 131... | Line 302... | ||
| 131 | ! [PLATFORM=sparc64] CONFIG_Z8530 (y/n) |
302 | ! [PLATFORM=sparc64] CONFIG_Z8530 (y/n) |
| 132 | 303 | ||
| 133 | % Support for NS16550 serial port |
304 | % Support for NS16550 serial port |
| 134 | ! [PLATFORM=sparc64|(PLATFORM=ia64&MACHINE!=ski)] CONFIG_NS16550 (n/y) |
305 | ! [PLATFORM=sparc64|(PLATFORM=ia64&MACHINE!=ski)] CONFIG_NS16550 (n/y) |
| 135 | 306 | ||
| 136 | % Support for Serengeti console |
- | |
| 137 | ! [PLATFORM=sparc64] CONFIG_SGCN (y/n) |
- | |
| 138 | - | ||
| 139 | % IOSapic on default address support |
307 | % IOSapic on default address support |
| 140 | ! [PLATFORM=ia64&MACHINE!=ski] CONFIG_IOSAPIC (y/n) |
308 | ! [PLATFORM=ia64&MACHINE!=ski] CONFIG_IOSAPIC (y/n) |
| 141 | 309 | ||
| 142 | % Interrupt-driven driver for Legacy Keyboard |
310 | % Interrupt-driven driver for Legacy Keyboard |
| 143 | ! [CONFIG_NS16550=n&CONFIG_IOSAPIC=y&MACHINE!=ski] CONFIG_I8042_INTERRUPT_DRIVEN (y/n) |
311 | ! [CONFIG_NS16550=n&CONFIG_IOSAPIC=y&MACHINE!=ski] CONFIG_I8042_INTERRUPT_DRIVEN (y/n) |
| 144 | 312 | ||
| 145 | % Interrupt-driven driver for NS16550 |
313 | % Interrupt-driven driver for NS16550 |
| 146 | ! [CONFIG_NS16550=y&((PLATFORM!=ia64)|CONFIG_IOSAPIC=y)&MACHINE!=ski] CONFIG_NS16550_INTERRUPT_DRIVEN (y/n) |
314 | ! [CONFIG_NS16550=y&((PLATFORM!=ia64)|CONFIG_IOSAPIC=y)&MACHINE!=ski] CONFIG_NS16550_INTERRUPT_DRIVEN (y/n) |
| 147 | 315 | ||
| - | 316 | % Support for Serengeti console |
|
| - | 317 | ! [PLATFORM=sparc64] CONFIG_SGCN (y/n) |
|
| - | 318 | ||
| 148 | % Virtually indexed D-cache support |
319 | % Virtually indexed D-cache support |
| 149 | ! [PLATFORM=sparc64] CONFIG_VIRT_IDX_DCACHE (y/n) |
320 | ! [PLATFORM=sparc64] CONFIG_VIRT_IDX_DCACHE (y/n) |
| 150 | 321 | ||
| 151 | % Support for userspace debuggers |
322 | % Support for userspace debuggers |
| 152 | ! CONFIG_UDEBUG (n/y) |
323 | ! CONFIG_UDEBUG (n/y) |
| Line 173... | Line 344... | ||
| 173 | ## Hardware support |
344 | ## Hardware support |
| 174 | 345 | ||
| 175 | % Framebuffer support |
346 | % Framebuffer support |
| 176 | ! [(PLATFORM=mips32&MACHINE=lgxemul)|(PLATFORM=mips32&MACHINE=bgxemul)|(PLATFORM=ia32)|(PLATFORM=amd64)|(PLATFORM=arm32)|(PLATFORM=sparc64&MACHINE=us3)] CONFIG_FB (y/n) |
347 | ! [(PLATFORM=mips32&MACHINE=lgxemul)|(PLATFORM=mips32&MACHINE=bgxemul)|(PLATFORM=ia32)|(PLATFORM=amd64)|(PLATFORM=arm32)|(PLATFORM=sparc64&MACHINE=us3)] CONFIG_FB (y/n) |
| 177 | 348 | ||
| - | 349 | % Framebuffer support |
|
| - | 350 | ! [PLATFORM=ppc32|(PLATFORM=sparc64&MACHINE=us)] CONFIG_FB (y) |
|
| - | 351 | ||
| 178 | % Framebuffer width |
352 | % Framebuffer width |
| 179 | @ "640" |
353 | @ "640" |
| 180 | @ "800" |
354 | @ "800" |
| 181 | @ "1024" |
355 | @ "1024" |
| 182 | @ "1152" |
356 | @ "1152" |