Changes in HelenOS.config [cd9531d3:1567471] in mainline


Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed
  • HelenOS.config

    rcd9531d3 r1567471  
    3434@ "amd64" AMD64/EM64T 64-bit (PC)
    3535@ "arm32" ARM 32-bit
    36 @ "arm64" ARM 64-bit (AArch64)
    3736@ "ia32" IA-32 32-bit (PC)
    3837@ "ia64" IA-64 64-bit
     
    6665! [PLATFORM=arm32] MACHINE (choice)
    6766
    68 % Machine type
    69 @ "virt" QEMU virt
    70 ! [PLATFORM=arm64] MACHINE (choice)
    71 
    7267% CPU type
    7368@ "pentium4" Pentium 4
     
    165160
    166161% Kernel architecture
    167 @ "arm64"
    168 ! [PLATFORM=arm64] KARCH (choice)
    169 
    170 % Kernel architecture
    171162@ "ia32"
    172163! [PLATFORM=ia32] KARCH (choice)
     
    216207
    217208% User space architecture
    218 @ "arm64"
    219 ! [PLATFORM=arm64] UARCH (choice)
    220 
    221 % User space architecture
    222209@ "ia32"
    223210! [PLATFORM=ia32|PLATFORM=ia32xen] UARCH (choice)
     
    229216% User space architecture
    230217@ "mips32"
    231 ! [PLATFORM=mips32] UARCH (choice)
     218! [PLATFORM=mips32&(MACHINE=msim|MACHINE=lmalta)] UARCH (choice)
     219
     220% User space architecture
     221@ "mips32eb"
     222! [PLATFORM=mips32&MACHINE=bmalta] UARCH (choice)
    232223
    233224% User space architecture
     
    261252@ "arm32"
    262253! [PLATFORM=arm32] BARCH (choice)
    263 
    264 % Boot architecture
    265 @ "arm64"
    266 ! [PLATFORM=arm64] BARCH (choice)
    267254
    268255% Boot architecture
     
    347334
    348335% IOMAP dummy support
    349 ! [PLATFORM=abs32le|PLATFORM=arm32|PLATFORM=arm64|PLATFORM=mips32|PLATFORM=ppc32|PLATFORM=riscv64|PLATFORM=sparc64] CONFIG_IOMAP_DUMMY (y)
     336! [PLATFORM=abs32le|PLATFORM=arm32|PLATFORM=mips32|PLATFORM=ppc32|PLATFORM=riscv64|PLATFORM=sparc64] CONFIG_IOMAP_DUMMY (y)
    350337
    351338% ACPI support
     
    353340
    354341% Hierarchical page tables support
    355 ! [PLATFORM=abs32le|PLATFORM=ia32|PLATFORM=amd64|PLATFORM=arm32|PLATFORM=arm64|PLATFORM=mips32|PLATFORM=ppc32|PLATFORM=riscv64] CONFIG_PAGE_PT (y)
     342! [PLATFORM=abs32le|PLATFORM=ia32|PLATFORM=amd64|PLATFORM=arm32|PLATFORM=mips32|PLATFORM=ppc32|PLATFORM=riscv64] CONFIG_PAGE_PT (y)
    356343
    357344% Page hash table support
     
    362349
    363350% ASID support
    364 ! [PLATFORM=arm64|PLATFORM=ia64|PLATFORM=mips32|PLATFORM=ppc32|PLATFORM=sparc64] CONFIG_ASID (y)
     351! [PLATFORM=ia64|PLATFORM=mips32|PLATFORM=ppc32|PLATFORM=sparc64] CONFIG_ASID (y)
    365352
    366353% ASID FIFO support
    367 ! [PLATFORM=arm64|PLATFORM=ia64|PLATFORM=mips32|PLATFORM=ppc32|PLATFORM=sparc64] CONFIG_ASID_FIFO (y)
     354! [PLATFORM=ia64|PLATFORM=mips32|PLATFORM=ppc32|PLATFORM=sparc64] CONFIG_ASID_FIFO (y)
    368355
    369356% OpenFirmware tree support
     
    377364
    378365% FPU support
    379 ! [PLATFORM=ia32|PLATFORM=amd64|PLATFORM=arm64|PLATFORM=ia64|PLATFORM=ppc32|PLATFORM=sparc64] CONFIG_FPU (y)
     366! [PLATFORM=ia32|PLATFORM=amd64|PLATFORM=ia64|PLATFORM=ppc32|PLATFORM=sparc64] CONFIG_FPU (y)
    380367
    381368## ARMv7 made FPU hardware compulsory
     
    390377
    391378% Support for SMP
    392 ! [(PLATFORM=ia32&PROCESSOR!=athlon_xp)|PLATFORM=amd64|PLATFORM=arm64|PLATFORM=sparc64|PLATFORM=ia64|(PLATFORM=mips32&MACHINE=msim)|PLATFORM=abs32le] CONFIG_SMP (y/n)
     379! [(PLATFORM=ia32&PROCESSOR!=athlon_xp)|PLATFORM=amd64|PLATFORM=sparc64|PLATFORM=ia64|(PLATFORM=mips32&MACHINE=msim)|PLATFORM=abs32le] CONFIG_SMP (y/n)
    393380
    394381% Debug build
     
    419406! [PLATFORM=ia64&MACHINE!=ski] CONFIG_IOSAPIC (y/n)
    420407
    421 % Support for Intel i8259 PIC
    422 ! [PLATFORM=ia32|PLATFORM=amd64|(PLATFORM=mips32&MACHINE=bmalta)|(PLATFORM=mips32&MACHINE=lmalta)] CONFIG_I8259 (y)
    423 
    424408% Virtually indexed D-cache support
    425409! [PLATFORM=sparc64] CONFIG_VIRT_IDX_DCACHE (y/n)
     
    455439% Input device class
    456440@ "generic" Keyboard or serial line
    457 ! [(PLATFORM=arm32&MACHINE=integratorcp)|PLATFORM=arm64] CONFIG_HID_IN (choice)
     441! [PLATFORM=arm32&MACHINE=integratorcp] CONFIG_HID_IN (choice)
    458442
    459443% Input device class
     
    471455% Output device class
    472456@ "generic" Monitor or serial line
    473 ! [(PLATFORM=arm32&(MACHINE=gta02|MACHINE=integratorcp|MACHINE=beagleboardxm|MACHINE=beaglebone|MACHINE=raspberrypi))|PLATFORM=arm64] CONFIG_HID_OUT (choice)
     457! [PLATFORM=arm32&(MACHINE=gta02|MACHINE=integratorcp|MACHINE=beagleboardxm|MACHINE=beaglebone|MACHINE=raspberrypi)] CONFIG_HID_OUT (choice)
    474458
    475459% Output device class
     
    502486! [(CONFIG_HID_IN=generic|CONFIG_HID_IN=serial)&PLATFORM=ia64&MACHINE=i460GX] CONFIG_NS16550 (y/n)
    503487
    504 % Support for NS16550 controller
    505 ! [CONFIG_HID_IN=generic&PLATFORM=mips32&(MACHINE=lmalta|MACHINE=bmalta)] CONFIG_NS16550 (y)
    506 
    507488% Support for PL011 UART
    508 ! [(CONFIG_HID_OUT=generic|CONFIG_HID_OUT=serial)&(PLATFORM=arm32&(MACHINE=integratorcp|MACHINE=raspberrypi))] CONFIG_PL011_UART (y/n)
    509 
    510 % Support for PL011 UART
    511 ! [CONFIG_HID_OUT=generic|(PLATFORM=arm64&MACHINE=virt)] CONFIG_PL011_UART (y)
     489! [(CONFIG_HID_OUT=generic|CONFIG_HID_OUT=serial)&PLATFORM=arm32&(MACHINE=integratorcp|MACHINE=raspberrypi)] CONFIG_PL011_UART (y/n)
    512490
    513491% Support for NS16550 controller (kernel console)
     
    520498! [(CONFIG_HID_OUT=generic|CONFIG_HID_OUT=serial)&(PLATFORM=ia32|PLATFORM=amd64)&CONFIG_NS16550_KCON=y] CONFIG_NS16550_OUT (y)
    521499
    522 % Use NS16550 controller as dummy serial output (kernel console)
    523 ! [CONFIG_HID_OUT=generic&PLATFORM=mips32&(MACHINE=lmalta|MACHINE=bmalta)] CONFIG_NS16550_OUT (y)
    524 
    525500% Support for Samsung S3C24XX on-chip UART
    526501! [(CONFIG_HID_OUT=generic|CONFIG_HID_OUT=serial)&PLATFORM=arm32&MACHINE=gta02] CONFIG_S3C24XX_UART (y/n)
     
    538513! [PLATFORM=arm32&MACHINE=raspberrypi] CONFIG_BCM2835_MAILBOX (y/n)
    539514
    540 % Support for ARM GICv2
    541 ! [PLATFORM=arm64&MACHINE=virt] CONFIG_GICV2 (y)
    542 
    543515% Support for i8042 controller
    544516! [CONFIG_PC_KBD=y] CONFIG_I8042 (y)
     
    550522! [(CONFIG_HID_IN=generic|CONFIG_HID_IN=keyboard)&PLATFORM=sparc64&MACHINE=generic&CONFIG_NS16550=y] CONFIG_SUN_KBD (y)
    551523
    552 % Sun serial console support
    553 ! [(CONFIG_HID_IN=generic|CONFIG_HID_IN=keyboard)&PLATFORM=sparc64&MACHINE=generic&CONFIG_NS16550=y] CONFIG_SUN_TTY (y)
    554 
    555524% Macintosh ADB keyboard support
    556525! [(CONFIG_HID_IN=generic|CONFIG_HID_IN=keyboard)&PLATFORM=ppc32&(CONFIG_VIA_CUDA=y)] CONFIG_MAC_KBD (y)
     
    563532
    564533% Serial line input module
    565 ! [CONFIG_DSRLNIN=y|(PLATFORM=arm32&MACHINE=gta02)|(PLATFORM=arm32&MACHINE=integratorcp&CONFIG_PL011_UART=y)|(PLATFORM=arm32&MACHINE=beaglebone&CONFIG_OMAP_UART=y)|(PLATFORM=arm32&MACHINE=beagleboardxm&CONFIG_OMAP_UART=y)|(PLATFORM=arm64&CONFIG_PL011_UART=y)|(PLATFORM=ia64&MACHINE=i460GX&CONFIG_NS16550=y)|(PLATFORM=ia64&MACHINE=ski)|(PLATFORM=sparc64&PROCESSOR=sun4v)|(PLATFORM=arm32&MACHINE=raspberrypi&CONFIG_PL011_UART=y)|(PLATFORM=ia32&CONFIG_NS16550=y)|(PLATFORM=amd64&CONFIG_NS16550=y)|(PLATFORM=mips32&CONFIG_NS16550=y)|(PLATFORM=sparc64&CONFIG_SUN_TTY=y)] CONFIG_SRLN (y)
    566 
    567 % L4Re uvmm print hypercall support
    568 ! [PLATFORM=amd64] CONFIG_L4RE_UVMM_EARLY_PRINT (n/y)
     534! [CONFIG_DSRLNIN=y|(PLATFORM=arm32&MACHINE=gta02)|(PLATFORM=arm32&MACHINE=integratorcp&CONFIG_PL011_UART=y)|(PLATFORM=arm32&MACHINE=beaglebone&CONFIG_OMAP_UART=y)|(PLATFORM=arm32&MACHINE=beagleboardxm&CONFIG_OMAP_UART=y)|(PLATFORM=ia64&MACHINE=i460GX&CONFIG_NS16550=y)|(PLATFORM=ia64&MACHINE=ski)|(PLATFORM=sparc64&PROCESSOR=sun4v)|(PLATFORM=arm32&MACHINE=raspberrypi&CONFIG_PL011_UART=y)|(PLATFORM=ia32&CONFIG_NS16550=y)|(PLATFORM=amd64&CONFIG_NS16550=y)] CONFIG_SRLN (y)
    569535
    570536% EGA support
     
    612578
    613579% Dynamic linking support
    614 ! [PLATFORM=amd64|PLATFORM=arm32|PLATFORM=ia32|PLATFORM=ppc32|PLATFORM=sparc64] CONFIG_RTLD (y/n)
    615 ! [PLATFORM=abs32le|PLATFORM=arm64|PLATFORM=ia64|PLATFORM=mips32|PLATFORM=riscv64] CONFIG_RTLD (n)
     580! [PLATFORM=amd64|PLATFORM=ia32] CONFIG_RTLD (y/n)
     581! [PLATFORM=abs32le|PLATFORM=arm32|PLATFORM=ia64|PLATFORM=mips32|PLATFORM=ppc32|PLATFORM=riscv64|PLATFORM=sparc64] CONFIG_RTLD (n)
    616582
    617583% Build shared libraries
     
    676642! [PLATFORM=ia32|PLATFORM=amd64] GRUB_ARCH (choice)
    677643
    678 % GRUB boot loader architecture
    679 @ "efi" GRUB for UEFI
    680 ! [PLATFORM=arm64&MACHINE=virt] GRUB_ARCH (choice)
    681 
    682644% uImage OS type
    683645@ "2" NetBSD stage 2 boot loader
Note: See TracChangeset for help on using the changeset viewer.