Fork us on GitHub Follow us on Facebook Follow us on Twitter

Changeset 04d672c3 in mainline


Ignore:
Timestamp:
2009-03-11T14:26:51Z (13 years ago)
Author:
Martin Decky <martin@…>
Branches:
lfn, master
Children:
63b1537
Parents:
f97e25f
Message:

set CONFIG_DEBUG_SPINLOCK after CONFIG_SMP
do not use serial line on msim

File:
1 edited

Legend:

Unmodified
Added
Removed
  • HelenOS.config

    rf97e25f r04d672c3  
    242242! [PLATFORM=arm32|PLATFORM=mips32|PLATFORM=ppc32] COMPILER (choice)
    243243
    244 ## Debug build options
     244
     245## Kernel configuration
     246
     247% Fences
     248! [PLATFORM=ia32&(PROCESSOR=athlon_xp|PROCESSOR=athlon_mp|PROCESSOR=pentium3)] CONFIG_FENCES_P3 (y)
     249
     250% Fences
     251! [PLATFORM=ia32&(PROCESSOR=pentium4|PROCESSOR=core)] CONFIG_FENCES_P4 (y)
     252
     253% Fences
     254! [PLATFORM=amd64] CONFIG_FENCES_P4 (y)
     255
     256% ACPI support
     257! [PLATFORM=ia32|PLATFORM=amd64] CONFIG_ACPI (y)
     258
     259% Hierarchical page tables support
     260! [PLATFORM=ia32|PLATFORM=amd64|PLATFORM=arm32|PLATFORM=mips32|PLATFORM=ppc32] CONFIG_PAGE_PT (y)
     261
     262% Page hash table support
     263! [PLATFORM=ia64|PLATFORM=sparc64] CONFIG_PAGE_HT (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% Multiboot standard support
     278! [PLATFORM=ia32|PLATFORM=amd64] CONFIG_MULTIBOOT (y)
     279
     280% FPU support
     281! [PLATFORM=ia32|PLATFORM=amd64|PLATFORM=ia64|PLATFORM=sparc64] CONFIG_FPU (y)
     282
     283% FPU support
     284! [PLATFORM=mips32&(MACHINE=lgxemul|MACHINE=bgxemul)] CONFIG_FPU (y)
     285
     286
     287## Kernel features options
     288
     289% Support for SMP
     290! [PLATFORM=ia32|PLATFORM=amd64|PLATFORM=sparc64|PLATFORM=ia64|(PLATFORM=mips32&MACHINE=msim)] CONFIG_SMP (y/n)
    245291
    246292% Debug build
     
    250296! [CONFIG_DEBUG=y&CONFIG_SMP=y] CONFIG_DEBUG_SPINLOCK (y/n)
    251297
    252 ## Kernel configuration
    253 
    254 % Fences
    255 ! [PLATFORM=ia32&(PROCESSOR=athlon_xp|PROCESSOR=athlon_mp|PROCESSOR=pentium3)] CONFIG_FENCES_P3 (y)
    256 
    257 % Fences
    258 ! [PLATFORM=ia32&(PROCESSOR=pentium4|PROCESSOR=core)] CONFIG_FENCES_P4 (y)
    259 
    260 % Fences
    261 ! [PLATFORM=amd64] CONFIG_FENCES_P4 (y)
    262 
    263 % ACPI support
    264 ! [PLATFORM=ia32|PLATFORM=amd64] CONFIG_ACPI (y)
    265 
    266 % Hierarchical page tables support
    267 ! [PLATFORM=ia32|PLATFORM=amd64|PLATFORM=arm32|PLATFORM=mips32|PLATFORM=ppc32] CONFIG_PAGE_PT (y)
    268 
    269 % Page hash table support
    270 ! [PLATFORM=ia64|PLATFORM=sparc64] CONFIG_PAGE_HT (y)
    271 
    272 % Software integer division support
    273 ! [PLATFORM=ia32|PLATFORM=arm32|PLATFORM=ia64|PLATFORM=mips32|PLATFORM=ppc32] CONFIG_SOFTINT (y)
    274 
    275 % ASID support
    276 ! [PLATFORM=ia64|PLATFORM=mips32|PLATFORM=ppc32|PLATFORM=sparc64] CONFIG_ASID (y)
    277 
    278 % ASID FIFO support
    279 ! [PLATFORM=ia64|PLATFORM=mips32|PLATFORM=ppc32|PLATFORM=sparc64] CONFIG_ASID_FIFO (y)
    280 
    281 % OpenFirmware tree support
    282 ! [PLATFORM=sparc64] CONFIG_OFW_TREE (y)
    283 
    284 % Multiboot standard support
    285 ! [PLATFORM=ia32|PLATFORM=amd64] CONFIG_MULTIBOOT (y)
    286 
    287 % FPU support
    288 ! [PLATFORM=ia32|PLATFORM=amd64|PLATFORM=ia64|PLATFORM=sparc64] CONFIG_FPU (y)
    289 
    290 % FPU support
    291 ! [PLATFORM=mips32&(MACHINE=lgxemul|MACHINE=bgxemul)] CONFIG_FPU (y)
    292 
    293 
    294 ## Kernel features options
    295 
    296 % Support for SMP
    297 ! [PLATFORM=ia32|PLATFORM=amd64|PLATFORM=sparc64|PLATFORM=ia64|(PLATFORM=mips32&MACHINE=msim)] CONFIG_SMP (y/n)
    298 
    299298% Improved support for hyperthreading
    300299! [PLATFORM=amd64&CONFIG_SMP=y] CONFIG_HT (y/n)
     300
    301301% Improved support for hyperthreading
    302302! [PLATFORM=ia32&PROCESSOR!=athlon_xp&PROCESSOR!=athlon_mp&PROCESSOR!=pentium3&CONFIG_SMP=y] CONFIG_HT (y/n)
     
    328328% Compile kernel tests
    329329! CONFIG_TEST (y/n)
     330
    330331
    331332## Hardware support
     
    337338@ "none" No input device
    338339! [MACHINE!=msim&MACHINE!=ski&MACHINE!=serengeti] CONFIG_HID_IN (choice)
     340
    339341% Input device class
    340342@ "serial" Serial line
    341 ! [MACHINE=msim|MACHINE=ski|machine=serengeti] CONFIG_HID_IN (choice)
     343! [MACHINE=ski|MACHINE=serengeti] CONFIG_HID_IN (choice)
    342344
    343345% Output device class
     
    347349@ "none" No output device
    348350! [MACHINE!=msim&MACHINE!=ski&MACHINE!=serengeti] CONFIG_HID_OUT (choice)
     351
    349352% Output device class
    350353@ "serial" Serial line
     
    353356% i8042 controller support
    354357! [(CONFIG_HID_IN=generic|CONFIG_HID_IN=keyboard)&(PLATFORM=ia32|PLATFORM=amd64)] CONFIG_I8042 (y/n)
     358
    355359% i8042 controller support
    356360! [(CONFIG_HID_IN=generic|CONFIG_HID_IN=keyboard)&MACHINE=i460GX] CONFIG_I8042 (y/n)
     
    358362% Support for NS16550 controller
    359363! [PLATFORM=sparc64&CONFIG_HID_OUT!=none&CONFIG_HID_IN!=none] CONFIG_NS16550 (y/n)
     364
    360365% Support for NS16550 controller
    361366! [CONFIG_HID_IN=generic|CONFIG_HID_IN=serial|CONFIG_HID_OUT=generic|CONFIG_HID_OUT=serial] CONFIG_NS16550 (y/n)
     
    369374% PC keyboard support
    370375! [(CONFIG_HID_IN=generic|CONFIG_HID_IN=keyboard)&(PLATFORM=ia32|PLATFORM=amd64)] CONFIG_PC_KBD (y/n)
     376
    371377% PC keyboard support
    372378! [(CONFIG_HID_IN=generic|CONFIG_HID_IN=keyboard)&MACHINE=i460GX] CONFIG_PC_KBD (y/n)
     
    380386% EGA support
    381387! [(CONFIG_HID_OUT=generic|CONFIG_HID_OUT=monitor)&(PLATFORM=ia32|PLATFORM=amd64)] CONFIG_EGA (y/n)
     388
    382389% EGA support
    383390! [(CONFIG_HID_OUT=generic|CONFIG_HID_OUT=monitor)&MACHINE=i460GX] CONFIG_EGA (y/n)
Note: See TracChangeset for help on using the changeset viewer.