Changeset a1d5167 in mainline for HelenOS.config


Ignore:
Timestamp:
2009-03-08T09:29:07Z (15 years ago)
Author:
Jakub Jermar <jakub@…>
Branches:
lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export
Children:
66e41b8
Parents:
c247262
Message:

Remove the hated DEFAULTS config option.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • HelenOS.config

    rc247262 ra1d5167  
    2828#
    2929
    30 ## Configuration options
    31 
    32 % Assume sane defaults where sensible?
    33 ! DEFAULTS (y/n)
    34 
    3530## General platform options
    3631
     
    7267@ "athlon_xp" Athlon XP
    7368@ "athlon_mp" Athlon MP
    74 ! [DEFAULTS=n&PLATFORM=ia32] PROCESSOR (choice)
    75 
    76 % CPU type
    77 @ "pentium4" Pentium 4
    78 ! [DEFAULTS=y&PLATFORM=ia32] PROCESSOR (choice)
     69! [PLATFORM=ia32] PROCESSOR (choice)
    7970
    8071% CPU type
     
    232223@ "icc_native" ICC Native
    233224@ "suncc_native" Sun Studio C Compiler
    234 ! [DEFAULTS=n&(PLATFORM=amd64|PLATFORM=ia32)] COMPILER (choice)
     225! [PLATFORM=amd64|PLATFORM=ia32] COMPILER (choice)
    235226
    236227% Compiler
     
    238229@ "gcc_native" GCC Native
    239230@ "icc_native" ICC Native
    240 ! [DEFAULTS=n&PLATFORM=ia64] COMPILER (choice)
     231! [PLATFORM=ia64] COMPILER (choice)
    241232
    242233% Compiler
     
    244235@ "gcc_native" GCC Native
    245236@ "suncc_native" Sun Studio C Compiler
    246 ! [DEFAULTS=n&PLATFORM=sparc64] COMPILER (choice)
     237! [PLATFORM=sparc64] COMPILER (choice)
    247238
    248239% Compiler
    249240@ "gcc_cross" GCC Cross-compiler
    250241@ "gcc_native" GCC Native
    251 ! [DEFAULTS=n&(PLATFORM=arm32|PLATFORM=mips32|PLATFORM=ppc32)] COMPILER (choice)
    252 
    253 % Compiler
    254 @ "gcc_cross" GCC Cross-compiler
    255 ! [DEFAULTS=y] COMPILER (choice)
     242! [PLATFORM=arm32|PLATFORM=mips32|PLATFORM=ppc32] COMPILER (choice)
    256243
    257244## Debug build options
    258245
    259246% Debug build
    260 ! [DEFAULTS=n]CONFIG_DEBUG (y/n)
    261 % Debug build
    262 ! [DEFAULTS=y]CONFIG_DEBUG (y)
     247! CONFIG_DEBUG (y/n)
    263248
    264249% Deadlock detection support for spinlocks
    265 ! [DEFAULTS=n&CONFIG_DEBUG=y&CONFIG_SMP=y] CONFIG_DEBUG_SPINLOCK (y/n)
    266 % Deadlock detection support for spinlocks
    267 ! [DEFAULTS=y&CONFIG_DEBUG=y&CONFIG_SMP=y] CONFIG_DEBUG_SPINLOCK (y)
     250! [CONFIG_DEBUG=y&CONFIG_SMP=y] CONFIG_DEBUG_SPINLOCK (y/n)
    268251
    269252## Kernel configuration
     
    315298
    316299% Improved support for hyperthreading
    317 ! [DEFAULTS=n&PLATFORM=amd64&CONFIG_SMP=y] CONFIG_HT (y/n)
     300! [PLATFORM=amd64&CONFIG_SMP=y] CONFIG_HT (y/n)
    318301% Improved support for hyperthreading
    319 ! [DEFAULTS=y&PLATFORM=amd64&CONFIG_SMP=y] CONFIG_HT (y)
    320 % Improved support for hyperthreading
    321 ! [DEFAULTS=n&PLATFORM=ia32&PROCESSOR!=athlon_xp&PROCESSOR!=athlon_mp&PROCESSOR!=pentium3&CONFIG_SMP=y] CONFIG_HT (y/n)
    322 % Improved support for hyperthreading
    323 ! [DEFAULTS=y&PLATFORM=ia32&PROCESSOR!=athlon_xp&PROCESSOR!=athlon_mp&PROCESSOR!=pentium3&CONFIG_SMP=y] CONFIG_HT (y)
     302! [PLATFORM=ia32&PROCESSOR!=athlon_xp&PROCESSOR!=athlon_mp&PROCESSOR!=pentium3&CONFIG_SMP=y] CONFIG_HT (y/n)
    324303
    325304% Lazy FPU context switching
    326 ! [DEFAULTS=n&CONFIG_FPU=y] CONFIG_FPU_LAZY (y/n)
    327 % Lazy FPU context switching
    328 ! [DEFAULTS=y&CONFIG_FPU=y] CONFIG_FPU_LAZY (y)
     305! [CONFIG_FPU=y] CONFIG_FPU_LAZY (y/n)
    329306
    330307% Use VHPT
    331 ! [DEFAULTS=n&PLATFORM=ia64] CONFIG_VHPT (n/y)
     308! [PLATFORM=ia64] CONFIG_VHPT (n/y)
    332309
    333310% Use TSB
    334 ! [DEFAULTS=n&PLATFORM=sparc64] CONFIG_TSB (y/n)
    335 % Use TSB
    336 ! [DEFAULTS=y&PLATFORM=sparc64] CONFIG_TSB (y)
     311! [PLATFORM=sparc64] CONFIG_TSB (y/n)
    337312
    338313% IO SAPIC on default address support
    339 ! [DEFAULTS=n&PLATFORM=ia64&MACHINE!=ski] CONFIG_IOSAPIC (y/n)
    340 % IO SAPIC on default address support
    341 ! [DEFAULTS=y&PLATFORM=ia64&MACHINE!=ski] CONFIG_IOSAPIC (y)
     314! [PLATFORM=ia64&MACHINE!=ski] CONFIG_IOSAPIC (y/n)
    342315
    343316% Virtually indexed D-cache support
    344 ! [DEFAULTS=n&PLATFORM=sparc64] CONFIG_VIRT_IDX_DCACHE (y/n)
    345 % Virtually indexed D-cache support
    346 ! [DEFAULTS=y&PLATFORM=sparc64] CONFIG_VIRT_IDX_DCACHE (y)
     317! [PLATFORM=sparc64] CONFIG_VIRT_IDX_DCACHE (y/n)
    347318
    348319% Support for userspace debuggers
    349 ! [DEFAULTS=n] CONFIG_UDEBUG (y/n)
    350 % Support for userspace debuggers
    351 ! [DEFAULTS=y] CONFIG_UDEBUG (y)
     320! CONFIG_UDEBUG (y/n)
    352321
    353322% Kernel console support
    354 ! [DEFAULTS=n] CONFIG_KCONSOLE (y/n)
    355 % Kernel console support
    356 ! [DEFAULTS=y] CONFIG_KCONSOLE (y)
     323! CONFIG_KCONSOLE (y/n)
    357324
    358325% Detailed kernel logging
    359 ! [DEFAULTS=n] CONFIG_LOG (n/y)
     326! CONFIG_LOG (n/y)
    360327
    361328% Compile kernel tests
    362 ! [DEFAULTS=n] CONFIG_TEST (y/n)
    363 % Compile kernel tests
    364 ! [DEFAULTS=y] CONFIG_TEST (y)
     329! CONFIG_TEST (y/n)
    365330
    366331## Hardware support
     
    421386@ "1600"
    422387@ "2048"
    423 ! [DEFAULTS=n&(PLATFORM=ia32|PLATFORM=amd64)&CONFIG_FB=y] CONFIG_VESA_WIDTH (choice)
    424 
    425 % Framebuffer width
    426 @ "800"
    427 ! [DEFAULTS=y&(PLATFORM=ia32|PLATFORM=amd64)&CONFIG_FB=y] CONFIG_VESA_WIDTH (choice)
     388! [(PLATFORM=ia32|PLATFORM=amd64)&CONFIG_FB=y] CONFIG_VESA_WIDTH (choice)
    428389
    429390% Framebuffer height
     
    438399@ "1200"
    439400@ "1536"
    440 ! [DEFAULTS=n&(PLATFORM=ia32|PLATFORM=amd64)&CONFIG_FB=y] CONFIG_VESA_HEIGHT (choice)
    441 
    442 % Framebuffer height
    443 @ "600"
    444 ! [DEFAULTS=y&(PLATFORM=ia32|PLATFORM=amd64)&CONFIG_FB=y] CONFIG_VESA_HEIGHT (choice)
     401! [(PLATFORM=ia32|PLATFORM=amd64)&CONFIG_FB=y] CONFIG_VESA_HEIGHT (choice)
    445402
    446403% Framebuffer depth
     
    448405@ "16"
    449406@ "24"
    450 ! [DEFAULTS=n&(PLATFORM=ia32|PLATFORM=amd64)&CONFIG_FB=y] CONFIG_VESA_BPP (choice)
    451 
    452 % Framebuffer depth
    453 @ "16"
    454 ! [DEFAULTS=y&(PLATFORM=ia32|PLATFORM=amd64)&CONFIG_FB=y] CONFIG_VESA_BPP (choice)
     407! [(PLATFORM=ia32|PLATFORM=amd64)&CONFIG_FB=y] CONFIG_VESA_BPP (choice)
    455408
    456409% Start AP processors by the loader
    457 ! [DEFAULTS=n&PLATFORM=sparc64&CONFIG_SMP=y] CONFIG_AP (y/n)
    458 % Start AP processors by the loader
    459 ! [DEFAULTS=y&PLATFORM=sparc64&CONFIG_SMP=y] CONFIG_AP (y)
     410! [PLATFORM=sparc64&CONFIG_SMP=y] CONFIG_AP (y/n)
    460411
    461412% Use Block Address Translation by the loader
    462 ! [DEFAULTS=n&PLATFORM=ppc32] CONFIG_BAT (y/n)
    463 % Use Block Address Translation by the loader
    464 ! [DEFAULTS=y&PLATFORM=ppc32] CONFIG_BAT (y)
     413! [PLATFORM=ppc32] CONFIG_BAT (y/n)
    465414
    466415% Preserve A.OUT header in isofs.b
     
    473422@ "us_qwerty" US QWERTY
    474423@ "us_dvorak" US Dvorak
    475 ! [DEFAULTS=n&CONFIG_HID_IN=keyboard] KBD_LAYOUT (choice)
    476 % Keyboard layout
    477 @ "us_qwerty" US QWERTY
    478 ! [DEFAULTS=y&CONFIG_HID_IN=keyboard] KBD_LAYOUT (choice)
     424! [CONFIG_HID_IN=keyboard] KBD_LAYOUT (choice)
Note: See TracChangeset for help on using the changeset viewer.