Changes in HelenOS.config [a63d216:6db5d4b] in mainline
- File:
-
- 1 edited
-
HelenOS.config (modified) (20 diffs)
Legend:
- Unmodified
- Added
- Removed
-
HelenOS.config
ra63d216 r6db5d4b 32 32 % Platform 33 33 @ "abs32le" abstract 32-bit little endian 34 @ "amd64" AMD64/ EM64T 64-bit(PC)34 @ "amd64" AMD64/Intel EM64T (PC) 35 35 @ "arm32" ARM 32-bit 36 @ "ia32" I A-32 32-bit(PC)37 @ "ia64" I A-64 64-bit36 @ "ia32" Intel IA-32 (PC) 37 @ "ia64" Intel IA-64 38 38 @ "mips32" MIPS 32-bit 39 39 @ "mips64" MIPS 64-bit 40 @ "ppc32" PowerPC 32-bit 41 @ "sparc32" SPARCv8 32-bit 42 @ "sparc64" SPARCv9 64-bit 40 @ "ppc32" PowerPC 32-bit (iMac G4) 41 @ "sparc64" Sun UltraSPARC 64-bit 43 42 ! PLATFORM (choice) 44 43 … … 63 62 64 63 % Machine type 65 @ "leon3" Gaisler Aeroflex LEON366 ! [PLATFORM=sparc32] MACHINE (choice)67 68 % Machine type69 64 @ "gta02" GTA02 / Neo FreeRunner 70 65 @ "integratorcp" Integratorcp 71 66 @ "beagleboardxm" BeagleBoard-xM 72 67 @ "beaglebone" BeagleBone 73 @ "raspberrypi" Raspberry Pi74 68 ! [PLATFORM=arm32] MACHINE (choice) 75 69 … … 88 82 89 83 % CPU type 90 @ "leon3" Gaisler Aeroflex LEON391 ! [PLATFORM=sparc32&MACHINE=leon3] PROCESSOR (choice)92 93 % CPU type94 84 @ "us" UltraSPARC I-II subarchitecture 95 85 @ "us3" UltraSPARC III-IV subarchitecture … … 109 99 ! [PLATFORM=arm32&MACHINE=integratorcp] PROCESSOR (choice) 110 100 111 % CPU type112 @ "arm1176" ARM1176113 ! [PLATFORM=arm32&MACHINE=raspberrypi] PROCESSOR (choice)114 101 115 102 # Add more ARMv4 CPUs … … 122 109 @ "armv5" ARMv5 123 110 ! [PLATFORM=arm32&(PROCESSOR=arm926ej_s)] PROCESSOR_ARCH (choice) 124 125 # Add more ARMv6 CPUs126 % CPU arch127 @ "armv6" ARMv6128 ! [PLATFORM=arm32&(PROCESSOR=arm1176)] PROCESSOR_ARCH (choice)129 111 130 112 # Add more ARMv7-A CPUs … … 191 173 192 174 % Kernel architecture 193 @ "sparc32"194 ! [PLATFORM=sparc32] KARCH (choice)195 196 % Kernel architecture197 175 @ "sparc64" 198 176 ! [PLATFORM=sparc64] KARCH (choice) … … 242 220 243 221 % User space architecture 244 @ "sparc32"245 ! [PLATFORM=sparc32] UARCH (choice)246 247 % User space architecture248 222 @ "sparc64" 249 223 ! [PLATFORM=sparc64] UARCH (choice) … … 291 265 @ "ppc64" 292 266 ! [PLATFORM=ppc64] BARCH (choice) 293 294 % Boot architecture295 @ "sparc32"296 ! [PLATFORM=sparc32] BARCH (choice)297 267 298 268 % Boot architecture … … 317 287 318 288 ## Compiler options 319 320 % Compiler321 @ "gcc_cross" GNU C Compiler (cross-compiler)322 @ "gcc_native" GNU C Compiler (native)323 @ "gcc_helenos" GNU C Compiler (experimental HelenOS-specific cross-compiler)324 @ "icc" Intel C Compiler325 @ "clang" Clang326 ! [PLATFORM=amd64|PLATFORM=ia32] COMPILER (choice)327 289 328 290 % Compiler … … 330 292 @ "gcc_native" GNU C Compiler (native) 331 293 @ "icc" Intel C Compiler 332 @ " gcc_helenos" GNU C Compiler (experimental HelenOS-specific cross-compiler)333 ! [PLATFORM= ia64] COMPILER (choice)294 @ "clang" Clang 295 ! [PLATFORM=amd64|PLATFORM=ia32] COMPILER (choice) 334 296 335 297 % Compiler 336 298 @ "gcc_cross" GNU C Compiler (cross-compiler) 337 299 @ "gcc_native" GNU C Compiler (native) 338 @ " gcc_helenos" GNU C Compiler (experimental HelenOS-specific cross-compiler)339 ! [PLATFORM= mips32|PLATFORM=mips64|PLATFORM=ppc32] COMPILER (choice)300 @ "icc" Intel C Compiler 301 ! [PLATFORM=ia64] COMPILER (choice) 340 302 341 303 % Compiler 342 304 @ "gcc_cross" GNU C Compiler (cross-compiler) 343 305 @ "gcc_native" GNU C Compiler (native) 344 @ "gcc_helenos" GNU C Compiler (experimental HelenOS-specific cross-compiler) 306 ! [PLATFORM=mips32|PLATFORM=mips64|PLATFORM=ppc32] COMPILER (choice) 307 308 % Compiler 309 @ "gcc_cross" GNU C Compiler (cross-compiler) 310 @ "gcc_native" GNU C Compiler (native) 345 311 @ "clang" Clang 346 ! [PLATFORM=abs32le|PLATFORM=arm32|PLATFORM=sparc 32|PLATFORM=sparc64] COMPILER (choice)312 ! [PLATFORM=abs32le|PLATFORM=arm32|PLATFORM=sparc64] COMPILER (choice) 347 313 348 314 … … 353 319 @ "ia32" Intel IA-32 354 320 @ "mips32" MIPS 32-bit 355 ! [PLATFORM=abs32le& (COMPILER=gcc_cross|COMPILER=gcc_helenos)] CROSS_TARGET (choice)321 ! [PLATFORM=abs32le&COMPILER=gcc_cross] CROSS_TARGET (choice) 356 322 357 323 … … 371 337 372 338 % Hierarchical page tables support 373 ! [PLATFORM=abs32le|PLATFORM=ia32|PLATFORM=amd64|PLATFORM=arm32|PLATFORM=mips32|PLATFORM=ppc32 |PLATFORM=sparc32] CONFIG_PAGE_PT (y)339 ! [PLATFORM=abs32le|PLATFORM=ia32|PLATFORM=amd64|PLATFORM=arm32|PLATFORM=mips32|PLATFORM=ppc32] CONFIG_PAGE_PT (y) 374 340 375 341 % Page hash table support … … 377 343 378 344 % Software integer division support 379 ! [PLATFORM=abs32le|PLATFORM=ia32|PLATFORM=arm32|PLATFORM=ia64|PLATFORM=mips32|PLATFORM=mips64|PLATFORM=ppc32 |PLATFORM=sparc32] CONFIG_SOFTINT (y)345 ! [PLATFORM=abs32le|PLATFORM=ia32|PLATFORM=arm32|PLATFORM=ia64|PLATFORM=mips32|PLATFORM=mips64|PLATFORM=ppc32] CONFIG_SOFTINT (y) 380 346 381 347 % ASID support 382 ! [PLATFORM=ia64|PLATFORM=mips32|PLATFORM=mips64|PLATFORM=ppc32|PLATFORM=sparc 32|PLATFORM=sparc64] CONFIG_ASID (y)348 ! [PLATFORM=ia64|PLATFORM=mips32|PLATFORM=mips64|PLATFORM=ppc32|PLATFORM=sparc64] CONFIG_ASID (y) 383 349 384 350 % ASID FIFO support 385 ! [PLATFORM=ia64|PLATFORM=mips32|PLATFORM=mips64|PLATFORM=ppc32|PLATFORM=sparc 32|PLATFORM=sparc64] CONFIG_ASID_FIFO (y)351 ! [PLATFORM=ia64|PLATFORM=mips32|PLATFORM=mips64|PLATFORM=ppc32|PLATFORM=sparc64] CONFIG_ASID_FIFO (y) 386 352 387 353 % OpenFirmware tree support … … 397 363 ! [PLATFORM=ia32|PLATFORM=amd64|PLATFORM=ia64|PLATFORM=sparc64] CONFIG_FPU (y) 398 364 399 ## ARMv7 made FPUhardware compulsory365 ## armv7 made fpu hardware compulsory 400 366 % FPU support 401 367 ! [PLATFORM=arm32&PROCESSOR_ARCH=armv7_a] CONFIG_FPU (y) … … 476 442 % Output device class 477 443 @ "generic" Monitor or serial line 478 ! [PLATFORM=arm32&(MACHINE=gta02|MACHINE=integratorcp|MACHINE=beagleboardxm|MACHINE=beaglebone |MACHINE=raspberrypi)] CONFIG_HID_OUT (choice)444 ! [PLATFORM=arm32&(MACHINE=gta02|MACHINE=integratorcp|MACHINE=beagleboardxm|MACHINE=beaglebone)] CONFIG_HID_OUT (choice) 479 445 480 446 % Output device class … … 507 473 ! [(CONFIG_HID_IN=generic|CONFIG_HID_IN=serial)&PLATFORM=ia64&MACHINE=i460GX] CONFIG_NS16550 (y/n) 508 474 509 % Support for PL011UART510 ! [(CONFIG_HID_OUT=generic|CONFIG_HID_OUT=serial)&PLATFORM=arm32& (MACHINE=integratorcp|MACHINE=raspberrypi)] CONFIG_PL011_UART (y/n)475 % Support for ARM926 on-chip UART 476 ! [(CONFIG_HID_OUT=generic|CONFIG_HID_OUT=serial)&PLATFORM=arm32&MACHINE=integratorcp] CONFIG_ARM926_UART (y/n) 511 477 512 478 % Support for Samsung S3C24XX on-chip UART … … 522 488 ! [(CONFIG_HID_OUT=generic|CONFIG_HID_OUT=serial)&PLATFORM=arm32&(MACHINE=beagleboardxm|MACHINE=beaglebone)] CONFIG_OMAP_UART (y/n) 523 489 524 % Support for GRLIB UART525 ! [PLATFORM=sparc32&MACHINE=leon3] CONFIG_GRLIB_UART (y)526 527 % Support for GRLIB IRQMP528 ! [PLATFORM=sparc32&MACHINE=leon3] CONFIG_GRLIB_IRQMP (y)529 530 % Support for BCM2835 mailbox531 ! [PLATFORM=arm32&MACHINE=raspberrypi] CONFIG_BCM2835_MAILBOX (y/n)532 533 490 % Support for i8042 controller 534 491 ! [CONFIG_PC_KBD=y] CONFIG_I8042 (y) … … 550 507 551 508 % Serial line input module 552 ! [CONFIG_DSRLNIN=y|(PLATFORM= sparc32)|(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)] CONFIG_SRLN (y)509 ! [CONFIG_DSRLNIN=y|(PLATFORM=arm32&MACHINE=gta02)|(PLATFORM=arm32&MACHINE=integratorcp&CONFIG_ARM926_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)] CONFIG_SRLN (y) 553 510 554 511 % EGA support … … 609 566 ! [CONFIG_DEBUG=y] CONFIG_TEST_DRIVERS (n/y) 610 567 568 % Load disk drivers on startup 569 ! CONFIG_START_BD (n/y) 570 571 % Mount /data on startup 572 ! [CONFIG_START_BD=y] CONFIG_MOUNT_DATA (n/y) 573 611 574 % Write core files 612 575 ! CONFIG_WRITE_CORE_FILES (n/y) … … 659 622 @ "5" Linux kernel 660 623 ! [PLATFORM=arm32&MACHINE!=beagleboardxm&MACHINE!=beaglebone] UIMAGE_OS (choice) 661 662 % uImage OS type663 @ "5" Linux kernel664 ! [PLATFORM=sparc32] UIMAGE_OS (choice)
Note:
See TracChangeset
for help on using the changeset viewer.
