Changes in HelenOS.config [cd9531d3:1567471] in mainline
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
HelenOS.config
rcd9531d3 r1567471 34 34 @ "amd64" AMD64/EM64T 64-bit (PC) 35 35 @ "arm32" ARM 32-bit 36 @ "arm64" ARM 64-bit (AArch64)37 36 @ "ia32" IA-32 32-bit (PC) 38 37 @ "ia64" IA-64 64-bit … … 66 65 ! [PLATFORM=arm32] MACHINE (choice) 67 66 68 % Machine type69 @ "virt" QEMU virt70 ! [PLATFORM=arm64] MACHINE (choice)71 72 67 % CPU type 73 68 @ "pentium4" Pentium 4 … … 165 160 166 161 % Kernel architecture 167 @ "arm64"168 ! [PLATFORM=arm64] KARCH (choice)169 170 % Kernel architecture171 162 @ "ia32" 172 163 ! [PLATFORM=ia32] KARCH (choice) … … 216 207 217 208 % User space architecture 218 @ "arm64"219 ! [PLATFORM=arm64] UARCH (choice)220 221 % User space architecture222 209 @ "ia32" 223 210 ! [PLATFORM=ia32|PLATFORM=ia32xen] UARCH (choice) … … 229 216 % User space architecture 230 217 @ "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) 232 223 233 224 % User space architecture … … 261 252 @ "arm32" 262 253 ! [PLATFORM=arm32] BARCH (choice) 263 264 % Boot architecture265 @ "arm64"266 ! [PLATFORM=arm64] BARCH (choice)267 254 268 255 % Boot architecture … … 347 334 348 335 % 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) 350 337 351 338 % ACPI support … … 353 340 354 341 % 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) 356 343 357 344 % Page hash table support … … 362 349 363 350 % 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) 365 352 366 353 % 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) 368 355 369 356 % OpenFirmware tree support … … 377 364 378 365 % 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) 380 367 381 368 ## ARMv7 made FPU hardware compulsory … … 390 377 391 378 % 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) 393 380 394 381 % Debug build … … 419 406 ! [PLATFORM=ia64&MACHINE!=ski] CONFIG_IOSAPIC (y/n) 420 407 421 % Support for Intel i8259 PIC422 ! [PLATFORM=ia32|PLATFORM=amd64|(PLATFORM=mips32&MACHINE=bmalta)|(PLATFORM=mips32&MACHINE=lmalta)] CONFIG_I8259 (y)423 424 408 % Virtually indexed D-cache support 425 409 ! [PLATFORM=sparc64] CONFIG_VIRT_IDX_DCACHE (y/n) … … 455 439 % Input device class 456 440 @ "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) 458 442 459 443 % Input device class … … 471 455 % Output device class 472 456 @ "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) 474 458 475 459 % Output device class … … 502 486 ! [(CONFIG_HID_IN=generic|CONFIG_HID_IN=serial)&PLATFORM=ia64&MACHINE=i460GX] CONFIG_NS16550 (y/n) 503 487 504 % Support for NS16550 controller505 ! [CONFIG_HID_IN=generic&PLATFORM=mips32&(MACHINE=lmalta|MACHINE=bmalta)] CONFIG_NS16550 (y)506 507 488 % 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) 512 490 513 491 % Support for NS16550 controller (kernel console) … … 520 498 ! [(CONFIG_HID_OUT=generic|CONFIG_HID_OUT=serial)&(PLATFORM=ia32|PLATFORM=amd64)&CONFIG_NS16550_KCON=y] CONFIG_NS16550_OUT (y) 521 499 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 525 500 % Support for Samsung S3C24XX on-chip UART 526 501 ! [(CONFIG_HID_OUT=generic|CONFIG_HID_OUT=serial)&PLATFORM=arm32&MACHINE=gta02] CONFIG_S3C24XX_UART (y/n) … … 538 513 ! [PLATFORM=arm32&MACHINE=raspberrypi] CONFIG_BCM2835_MAILBOX (y/n) 539 514 540 % Support for ARM GICv2541 ! [PLATFORM=arm64&MACHINE=virt] CONFIG_GICV2 (y)542 543 515 % Support for i8042 controller 544 516 ! [CONFIG_PC_KBD=y] CONFIG_I8042 (y) … … 550 522 ! [(CONFIG_HID_IN=generic|CONFIG_HID_IN=keyboard)&PLATFORM=sparc64&MACHINE=generic&CONFIG_NS16550=y] CONFIG_SUN_KBD (y) 551 523 552 % Sun serial console support553 ! [(CONFIG_HID_IN=generic|CONFIG_HID_IN=keyboard)&PLATFORM=sparc64&MACHINE=generic&CONFIG_NS16550=y] CONFIG_SUN_TTY (y)554 555 524 % Macintosh ADB keyboard support 556 525 ! [(CONFIG_HID_IN=generic|CONFIG_HID_IN=keyboard)&PLATFORM=ppc32&(CONFIG_VIA_CUDA=y)] CONFIG_MAC_KBD (y) … … 563 532 564 533 % 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) 569 535 570 536 % EGA support … … 612 578 613 579 % Dynamic linking support 614 ! [PLATFORM=amd64|PLATFORM= arm32|PLATFORM=ia32|PLATFORM=ppc32|PLATFORM=sparc64] CONFIG_RTLD (y/n)615 ! [PLATFORM=abs32le|PLATFORM=arm 64|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) 616 582 617 583 % Build shared libraries … … 676 642 ! [PLATFORM=ia32|PLATFORM=amd64] GRUB_ARCH (choice) 677 643 678 % GRUB boot loader architecture679 @ "efi" GRUB for UEFI680 ! [PLATFORM=arm64&MACHINE=virt] GRUB_ARCH (choice)681 682 644 % uImage OS type 683 645 @ "2" NetBSD stage 2 boot loader
Note:
See TracChangeset
for help on using the changeset viewer.