Changes in HelenOS.config [1c99eae:774fc85] in mainline


Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed
  • HelenOS.config

    r1c99eae r774fc85  
    3737@ "ia64" Intel IA-64
    3838@ "mips32" MIPS 32-bit
    39 @ "mips64" MIPS 64-bit
    4039@ "ppc32" PowerPC 32-bit (iMac G4)
    4140@ "sparc64" Sun UltraSPARC 64-bit
     
    4948
    5049% Machine type
    51 @ "msim" MSIM
    52 ! [PLATFORM=mips64] MACHINE (choice)
    53 
    54 % Machine type
    5550@ "i460GX" i460GX chipset machine
    5651@ "ski" Ski ia64 simulator
     
    5954% Machine type
    6055@ "generic" Generic Sun workstation or server
     56@ "serengeti" Serengeti system
    6157! [PLATFORM=sparc64] MACHINE (choice)
    6258
     
    7369@ "athlon_xp" Athlon XP
    7470@ "athlon_mp" Athlon MP
    75 @ "i486" i486
    7671! [PLATFORM=ia32] PROCESSOR (choice)
    7772
     
    8681! [PLATFORM=sparc64&MACHINE=generic] PROCESSOR (choice)
    8782
     83% CPU type
     84@ "us3"
     85! [PLATFORM=sparc64&MACHINE=serengeti] PROCESSOR (choice)
     86
    8887% RAM disk format
    8988@ "tmpfs" TMPFS image
    9089@ "fat" FAT16 image
    91 @ "ext2fs" EXT2 image
    9290! RDFMT (choice)
    9391
     
    124122
    125123% Kernel architecture
    126 @ "mips64"
    127 ! [PLATFORM=mips64] KARCH (choice)
    128 
    129 % Kernel architecture
    130124@ "ppc32"
    131125! [PLATFORM=ppc32] KARCH (choice)
     
    171165
    172166% User space architecture
    173 @ "mips64"
    174 ! [PLATFORM=mips64] UARCH (choice)
    175 
    176 % User space architecture
    177167@ "ppc32"
    178168! [PLATFORM=ppc32] UARCH (choice)
     
    216206@ "mips32"
    217207! [PLATFORM=mips32] BARCH (choice)
    218 
    219 % Boot architecture
    220 @ "mips64"
    221 ! [PLATFORM=mips64] BARCH (choice)
    222208
    223209% Boot architecture
     
    243229@ "ecoff"
    244230! [PLATFORM=mips32&(MACHINE=bgxemul|MACHINE=lgxemul)] IMAGE (choice)
    245 
    246 % Image format
    247 @ "binary"
    248 ! [PLATFORM=mips64] IMAGE (choice)
    249231
    250232
     
    274256@ "gcc_cross" GNU C Compiler (cross-compiler)
    275257@ "gcc_native" GNU C Compiler (native)
    276 ! [PLATFORM=arm32|PLATFORM=mips32|PLATFORM=mips64|PLATFORM=ppc32] COMPILER (choice)
     258! [PLATFORM=arm32|PLATFORM=mips32|PLATFORM=ppc32] COMPILER (choice)
    277259
    278260% Compiler
     
    310292
    311293% Page hash table support
    312 ! [PLATFORM=ia64|PLATFORM=mips64|PLATFORM=sparc64] CONFIG_PAGE_HT (y)
     294! [PLATFORM=ia64|PLATFORM=sparc64] CONFIG_PAGE_HT (y)
    313295
    314296% Software integer division support
    315 ! [PLATFORM=abs32le|PLATFORM=ia32|PLATFORM=arm32|PLATFORM=ia64|PLATFORM=mips32|PLATFORM=mips64|PLATFORM=ppc32] CONFIG_SOFTINT (y)
     297! [PLATFORM=abs32le|PLATFORM=ia32|PLATFORM=arm32|PLATFORM=ia64|PLATFORM=mips32|PLATFORM=ppc32] CONFIG_SOFTINT (y)
    316298
    317299% ASID support
    318 ! [PLATFORM=ia64|PLATFORM=mips32|PLATFORM=mips64|PLATFORM=ppc32|PLATFORM=sparc64] CONFIG_ASID (y)
     300! [PLATFORM=ia64|PLATFORM=mips32|PLATFORM=ppc32|PLATFORM=sparc64] CONFIG_ASID (y)
    319301
    320302% ASID FIFO support
    321 ! [PLATFORM=ia64|PLATFORM=mips32|PLATFORM=mips64|PLATFORM=ppc32|PLATFORM=sparc64] CONFIG_ASID_FIFO (y)
     303! [PLATFORM=ia64|PLATFORM=mips32|PLATFORM=ppc32|PLATFORM=sparc64] CONFIG_ASID_FIFO (y)
    322304
    323305% OpenFirmware tree support
     
    340322
    341323% Support for SMP
    342 ! [(PLATFORM=ia32&PROCESSOR!=athlon_xp)|PLATFORM=amd64|PLATFORM=sparc64|PLATFORM=ia64|(PLATFORM=mips32&MACHINE=msim)|(PLATFORM=mips64&MACHINE=msim)|PLATFORM=abs32le] CONFIG_SMP (y/n)
     324! [(PLATFORM=ia32&PROCESSOR!=athlon_xp)|PLATFORM=amd64|PLATFORM=sparc64|PLATFORM=ia64|(PLATFORM=mips32&MACHINE=msim)|PLATFORM=abs32le] CONFIG_SMP (y/n)
    343325
    344326% Debug build
     
    397379@ "generic" Keyboard or serial line
    398380@ "none" No input device
    399 ! [PLATFORM=ia32|(PLATFORM=arm32&MACHINE=testarm)|PLATFORM=amd64|PLATFORM=mips32|PLATFORM=mips64|PLATFORM=ppc32|PLATFORM=sparc64] CONFIG_HID_IN (choice)
     381! [PLATFORM=ia32|(PLATFORM=arm32&MACHINE=testarm)|PLATFORM=amd64|PLATFORM=mips32|PLATFORM=ppc32|PLATFORM=sparc64] CONFIG_HID_IN (choice)
    400382
    401383% Input device class
     
    413395@ "generic" Monitor or serial line
    414396@ "none" No output device
    415 ! [PLATFORM=ia32|PLATFORM=amd64|PLATFORM=sparc64|PLATFORM=ppc32|(PLATFORM=ia64&MACHINE=i460GX)|(PLATFORM=mips32&MACHINE=msim)|(PLATFORM=mips64&MACHINE=msim)] CONFIG_HID_OUT (choice)
     397! [PLATFORM=ia32|PLATFORM=amd64|PLATFORM=sparc64|PLATFORM=ppc32|(PLATFORM=ia64&MACHINE=i460GX)|(PLATFORM=mips32&MACHINE=msim)] CONFIG_HID_OUT (choice)
    416398
    417399% Output device class
     
    439421
    440422% Support for msim/GXemul keyboard
    441 ! [CONFIG_HID_IN=generic&(PLATFORM=mips32|PLATFORM=mips64)] CONFIG_MIPS_KBD (y/n)
     423! [CONFIG_HID_IN=generic&PLATFORM=mips32] CONFIG_MIPS_KBD (y/n)
    442424
    443425% Support for msim/GXemul printer
    444 ! [(CONFIG_HID_OUT=generic|CONFIG_HID_OUT=serial)&(PLATFORM=mips32|PLATFORM=mips64)] CONFIG_MIPS_PRN (y/n)
     426! [(CONFIG_HID_OUT=generic|CONFIG_HID_OUT=serial)&PLATFORM=mips32] CONFIG_MIPS_PRN (y/n)
    445427
    446428% Support for GXemul keyboard
     
    465447! [PLATFORM=arm32&MACHINE=gta02] CONFIG_S3C24XX_IRQC (y)
    466448
     449% Support for Z8530 controller
     450! [(CONFIG_HID_IN=generic|CONFIG_HID_IN=keyboard)&PLATFORM=sparc64&MACHINE=generic] CONFIG_Z8530 (y/n)
     451
     452% Support for Serengeti console
     453! [CONFIG_HID_OUT=generic&PLATFORM=sparc64&MACHINE=serengeti] CONFIG_SGCN_PRN (y/n)
     454
     455% Support for Serengeti keyboard
     456! [CONFIG_HID_IN=generic&PLATFORM=sparc64&MACHINE=serengeti] CONFIG_SGCN_KBD (y/n)
     457
    467458% Support for i8042 controller
    468459! [CONFIG_PC_KBD=y] CONFIG_I8042 (y)
     
    472463
    473464% Sun keyboard support
    474 ! [(CONFIG_HID_IN=generic|CONFIG_HID_IN=keyboard)&PLATFORM=sparc64&MACHINE=generic&CONFIG_NS16550=y] CONFIG_SUN_KBD (y)
     465! [(CONFIG_HID_IN=generic|CONFIG_HID_IN=keyboard)&PLATFORM=sparc64&MACHINE=generic&(CONFIG_NS16550=y|CONFIG_Z8530=y)] CONFIG_SUN_KBD (y)
    475466
    476467% Macintosh ADB keyboard support
     
    484475
    485476% Serial line input module
    486 ! [CONFIG_DSRLNIN=y|(PLATFORM=arm32&MACHINE=gta02)|(PLATFORM=ia64&MACHINE=i460GX&CONFIG_NS16550=y)|(PLATFORM=ia64&MACHINE=ski)|(PLATFORM=sparc64&PROCESSOR=sun4v)] CONFIG_SRLN (y)
     477! [CONFIG_DSRLNIN=y|(PLATFORM=arm32&MACHINE=gta02)|(PLATFORM=ia64&MACHINE=i460GX&CONFIG_NS16550=y)|(PLATFORM=ia64&MACHINE=ski)|(PLATFORM=sparc64&MACHINE=serengeti&CONFIG_SGCN_KBD=y)|(PLATFORM=sparc64&PROCESSOR=sun4v)] CONFIG_SRLN (y)
    487478
    488479% EGA support
     
    531522! [PLATFORM=sparc64&CONFIG_SMP=y] CONFIG_AP (y/n)
    532523
     524% Preserve A.OUT header in isofs.b
     525! [PLATFORM=sparc64&MACHINE=generic] CONFIG_AOUT_ISOFS_B (y)
     526
    533527% Dynamic linking support
    534528! [PLATFORM=ia32] CONFIG_RTLD (n/y)
     
    575569! CONFIG_RUN_VIRTUAL_USB_HC (n/y)
    576570
    577 % OHCI root hub port power switching
    578 @ "no" All root hub ports are always powered.
    579 @ "ganged" Root hub ports are all powered or all off.
    580 @ "per_port" Powered status of every root hub port is independent.
    581 ![PLATFORM=ia32|PLATFORM=amd64] OHCI_POWER_SWITCH (choice)
     571% Polling UHCI & OHCI (no interrupts)
     572! [PLATFORM=ia32|PLATFORM=amd64] CONFIG_USBHC_NO_INTERRUPTS (n/y)
     573
Note: See TracChangeset for help on using the changeset viewer.