← Back to branch summary

~jsvoboda/helenos/dnsr

« back to all changes in this revision

Viewing changes to HelenOS.config

  • Committer: Jiri Svoboda
  • Date: 2013-04-19 18:38:18 UTC
  • mfrom: (1527.1.284 main-clone)
  • Revision ID: jiri@wiwaxia-20130419183818-nvfibuh4t5qol0e3
Merge mainline chages.

Show diffs side-by-side

added added

removed removed

Lines of Context:
HelenOS.config
43
43
 
44
44
% Machine type
45
45
@ "msim" MSIM
46
 
@ "bgxemul" GXEmul big endian
47
 
@ "lgxemul" GXEmul little endian
 
46
@ "bmalta" MIPS Malta Development Board big endian
 
47
@ "lmalta" MIPS Malta Development Board little endian
48
48
! [PLATFORM=mips32] MACHINE (choice)
49
49
 
50
50
% Machine type
62
62
 
63
63
% Machine type
64
64
@ "gta02" GTA02 / Neo FreeRunner
65
 
@ "testarm" GXEmul Testarm
66
65
@ "integratorcp" Integratorcp
 
66
@ "beagleboardxm" BeagleBoard-xM
 
67
@ "beaglebone" BeagleBone
67
68
! [PLATFORM=arm32] MACHINE (choice)
68
69
 
69
70
% CPU type
85
86
@ "sun4v" Niagara (sun4v)
86
87
! [PLATFORM=sparc64&MACHINE=generic] PROCESSOR (choice)
87
88
 
 
89
% CPU type
 
90
@ "cortex_a8" ARM Cortex A-8
 
91
! [PLATFORM=arm32&(MACHINE=beagleboardxm|MACHINE=beaglebone)] PROCESSOR (choice)
 
92
 
 
93
% CPU type
 
94
@ "arm920t" ARM920T
 
95
! [PLATFORM=arm32&MACHINE=gta02] PROCESSOR (choice)
 
96
 
 
97
% CPU type
 
98
@ "arm926ej_s" ARM926EJ-S
 
99
! [PLATFORM=arm32&MACHINE=integratorcp] PROCESSOR (choice)
 
100
 
 
101
 
 
102
# Add more ARMv4 CPUs
 
103
% CPU arch
 
104
@ "armv4" ARMv4
 
105
! [PLATFORM=arm32&(PROCESSOR=arm920t)] PROCESSOR_ARCH (choice)
 
106
 
 
107
# Add more ARMv5 CPUs
 
108
% CPU arch
 
109
@ "armv5" ARMv5
 
110
! [PLATFORM=arm32&(PROCESSOR=arm926ej_s)] PROCESSOR_ARCH (choice)
 
111
 
 
112
# Add more ARMv7-A CPUs
 
113
% CPU arch
 
114
@ "armv7_a" ARMv7-A
 
115
! [PLATFORM=arm32&(PROCESSOR=cortex_a8)] PROCESSOR_ARCH (choice)
 
116
 
 
117
% CPU type
 
118
@ "R4000" MIPS R4000
 
119
! [PLATFORM=mips32&MACHINE=msim] PROCESSOR (choice)
 
120
 
 
121
% CPU type
 
122
@ "4Kc" MIPS 4Kc
 
123
! [PLATFORM=mips32&(MACHINE=bmalta|MACHINE=lmalta)] PROCESSOR (choice)
 
124
 
88
125
% RAM disk format
89
126
@ "tmpfs" TMPFS image
90
127
@ "fat" FAT16 image
163
200
 
164
201
% User space architecture
165
202
@ "mips32"
166
 
! [PLATFORM=mips32&(MACHINE=msim|MACHINE=lgxemul)] UARCH (choice)
 
203
! [PLATFORM=mips32&(MACHINE=msim|MACHINE=lmalta)] UARCH (choice)
167
204
 
168
205
% User space architecture
169
206
@ "mips32eb"
170
 
! [PLATFORM=mips32&MACHINE=bgxemul] UARCH (choice)
 
207
! [PLATFORM=mips32&MACHINE=bmalta] UARCH (choice)
171
208
 
172
209
% User space architecture
173
210
@ "mips64"
240
277
! [PLATFORM=mips32&MACHINE=msim] IMAGE (choice)
241
278
 
242
279
% Image format
243
 
@ "ecoff"
244
 
! [PLATFORM=mips32&(MACHINE=bgxemul|MACHINE=lgxemul)] IMAGE (choice)
 
280
@ "elf"
 
281
! [PLATFORM=mips32&(MACHINE=bmalta|MACHINE=lmalta)] IMAGE (choice)
245
282
 
246
283
% Image format
247
284
@ "binary"
330
367
% FPU support
331
368
! [PLATFORM=ia32|PLATFORM=amd64|PLATFORM=ia64|PLATFORM=sparc64] CONFIG_FPU (y)
332
369
 
333
 
% FPU support
334
 
! [PLATFORM=mips32&(MACHINE=lgxemul|MACHINE=bgxemul)] CONFIG_FPU (y)
 
370
## armv7 made fpu hardware compulsory
 
371
% FPU support
 
372
! [PLATFORM=arm32&PROCESSOR_ARCH=armv7_a] CONFIG_FPU (y)
 
373
 
 
374
% FPU support
 
375
! [PLATFORM=arm32&MACHINE=integratorcp] CONFIG_FPU (y)
335
376
 
336
377
 
337
378
## Kernel features options
394
435
% Input device class
395
436
@ "generic" Keyboard or serial line
396
437
@ "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)
 
438
! [PLATFORM=ia32|PLATFORM=amd64|PLATFORM=mips32|PLATFORM=mips64|PLATFORM=ppc32|PLATFORM=sparc64] CONFIG_HID_IN (choice)
398
439
 
399
440
% Input device class
400
441
@ "generic" Keyboard or serial line
405
446
 
406
447
% Output device class
407
448
@ "generic" Monitor or serial line
408
 
! [PLATFORM=arm32&(MACHINE=gta02|MACHINE=integratorcp)] CONFIG_HID_OUT (choice)
409
 
 
410
 
% Output device class
411
 
@ "generic" Monitor or serial line
412
 
@ "none" No output device
413
 
! [PLATFORM=ia32|PLATFORM=amd64|PLATFORM=sparc64|PLATFORM=ppc32|(PLATFORM=ia64&MACHINE=i460GX)|(PLATFORM=mips32&MACHINE=msim)|(PLATFORM=mips64&MACHINE=msim)] CONFIG_HID_OUT (choice)
414
 
 
415
 
% Output device class
416
 
@ "generic" Monitor or serial line
417
 
@ "monitor" Monitor
418
 
@ "serial" Serial line
419
 
@ "none" No output device
420
 
! [PLATFORM=mips32&(MACHINE=bgxemul|MACHINE=lgxemul)] CONFIG_HID_OUT (choice)
421
 
 
422
 
% Output device class
423
 
@ "generic" Monitor or serial line
424
 
@ "monitor" Monitor
425
 
@ "serial" Serial line
426
 
@ "none" No output device
427
 
! [PLATFORM=arm32&MACHINE=testarm] CONFIG_HID_OUT (choice)
 
449
! [PLATFORM=arm32&(MACHINE=gta02|MACHINE=integratorcp|MACHINE=beagleboardxm|MACHINE=beaglebone)] CONFIG_HID_OUT (choice)
 
450
 
 
451
% Output device class
 
452
@ "generic" Monitor or serial line
 
453
@ "none" No output device
 
454
! [PLATFORM=ia32|PLATFORM=amd64|PLATFORM=sparc64|PLATFORM=ppc32|(PLATFORM=ia64&MACHINE=i460GX)|(PLATFORM=mips32&(MACHINE=msim|MACHINE=bmalta|MACHINE=lmalta))|(PLATFORM=mips64&MACHINE=msim)] CONFIG_HID_OUT (choice)
428
455
 
429
456
% PC keyboard support
430
457
! [CONFIG_HID_IN=generic&(PLATFORM=ia32|PLATFORM=amd64)] CONFIG_PC_KBD (y/n)
435
462
% PC keyboard support
436
463
! [(CONFIG_HID_IN=generic|CONFIG_HID_IN=keyboard)&PLATFORM=arm32&MACHINE=integratorcp] CONFIG_PC_KBD (y/n)
437
464
 
438
 
% Support for msim/GXemul keyboard
439
 
! [CONFIG_HID_IN=generic&(PLATFORM=mips32|PLATFORM=mips64)] CONFIG_MIPS_KBD (y/n)
440
 
 
441
 
% Support for msim/GXemul printer
442
 
! [(CONFIG_HID_OUT=generic|CONFIG_HID_OUT=serial)&(PLATFORM=mips32|PLATFORM=mips64)] CONFIG_MIPS_PRN (y/n)
443
 
 
444
 
% Support for GXemul keyboard
445
 
! [CONFIG_HID_IN=generic&PLATFORM=arm32&MACHINE=testarm] CONFIG_ARM_KBD (y/n)
446
 
 
447
 
% Support for GXemul printer
448
 
! [(CONFIG_HID_OUT=generic|CONFIG_HID_OUT=serial)&PLATFORM=arm32&MACHINE=testarm] CONFIG_ARM_PRN (y/n)
 
465
% Support for msim keyboard
 
466
! [CONFIG_HID_IN=generic&MACHINE=msim] CONFIG_MSIM_KBD (y/n)
 
467
 
 
468
% Support for msim printer
 
469
! [(CONFIG_HID_OUT=generic|CONFIG_HID_OUT=serial)&MACHINE=msim] CONFIG_MSIM_PRN (y/n)
449
470
 
450
471
% Support for VIA CUDA controller
451
472
! [CONFIG_HID_IN=generic&PLATFORM=ppc32] CONFIG_VIA_CUDA (y/n)
465
486
% Support for Samsung S3C24XX on-chip interrupt controller
466
487
! [PLATFORM=arm32&MACHINE=gta02] CONFIG_S3C24XX_IRQC (y)
467
488
 
 
489
% Support for TI AM335x on-chip UART
 
490
! [(CONFIG_HID_OUT=generic|CONFIG_HID_OUT=serial)&PLATFORM=arm32&MACHINE=beaglebone] CONFIG_AM335X_UART (y/n)
 
491
 
 
492
% Support for TI AM335x timers support
 
493
! [PLATFORM=arm32&MACHINE=beaglebone] CONFIG_AM335X_TIMERS (y)
 
494
 
 
495
% Support for TI AMDM37x on-chip UART
 
496
! [(CONFIG_HID_OUT=generic|CONFIG_HID_OUT=serial)&PLATFORM=arm32&MACHINE=beagleboardxm] CONFIG_AMDM37X_UART (y/n)
 
497
 
468
498
% Support for i8042 controller
469
499
! [CONFIG_PC_KBD=y] CONFIG_I8042 (y)
470
500
 
478
508
! [(CONFIG_HID_IN=generic|CONFIG_HID_IN=keyboard)&PLATFORM=ppc32&(CONFIG_VIA_CUDA=y)] CONFIG_MAC_KBD (y)
479
509
 
480
510
% Dummy serial line input
481
 
! [CONFIG_MIPS_KBD=y|CONFIG_ARM_KBD=y] CONFIG_DSRLNIN (y)
 
511
! [CONFIG_MSIM_KBD=y|CONFIG_ARM_KBD=y] CONFIG_DSRLNIN (y)
482
512
 
483
513
% Dummy serial line output
484
 
! [CONFIG_MIPS_PRN=y|CONFIG_ARM_PRN=y] CONFIG_DSRLNOUT (y)
 
514
! [CONFIG_MSIM_PRN=y|CONFIG_ARM_PRN=y] CONFIG_DSRLNOUT (y)
485
515
 
486
516
% Serial line input module
487
 
! [CONFIG_DSRLNIN=y|(PLATFORM=arm32&MACHINE=gta02)|(PLATFORM=arm32&MACHINE=integratorcp&CONFIG_ARM926_UART=y)|(PLATFORM=ia64&MACHINE=i460GX&CONFIG_NS16550=y)|(PLATFORM=ia64&MACHINE=ski)|(PLATFORM=sparc64&PROCESSOR=sun4v)] CONFIG_SRLN (y)
 
517
! [CONFIG_DSRLNIN=y|(PLATFORM=arm32&MACHINE=gta02)|(PLATFORM=arm32&MACHINE=integratorcp&CONFIG_ARM926_UART=y)|(PLATFORM=arm32&MACHINE=beaglebone&CONFIG_AM335X_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)
488
518
 
489
519
% EGA support
490
520
! [CONFIG_HID_OUT=generic&(PLATFORM=ia32|PLATFORM=amd64)] CONFIG_EGA (y/n)
496
526
! [CONFIG_HID_OUT=generic&(PLATFORM=ia32|PLATFORM=amd64|PLATFORM=ppc32)] CONFIG_FB (y/n)
497
527
 
498
528
% Framebuffer support
499
 
! [(CONFIG_HID_OUT=generic|CONFIG_HID_OUT=monitor)&PLATFORM=mips32&(MACHINE=lgxemul|MACHINE=bgxemul)] CONFIG_FB (y/n)
500
 
 
501
 
% Framebuffer support
502
529
! [(CONFIG_HID_OUT=generic|CONFIG_HID_OUT=monitor)&PLATFORM=arm32] CONFIG_FB (y/n)
503
530
 
504
531
% Framebuffer support
520
547
@ "1600x1200"
521
548
@ "1920x1080"
522
549
@ "1920x1200"
523
 
! [(PLATFORM=ia32|PLATFORM=amd64)&CONFIG_HID_OUT!=none&CONFIG_FB=y] CONFIG_BFB_MODE (choice)
 
550
! [(PLATFORM=ia32|PLATFORM=amd64|MACHINE=beagleboardxm)&CONFIG_HID_OUT!=none&CONFIG_FB=y] CONFIG_BFB_MODE (choice)
524
551
 
525
552
% Default framebuffer depth
526
553
@ "8"
527
554
@ "16"
528
555
@ "24"
529
 
! [(PLATFORM=ia32|PLATFORM=amd64)&CONFIG_HID_OUT!=none&CONFIG_FB=y] CONFIG_BFB_BPP (choice)
 
556
! [(PLATFORM=ia32|PLATFORM=amd64|MACHINE=beagleboardxm)&CONFIG_HID_OUT!=none&CONFIG_FB=y] CONFIG_BFB_BPP (choice)
530
557
 
531
558
% Start AP processors by the loader
532
559
! [PLATFORM=sparc64&CONFIG_SMP=y] CONFIG_AP (y/n)
594
621
@ "pc" GRUB for PC
595
622
@ "efi" GRUB for UEFI
596
623
! [PLATFORM=ia32|PLATFORM=amd64] GRUB_ARCH (choice)
 
624
 
 
625
% uImage OS type
 
626
@ "2" NetBSD stage 2 boot loader
 
627
! [PLATFORM=arm32&(MACHINE=beagleboardxm|MACHINE=beaglebone)] UIMAGE_OS (choice)
 
628
 
 
629
% uImage OS type
 
630
@ "5" Linux kernel
 
631
! [PLATFORM=arm32&MACHINE!=beagleboardxm&MACHINE!=beaglebone] UIMAGE_OS (choice)