Changeset 03362fbd in mainline for HelenOS.config
- Timestamp:
- 2013-02-09T23:14:45Z (11 years ago)
- Branches:
- lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export
- Children:
- 22dfd38
- Parents:
- b5d2e57 (diff), 005b765 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the(diff)
links above to see all the changes relative to each parent. - File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
HelenOS.config
rb5d2e57 r03362fbd 63 63 % Machine type 64 64 @ "gta02" GTA02 / Neo FreeRunner 65 @ "testarm" GXEmul Testarm66 65 @ "integratorcp" Integratorcp 66 @ "beagleboardxm" BeogleBoard-xM 67 67 ! [PLATFORM=arm32] MACHINE (choice) 68 68 … … 86 86 ! [PLATFORM=sparc64&MACHINE=generic] PROCESSOR (choice) 87 87 88 % CPU type 89 @ "cortex_a8" ARM Cortex A-8 90 ! [PLATFORM=arm32&MACHINE=beagleboardxm] PROCESSOR (choice) 91 92 % CPU type 93 @ "arm920t" ARM920T 94 ! [PLATFORM=arm32&MACHINE=gta02] PROCESSOR (choice) 95 96 % CPU type 97 @ "arm926ej_s" ARM926EJ-S 98 ! [PLATFORM=arm32&MACHINE=integratorcp] PROCESSOR (choice) 99 100 101 # Add more ARMv4 CPUs 102 % CPU arch 103 @ "armv4" ARMv4 104 ! [PLATFORM=arm32&(PROCESSOR=arm920t)] PROCESSOR_ARCH (choice) 105 106 # Add more ARMv5 CPUs 107 % CPU arch 108 @ "armv5" ARMv5 109 ! [PLATFORM=arm32&(PROCESSOR=arm926ej_s)] PROCESSOR_ARCH (choice) 110 111 # Add more ARMv7-A CPUs 112 % CPU arch 113 @ "armv7_a" ARMv7-A 114 ! [PLATFORM=arm32&(PROCESSOR=cortex_a8)] PROCESSOR_ARCH (choice) 115 88 116 % RAM disk format 89 117 @ "tmpfs" TMPFS image 90 118 @ "fat" FAT16 image 91 @ "ext 2fs" EXT2image119 @ "ext4fs" ext4 image 92 120 ! RDFMT (choice) 93 121 … … 334 362 ! [PLATFORM=mips32&(MACHINE=lgxemul|MACHINE=bgxemul)] CONFIG_FPU (y) 335 363 364 ## armv7 made fpu hardware compulsory 365 % FPU support 366 ! [PLATFORM=arm32&PROCESSOR_ARCH=armv7_a] CONFIG_FPU (y) 367 368 % FPU support 369 ! [PLATFORM=arm32&MACHINE=integratorcp] CONFIG_FPU (y) 370 336 371 337 372 ## Kernel features options … … 395 430 @ "generic" Keyboard or serial line 396 431 @ "none" No input device 397 ! [PLATFORM=ia32| (PLATFORM=arm32&MACHINE=testarm)|PLATFORM=amd64|PLATFORM=mips32|PLATFORM=mips64|PLATFORM=ppc32|PLATFORM=sparc64] CONFIG_HID_IN (choice)432 ! [PLATFORM=ia32|PLATFORM=amd64|PLATFORM=mips32|PLATFORM=mips64|PLATFORM=ppc32|PLATFORM=sparc64] CONFIG_HID_IN (choice) 398 433 399 434 % Input device class … … 406 441 % Output device class 407 442 @ "generic" Monitor or serial line 408 ! [PLATFORM=arm32&(MACHINE=gta02|MACHINE=integratorcp )] CONFIG_HID_OUT (choice)443 ! [PLATFORM=arm32&(MACHINE=gta02|MACHINE=integratorcp|MACHINE=beagleboardxm)] CONFIG_HID_OUT (choice) 409 444 410 445 % Output device class … … 420 455 ! [PLATFORM=mips32&(MACHINE=bgxemul|MACHINE=lgxemul)] CONFIG_HID_OUT (choice) 421 456 422 % Output device class423 @ "generic" Monitor or serial line424 @ "monitor" Monitor425 @ "serial" Serial line426 @ "none" No output device427 ! [PLATFORM=arm32&MACHINE=testarm] CONFIG_HID_OUT (choice)428 429 457 % PC keyboard support 430 458 ! [CONFIG_HID_IN=generic&(PLATFORM=ia32|PLATFORM=amd64)] CONFIG_PC_KBD (y/n) … … 442 470 ! [(CONFIG_HID_OUT=generic|CONFIG_HID_OUT=serial)&(PLATFORM=mips32|PLATFORM=mips64)] CONFIG_MIPS_PRN (y/n) 443 471 444 % Support for GXemul keyboard445 ! [CONFIG_HID_IN=generic&PLATFORM=arm32&MACHINE=testarm] CONFIG_ARM_KBD (y/n)446 447 % Support for GXemul printer448 ! [(CONFIG_HID_OUT=generic|CONFIG_HID_OUT=serial)&PLATFORM=arm32&MACHINE=testarm] CONFIG_ARM_PRN (y/n)449 450 472 % Support for VIA CUDA controller 451 473 ! [CONFIG_HID_IN=generic&PLATFORM=ppc32] CONFIG_VIA_CUDA (y/n) … … 457 479 ! [(CONFIG_HID_IN=generic|CONFIG_HID_IN=serial)&PLATFORM=ia64&MACHINE=i460GX] CONFIG_NS16550 (y/n) 458 480 481 % Support for ARM926 on-chip UART 482 ! [(CONFIG_HID_OUT=generic|CONFIG_HID_OUT=serial)&PLATFORM=arm32&MACHINE=integratorcp] CONFIG_ARM926_UART (y/n) 483 459 484 % Support for Samsung S3C24XX on-chip UART 460 485 ! [(CONFIG_HID_OUT=generic|CONFIG_HID_OUT=serial)&PLATFORM=arm32&MACHINE=gta02] CONFIG_S3C24XX_UART (y/n) … … 463 488 ! [PLATFORM=arm32&MACHINE=gta02] CONFIG_S3C24XX_IRQC (y) 464 489 490 % Support for TI AMDM37X on-chip UART 491 ! [(CONFIG_HID_OUT=generic|CONFIG_HID_OUT=serial)&PLATFORM=arm32&MACHINE=beagleboardxm] CONFIG_AMDM37X_UART (y/n) 492 465 493 % Support for i8042 controller 466 494 ! [CONFIG_PC_KBD=y] CONFIG_I8042 (y) … … 482 510 483 511 % Serial line input module 484 ! [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)512 ! [CONFIG_DSRLNIN=y|(PLATFORM=arm32&MACHINE=gta02)|(PLATFORM=arm32&MACHINE=integratorcp&CONFIG_ARM926_UART=y)|(PLATFORM=arm32&MACHINE=beagleboardxm&CONFIG_AMDM37X_UART=y)|(PLATFORM=ia64&MACHINE=i460GX&CONFIG_NS16550=y)|(PLATFORM=ia64&MACHINE=ski)|(PLATFORM=sparc64&PROCESSOR=sun4v)] CONFIG_SRLN (y) 485 513 486 514 % EGA support … … 518 546 @ "1920x1080" 519 547 @ "1920x1200" 520 ! [(PLATFORM=ia32|PLATFORM=amd64 )&CONFIG_HID_OUT!=none&CONFIG_FB=y] CONFIG_BFB_MODE (choice)548 ! [(PLATFORM=ia32|PLATFORM=amd64|MACHINE=beagleboardxm)&CONFIG_HID_OUT!=none&CONFIG_FB=y] CONFIG_BFB_MODE (choice) 521 549 522 550 % Default framebuffer depth … … 524 552 @ "16" 525 553 @ "24" 526 ! [(PLATFORM=ia32|PLATFORM=amd64 )&CONFIG_HID_OUT!=none&CONFIG_FB=y] CONFIG_BFB_BPP (choice)554 ! [(PLATFORM=ia32|PLATFORM=amd64|MACHINE=beagleboardxm)&CONFIG_HID_OUT!=none&CONFIG_FB=y] CONFIG_BFB_BPP (choice) 527 555 528 556 % Start AP processors by the loader … … 591 619 # USB settings 592 620 593 % USB verbose messages594 ! CONFIG_USB_VERBOSE (n/y)595 596 621 % Start virtual USB host controller 597 622 ! CONFIG_RUN_VIRTUAL_USB_HC (n/y) … … 601 626 @ "ganged" Root hub ports are all powered or all off. 602 627 @ "per_port" Powered status of every root hub port is independent. 603 ! [PLATFORM=ia32|PLATFORM=amd64 ] OHCI_POWER_SWITCH (choice)628 ! [PLATFORM=ia32|PLATFORM=amd64|PLATFORM=ppc32] OHCI_POWER_SWITCH (choice) 604 629 605 630 % GRUB boot loader architecture … … 607 632 @ "efi" GRUB for UEFI 608 633 ! [PLATFORM=ia32|PLATFORM=amd64] GRUB_ARCH (choice) 634 635 % uImage OS type 636 @ "2" NetBSD stage 2 boot loader 637 ! [PLATFORM=arm32&MACHINE=beagleboardxm] UIMAGE_OS (choice) 638 639 % uImage OS type 640 @ "5" Linux kernel 641 ! [PLATFORM=arm32&MACHINE!=beagleboardxm] UIMAGE_OS (choice)
Note:
See TracChangeset
for help on using the changeset viewer.