Context Navigation

source: mainline/HelenOS.config@ 77578e8

Visit:

Last change on this file since 77578e8 was 8624d1f, checked in by Jiří Zárevúcky <zarevucky.jiri@…>, 3 years ago
Update some files that use shell-style comments
Property mode set to `100644`
File size: 18.2 KB

Rev	Line
[44882c8]	1	#
[8624d1f]	2	# SPDX-FileCopyrightText: 2006 Ondrej Palkovsky
	3	# SPDX-FileCopyrightText: 2009 Martin Decky
[44882c8]	4	#
[8624d1f]	5	# SPDX-License-Identifier: BSD-3-Clause
[44882c8]	6	#
	7
[9a0367f]	8	## General platform options
	9
	10	% Platform
[50fda24]	11	@ "abs32le" abstract 32-bit little endian
[b51cf2c]	12	@ "amd64" AMD64/EM64T 64-bit (PC)
[d630139]	13	@ "arm32" ARM 32-bit
[84176f3]	14	@ "arm64" ARM 64-bit (AArch64)
[b51cf2c]	15	@ "ia32" IA-32 32-bit (PC)
	16	@ "ia64" IA-64 64-bit
[1ba41c5]	17	@ "mips32" MIPS 32-bit
[b51cf2c]	18	@ "ppc32" PowerPC 32-bit
[7a67416]	19	@ "riscv64" RISC-V 64-bit
[b51cf2c]	20	@ "sparc64" SPARCv9 64-bit
[41f7564]	21	! PLATFORM (choice)
	22
[9a0367f]	23	% Machine type
[1ba41c5]	24	@ "msim" MSIM
[c0a7545]	25	@ "bmalta" MIPS Malta Development Board big endian
	26	@ "lmalta" MIPS Malta Development Board little endian
[1ba41c5]	27	! [PLATFORM=mips32] MACHINE (choice)
	28
[9a0367f]	29	% Machine type
[c785296]	30	@ "i460GX" i460GX chipset machine
[4b8f1c3]	31	@ "ski" Ski ia64 simulator
[c785296]	32	! [PLATFORM=ia64] MACHINE (choice)
	33
[1c6b3a2]	34	% Machine type
	35	@ "generic" Generic Sun workstation or server
	36	! [PLATFORM=sparc64] MACHINE (choice)
	37
[6ac14a70]	38	% Machine type
[7c866dc]	39	@ "gta02" GTA02 / Neo FreeRunner
[87bedd1c]	40	@ "integratorcp" Integratorcp
[63b2be8]	41	@ "beagleboardxm" BeagleBoard-xM
	42	@ "beaglebone" BeagleBone
[8f9d70b]	43	@ "raspberrypi" Raspberry Pi
[6ac14a70]	44	! [PLATFORM=arm32] MACHINE (choice)
	45
[84176f3]	46	% Machine type
	47	@ "virt" QEMU virt
[06f10ac]	48	@ "hikey960" HiKey 960
[84176f3]	49	! [PLATFORM=arm64] MACHINE (choice)
	50
[9a0367f]	51	% CPU type
	52	@ "pentium4" Pentium 4
	53	@ "pentium3" Pentium 3
	54	@ "core" Core Solo/Duo
[70554dd]	55	@ "athlon_xp" Athlon XP
	56	@ "athlon_mp" Athlon MP
[1c99eae]	57	@ "i486" i486
[a1d5167]	58	! [PLATFORM=ia32] PROCESSOR (choice)
[9a0367f]	59
	60	% CPU type
	61	@ "opteron" Opteron
[1c6b3a2]	62	! [PLATFORM=amd64] PROCESSOR (choice)
[9a0367f]	63
	64	% CPU type
	65	@ "us" UltraSPARC I-II subarchitecture
	66	@ "us3" UltraSPARC III-IV subarchitecture
[68834d85]	67	@ "sun4v" Niagara (sun4v)
[1c6b3a2]	68	! [PLATFORM=sparc64&MACHINE=generic] PROCESSOR (choice)
	69
[954c024]	70	% Quad float type
	71	@ "hard" Hardware
	72	@ "soft" Software
	73	! [PLATFORM=sparc64] QUADFLOAT (choice)
	74
[f1aa1db]	75	% CPU type
[e7b0b85]	76	@ "cortex_a8" ARM Cortex A-8
[b1011dae]	77	! [PLATFORM=arm32&(MACHINE=beagleboardxm\|MACHINE=beaglebone)] PROCESSOR (choice)
[f1aa1db]	78
	79	% CPU type
[e7b0b85]	80	@ "arm920t" ARM920T
	81	! [PLATFORM=arm32&MACHINE=gta02] PROCESSOR (choice)
[f1aa1db]	82
	83	% CPU type
[e7b0b85]	84	@ "arm926ej_s" ARM926EJ-S
	85	! [PLATFORM=arm32&MACHINE=integratorcp] PROCESSOR (choice)
	86
[8f9d70b]	87	% CPU type
[c92dfed]	88	@ "arm1176jzf_s" ARM1176JZF-S
[8f9d70b]	89	! [PLATFORM=arm32&MACHINE=raspberrypi] PROCESSOR (choice)
[e7b0b85]	90
	91	# Add more ARMv4 CPUs
[5d9e36b]	92	% CPU arch
[f1aa1db]	93	@ "armv4" ARMv4
[e7b0b85]	94	! [PLATFORM=arm32&(PROCESSOR=arm920t)] PROCESSOR_ARCH (choice)
[f1aa1db]	95
[e7b0b85]	96	# Add more ARMv5 CPUs
	97	% CPU arch
[f1aa1db]	98	@ "armv5" ARMv5
[e7b0b85]	99	! [PLATFORM=arm32&(PROCESSOR=arm926ej_s)] PROCESSOR_ARCH (choice)
[f1aa1db]	100
[8f9d70b]	101	# Add more ARMv6 CPUs
	102	% CPU arch
	103	@ "armv6" ARMv6
[c92dfed]	104	! [PLATFORM=arm32&(PROCESSOR=arm1176jzf_s)] PROCESSOR_ARCH (choice)
[8f9d70b]	105
[e7b0b85]	106	# Add more ARMv7-A CPUs
	107	% CPU arch
[49a736e2]	108	@ "armv7_a" ARMv7-A
[e7b0b85]	109	! [PLATFORM=arm32&(PROCESSOR=cortex_a8)] PROCESSOR_ARCH (choice)
[f1aa1db]	110
[5a00ee0]	111	% CPU type
	112	@ "R4000" MIPS R4000
	113	! [PLATFORM=mips32&MACHINE=msim] PROCESSOR (choice)
	114
	115	% CPU type
	116	@ "4Kc" MIPS 4Kc
[c0a7545]	117	! [PLATFORM=mips32&(MACHINE=bmalta\|MACHINE=lmalta)] PROCESSOR (choice)
[5a00ee0]	118
[4bf0926e]	119	% Kernel memory model
	120	@ "kernel" Kernel
	121	@ "large" Large
	122	! [PLATFORM=amd64] MEMORY_MODEL (choice)
	123
[af8e565]	124	% RAM disk format
[9a0367f]	125	@ "tmpfs" TMPFS image
	126	@ "fat" FAT16 image
[d06c4ae]	127	@ "ext4fs" ext4 image
[9a0367f]	128	! RDFMT (choice)
	129
	130
[98a4e76]	131	## Mapping between platform and kernel architecture
	132
[50fda24]	133	% Kernel architecture
	134	@ "abs32le"
	135	! [PLATFORM=abs32le] KARCH (choice)
	136
[98a4e76]	137	% Kernel architecture
	138	@ "amd64"
	139	! [PLATFORM=amd64] KARCH (choice)
	140
	141	% Kernel architecture
	142	@ "arm32"
	143	! [PLATFORM=arm32] KARCH (choice)
	144
[84176f3]	145	% Kernel architecture
	146	@ "arm64"
	147	! [PLATFORM=arm64] KARCH (choice)
	148
[98a4e76]	149	% Kernel architecture
	150	@ "ia32"
	151	! [PLATFORM=ia32] KARCH (choice)
	152
	153	% Kernel architecture
	154	@ "ia32xen"
	155	! [PLATFORM=ia32xen] KARCH (choice)
	156
	157	% Kernel architecture
	158	@ "ia64"
	159	! [PLATFORM=ia64] KARCH (choice)
	160
	161	% Kernel architecture
	162	@ "mips32"
	163	! [PLATFORM=mips32] KARCH (choice)
	164
	165	% Kernel architecture
	166	@ "ppc32"
	167	! [PLATFORM=ppc32] KARCH (choice)
	168
	169	% Kernel architecture
	170	@ "ppc64"
	171	! [PLATFORM=ppc64] KARCH (choice)
	172
[7a67416]	173	% Kernel architecture
	174	@ "riscv64"
	175	! [PLATFORM=riscv64] KARCH (choice)
	176
[98a4e76]	177	% Kernel architecture
	178	@ "sparc64"
	179	! [PLATFORM=sparc64] KARCH (choice)
	180
	181
	182	## Mapping between platform and user space architecture
	183
[50fda24]	184	% User space architecture
	185	@ "abs32le"
	186	! [PLATFORM=abs32le] UARCH (choice)
	187
[98a4e76]	188	% User space architecture
	189	@ "amd64"
	190	! [PLATFORM=amd64] UARCH (choice)
	191
	192	% User space architecture
	193	@ "arm32"
	194	! [PLATFORM=arm32] UARCH (choice)
	195
[84176f3]	196	% User space architecture
	197	@ "arm64"
	198	! [PLATFORM=arm64] UARCH (choice)
	199
[98a4e76]	200	% User space architecture
	201	@ "ia32"
	202	! [PLATFORM=ia32\|PLATFORM=ia32xen] UARCH (choice)
	203
	204	% User space architecture
	205	@ "ia64"
	206	! [PLATFORM=ia64] UARCH (choice)
	207
	208	% User space architecture
	209	@ "mips32"
[cd9531d3]	210	! [PLATFORM=mips32] UARCH (choice)
[98a4e76]	211
	212	% User space architecture
	213	@ "ppc32"
	214	! [PLATFORM=ppc32] UARCH (choice)
	215
	216	% User space architecture
	217	@ "ppc64"
	218	! [PLATFORM=ppc64] UARCH (choice)
	219
[7a67416]	220	% User space architecture
	221	@ "riscv64"
	222	! [PLATFORM=riscv64] UARCH (choice)
	223
[98a4e76]	224	% User space architecture
	225	@ "sparc64"
	226	! [PLATFORM=sparc64] UARCH (choice)
	227
	228
	229	## Mapping between platform and boot architecture
	230
[50fda24]	231	% Boot architecture
	232	@ "abs32le"
	233	! [PLATFORM=abs32le] BARCH (choice)
	234
[98a4e76]	235	% Boot architecture
	236	@ "amd64"
	237	! [PLATFORM=amd64] BARCH (choice)
	238
	239	% Boot architecture
	240	@ "arm32"
	241	! [PLATFORM=arm32] BARCH (choice)
	242
[84176f3]	243	% Boot architecture
	244	@ "arm64"
	245	! [PLATFORM=arm64] BARCH (choice)
	246
[98a4e76]	247	% Boot architecture
	248	@ "ia32"
	249	! [PLATFORM=ia32] BARCH (choice)
	250
	251	% Boot architecture
	252	@ "ia32xen"
	253	! [PLATFORM=ia32xen] BARCH (choice)
	254
	255	% Boot architecture
	256	@ "ia64"
	257	! [PLATFORM=ia64] BARCH (choice)
	258
	259	% Boot architecture
	260	@ "mips32"
	261	! [PLATFORM=mips32] BARCH (choice)
	262
	263	% Boot architecture
	264	@ "ppc32"
	265	! [PLATFORM=ppc32] BARCH (choice)
	266
	267	% Boot architecture
	268	@ "ppc64"
	269	! [PLATFORM=ppc64] BARCH (choice)
	270
[7a67416]	271	% Boot architecture
	272	@ "riscv64"
	273	! [PLATFORM=riscv64] BARCH (choice)
	274
[98a4e76]	275	% Boot architecture
	276	@ "sparc64"
	277	! [PLATFORM=sparc64] BARCH (choice)
	278
	279
	280	## Mapping between platform and image format
	281
	282	% Image format
	283	@ "binary"
	284	! [PLATFORM=mips32&MACHINE=msim] IMAGE (choice)
	285
[5a00ee0]	286	% Image format
	287	@ "elf"
[c0a7545]	288	! [PLATFORM=mips32&(MACHINE=bmalta\|MACHINE=lmalta)] IMAGE (choice)
[5a00ee0]	289
[b51cf2c]	290
[9a0367f]	291	## Compiler options
	292
	293	% Compiler
[bbe5e34]	294	@ "gcc_cross" GNU C Compiler (HelenOS-specific cross-compiler)
[795e2bf]	295	@ "clang" Clang
[d75dc05]	296	! COMPILER (choice)
[50fda24]	297
[a0a273e]	298	% Clang Integrated Assembler
	299	@ "default" Use architecture default.
	300	@ "yes" Use integrated assembler.
	301	@ "no" Use GNU Assembler.
	302	! [COMPILER=clang] INTEGRATED_AS (choice)
[9a0367f]	303
[81983e3]	304	## Cross-compiler target for abstract architecture
	305
	306	% Cross-compiler target
	307	@ "arm32" ARM 32-bit
	308	@ "ia32" Intel IA-32
	309	@ "mips32" MIPS 32-bit
[bbe5e34]	310	! [PLATFORM=abs32le&COMPILER=gcc_cross] CROSS_TARGET (choice)
[81983e3]	311
[9a0367f]	312
[98a4e76]	313	## Kernel configuration
	314
	315	% Fences
[1c6b3a2]	316	! [PLATFORM=ia32&(PROCESSOR=athlon_xp\|PROCESSOR=athlon_mp\|PROCESSOR=pentium3)] CONFIG_FENCES_P3 (y)
[98a4e76]	317
	318	% Fences
[1c6b3a2]	319	! [PLATFORM=ia32&(PROCESSOR=pentium4\|PROCESSOR=core)] CONFIG_FENCES_P4 (y)
[30e2bba]	320
	321	% Fences
	322	! [PLATFORM=amd64] CONFIG_FENCES_P4 (y)
[98a4e76]	323
[6eeb4a3]	324	% IOMAP bitmap support
	325	! [PLATFORM=ia32\|PLATFORM=amd64] CONFIG_IOMAP_BITMAP (y)
	326
	327	% IOMAP dummy support
[84176f3]	328	! [PLATFORM=abs32le\|PLATFORM=arm32\|PLATFORM=arm64\|PLATFORM=mips32\|PLATFORM=ppc32\|PLATFORM=riscv64\|PLATFORM=sparc64] CONFIG_IOMAP_DUMMY (y)
[6eeb4a3]	329
[98a4e76]	330	% ACPI support
	331	! [PLATFORM=ia32\|PLATFORM=amd64] CONFIG_ACPI (y)
	332
	333	% Hierarchical page tables support
[84176f3]	334	! [PLATFORM=abs32le\|PLATFORM=ia32\|PLATFORM=amd64\|PLATFORM=arm32\|PLATFORM=arm64\|PLATFORM=mips32\|PLATFORM=ppc32\|PLATFORM=riscv64] CONFIG_PAGE_PT (y)
[98a4e76]	335
	336	% Page hash table support
[6c1c1f7]	337	! [PLATFORM=ia64\|PLATFORM=sparc64] CONFIG_PAGE_HT (y)
[98a4e76]	338
	339	% Software integer division support
[d776329b]	340	! [PLATFORM=abs32le\|PLATFORM=ia32\|PLATFORM=arm32\|PLATFORM=ia64\|PLATFORM=mips32\|PLATFORM=ppc32] CONFIG_SOFTINT (y)
[98a4e76]	341
	342	% ASID support
[84176f3]	343	! [PLATFORM=arm64\|PLATFORM=ia64\|PLATFORM=mips32\|PLATFORM=ppc32\|PLATFORM=sparc64] CONFIG_ASID (y)
[98a4e76]	344
	345	% ASID FIFO support
[84176f3]	346	! [PLATFORM=arm64\|PLATFORM=ia64\|PLATFORM=mips32\|PLATFORM=ppc32\|PLATFORM=sparc64] CONFIG_ASID_FIFO (y)
[98a4e76]	347
	348	% OpenFirmware tree support
[e731b0d]	349	! [PLATFORM=ppc32\|PLATFORM=sparc64] CONFIG_OFW_TREE (y)
	350
	351	% OpenFirmware PCI bus support
	352	! [PLATFORM=sparc64] CONFIG_OFW_PCI (y)
[98a4e76]	353
[5d8d71e]	354	% Multiboot standard support
	355	! [PLATFORM=ia32\|PLATFORM=amd64] CONFIG_MULTIBOOT (y)
	356
[98a4e76]	357	% FPU support
[84176f3]	358	! [PLATFORM=ia32\|PLATFORM=amd64\|PLATFORM=arm64\|PLATFORM=ia64\|PLATFORM=ppc32\|PLATFORM=sparc64] CONFIG_FPU (y)
[df7f5cea]	359
[d9be488]	360	## ARMv7 made FPU hardware compulsory
[22a0ee8]	361	% FPU support
[5d9e36b]	362	! [PLATFORM=arm32&PROCESSOR_ARCH=armv7_a] CONFIG_FPU (y)
[22a0ee8]	363
[d238aa9]	364	% FPU support
	365	! [PLATFORM=arm32&MACHINE=integratorcp] CONFIG_FPU (y)
[22a0ee8]	366
[98a4e76]	367
[9a0367f]	368	## Kernel features options
	369
	370	% Support for SMP
[84176f3]	371	! [(PLATFORM=ia32&PROCESSOR!=athlon_xp)\|PLATFORM=amd64\|PLATFORM=arm64\|PLATFORM=sparc64\|PLATFORM=ia64\|(PLATFORM=mips32&MACHINE=msim)\|PLATFORM=abs32le] CONFIG_SMP (y/n)
[9a0367f]	372
[04d672c3]	373	% Debug build
	374	! CONFIG_DEBUG (y/n)
	375
[ebb3538]	376	% Early debugging print
	377	! [CONFIG_DEBUG=y] CONFIG_DEBUG_EARLY_PRINT (n/y)
	378
[2f7d77c6]	379	% Sanitize undefined behavior (userspace)
	380	! CONFIG_UBSAN (n/y)
	381
	382	% Sanitize undefined behavior (kernel)
	383	! CONFIG_UBSAN_KERNEL (n/y)
	384
[f6372be9]	385	% Track owner for futexes in userspace.
	386	! CONFIG_DEBUG_FUTEX (y/n)
	387
[04d672c3]	388	% Deadlock detection support for spinlocks
	389	! [CONFIG_DEBUG=y&CONFIG_SMP=y] CONFIG_DEBUG_SPINLOCK (y/n)
	390
[9a0367f]	391	% Lazy FPU context switching
[957ce9a5]	392	! [CONFIG_FPU=y] CONFIG_FPU_LAZY (y/n)
[9a0367f]	393
	394	% Use VHPT
[a1d5167]	395	! [PLATFORM=ia64] CONFIG_VHPT (n/y)
[9a0367f]	396
	397	% Use TSB
[a1d5167]	398	! [PLATFORM=sparc64] CONFIG_TSB (y/n)
[1c6b3a2]	399
	400	% IO SAPIC on default address support
[a1d5167]	401	! [PLATFORM=ia64&MACHINE!=ski] CONFIG_IOSAPIC (y/n)
[1c6b3a2]	402
[87a5796]	403	% Support for Intel i8259 PIC
[68d8736]	404	! [PLATFORM=ia32\|PLATFORM=amd64\|(PLATFORM=mips32&MACHINE=bmalta)\|(PLATFORM=mips32&MACHINE=lmalta)] CONFIG_I8259 (y)
[87a5796]	405
[1c6b3a2]	406	% Virtually indexed D-cache support
[a1d5167]	407	! [PLATFORM=sparc64] CONFIG_VIRT_IDX_DCACHE (y/n)
[1c6b3a2]	408
	409	% Support for userspace debuggers
[a1d5167]	410	! CONFIG_UDEBUG (y/n)
[1c6b3a2]	411
	412	% Kernel console support
[a1d5167]	413	! CONFIG_KCONSOLE (y/n)
[1c6b3a2]	414
[e2b762ec]	415	% Kernel symbol information
	416	! CONFIG_SYMTAB (y/n)
	417
[1c6b3a2]	418	% Detailed kernel logging
[a1d5167]	419	! CONFIG_LOG (n/y)
[1c6b3a2]	420
[ad8f03d2]	421	% Kernel function tracing
	422	! CONFIG_TRACE (n/y)
	423
[1c6b3a2]	424	% Compile kernel tests
[a1d5167]	425	! CONFIG_TEST (y/n)
[1c6b3a2]	426
[cf84f1bf]	427	% Use link-time optimization
[bbe5e34]	428	! [COMPILER=gcc_cross] CONFIG_LTO (n/y)
[cf84f1bf]	429
[dcc2c5d]	430	% Compress init data
	431	! CONFIG_COMPRESSED_INIT (y/n)
[04d672c3]	432
[b7acf38]	433	## User space features options
	434
[1c6b3a2]	435	## Hardware support
[9a0367f]	436
[6ac14a70]	437	% Input device class
	438	@ "generic" Keyboard or serial line
[84176f3]	439	! [(PLATFORM=arm32&MACHINE=integratorcp)\|PLATFORM=arm64] CONFIG_HID_IN (choice)
[6ac14a70]	440
[4d29d01]	441	% Input device class
[71385d4f]	442	@ "generic" Keyboard or serial line
	443	@ "none" No input device
[7a67416]	444	! [PLATFORM=ia32\|PLATFORM=amd64\|PLATFORM=mips32\|PLATFORM=ppc32\|PLATFORM=riscv64\|PLATFORM=sparc64] CONFIG_HID_IN (choice)
[04d672c3]	445
[449d4ecc]	446	% Input device class
	447	@ "generic" Keyboard or serial line
	448	@ "keyboard" Keyboard
	449	@ "serial" Serial line
	450	@ "none" No input device
	451	! [PLATFORM=ia64&MACHINE=i460GX] CONFIG_HID_IN (choice)
	452
[6ac14a70]	453	% Output device class
	454	@ "generic" Monitor or serial line
[84176f3]	455	! [(PLATFORM=arm32&(MACHINE=gta02\|MACHINE=integratorcp\|MACHINE=beagleboardxm\|MACHINE=beaglebone\|MACHINE=raspberrypi))\|PLATFORM=arm64] CONFIG_HID_OUT (choice)
[6ac14a70]	456
[8de4421]	457	% Output device class
	458	@ "generic" Monitor or serial line
	459	@ "none" No output device
[7a67416]	460	! [PLATFORM=ia32\|PLATFORM=amd64\|PLATFORM=sparc64\|PLATFORM=ppc32\|(PLATFORM=ia64&MACHINE=i460GX)\|(PLATFORM=mips32&(MACHINE=msim\|MACHINE=bmalta\|MACHINE=lmalta))\|PLATFORM=riscv64] CONFIG_HID_OUT (choice)
[1c6b3a2]	461
[8de4421]	462	% PC keyboard support
[24b06199]	463	! [(CONFIG_HID_IN=generic\|CONFIG_HID_IN=keyboard)&(PLATFORM=ia32\|PLATFORM=amd64)] CONFIG_PC_KBD (y/n)
[1c6b3a2]	464
[449d4ecc]	465	% PC keyboard support
	466	! [(CONFIG_HID_IN=generic\|CONFIG_HID_IN=keyboard)&PLATFORM=ia64&MACHINE=i460GX] CONFIG_PC_KBD (y/n)
	467
[c0d77f7]	468	% PC keyboard support
[5012203]	469	! [(CONFIG_HID_IN=generic\|CONFIG_HID_IN=keyboard)&PLATFORM=arm32&MACHINE=integratorcp] CONFIG_AT_KBD (y/n)
[c0d77f7]	470
[232cd4f]	471	% Support for msim keyboard
[3c50cddc]	472	! [CONFIG_HID_IN=generic&MACHINE=msim] CONFIG_MSIM_KBD (y/n)
[8de4421]	473
[232cd4f]	474	% Support for msim printer
[3c50cddc]	475	! [(CONFIG_HID_OUT=generic\|CONFIG_HID_OUT=serial)&MACHINE=msim] CONFIG_MSIM_PRN (y/n)
[04d672c3]	476
[d6d04e7]	477	% Support for VIA CUDA controller
	478	! [CONFIG_HID_IN=generic&PLATFORM=ppc32] CONFIG_VIA_CUDA (y/n)
	479
[9693835]	480	% Support for NS16550 controller
[03976d60]	481	! [(CONFIG_HID_IN=generic\|CONFIG_HID_IN=keyboard)&PLATFORM=sparc64&MACHINE=generic] CONFIG_NS16550 (y/n)
[9693835]	482
[449d4ecc]	483	% Support for NS16550 controller
	484	! [(CONFIG_HID_IN=generic\|CONFIG_HID_IN=serial)&PLATFORM=ia64&MACHINE=i460GX] CONFIG_NS16550 (y/n)
	485
[68d8736]	486	% Support for NS16550 controller
	487	! [CONFIG_HID_IN=generic&PLATFORM=mips32&(MACHINE=lmalta\|MACHINE=bmalta)] CONFIG_NS16550 (y)
	488
[c882505]	489	% Support for PL011 UART
[84176f3]	490	! [(CONFIG_HID_OUT=generic\|CONFIG_HID_OUT=serial)&(PLATFORM=arm32&(MACHINE=integratorcp\|MACHINE=raspberrypi))] CONFIG_PL011_UART (y/n)
	491
	492	% Support for PL011 UART
[06f10ac]	493	! [CONFIG_HID_OUT=generic\|(PLATFORM=arm64&(MACHINE=virt\|MACHINE=hikey960))] CONFIG_PL011_UART (y)
[8ec4144]	494
[24b06199]	495	% Support for NS16550 controller (kernel console)
[2fc9bfd]	496	! [(CONFIG_HID_IN=generic\|CONFIG_HID_IN=serial\|CONFIG_HID_OUT=generic\|CONFIG_HID_OUT=serial)&(PLATFORM=ia32\|PLATFORM=amd64)] CONFIG_NS16550_KCON (y/n)
[24b06199]	497
	498	% Use NS16550 controller as serial input (kernel console)
	499	! [(CONFIG_HID_IN=generic\|CONFIG_HID_IN=serial)&(PLATFORM=ia32\|PLATFORM=amd64)&CONFIG_NS16550_KCON=y] CONFIG_NS16550 (y)
	500
	501	% Use NS16550 controller as dummy serial output (kernel console)
[6bbe470]	502	! [(CONFIG_HID_OUT=generic\|CONFIG_HID_OUT=serial)&(PLATFORM=ia32\|PLATFORM=amd64)&CONFIG_NS16550_KCON=y] CONFIG_NS16550_OUT (y)
[3296df5]	503
[68d8736]	504	% Use NS16550 controller as dummy serial output (kernel console)
	505	! [CONFIG_HID_OUT=generic&PLATFORM=mips32&(MACHINE=lmalta\|MACHINE=bmalta)] CONFIG_NS16550_OUT (y)
	506
[f1fc83a]	507	% Support for Samsung S3C24XX on-chip UART
	508	! [(CONFIG_HID_OUT=generic\|CONFIG_HID_OUT=serial)&PLATFORM=arm32&MACHINE=gta02] CONFIG_S3C24XX_UART (y/n)
	509
[ec08286]	510	% Support for Samsung S3C24XX on-chip interrupt controller
	511	! [PLATFORM=arm32&MACHINE=gta02] CONFIG_S3C24XX_IRQC (y)
	512
[6f07226]	513	% Support for TI AM335x timers support
	514	! [PLATFORM=arm32&MACHINE=beaglebone] CONFIG_AM335X_TIMERS (y)
	515
[7ca8422b]	516	% Support for OMAP on-chip UART
	517	! [(CONFIG_HID_OUT=generic\|CONFIG_HID_OUT=serial)&PLATFORM=arm32&(MACHINE=beagleboardxm\|MACHINE=beaglebone)] CONFIG_OMAP_UART (y/n)
[d2707fc]	518
[44b2b78]	519	% Support for BCM2835 mailbox
	520	! [PLATFORM=arm32&MACHINE=raspberrypi] CONFIG_BCM2835_MAILBOX (y/n)
	521
[84176f3]	522	% Support for ARM GICv2
[06f10ac]	523	! [PLATFORM=arm64&(MACHINE=virt\|MACHINE=hikey960)] CONFIG_GICV2 (y)
[84176f3]	524
[87bedd1c]	525	% Support for i8042 controller
[8de4421]	526	! [CONFIG_PC_KBD=y] CONFIG_I8042 (y)
[9a0367f]	527
[87bedd1c]	528	% Support for pl050 controller
[6ac14a70]	529	! [CONFIG_HID_IN=generic&PLATFORM=arm32&MACHINE=integratorcp] CONFIG_PL050 (y)
	530
[9693835]	531	% Sun keyboard support
[336d2f52]	532	! [(CONFIG_HID_IN=generic\|CONFIG_HID_IN=keyboard)&PLATFORM=sparc64&MACHINE=generic&CONFIG_NS16550=y] CONFIG_SUN_KBD (y)
[9693835]	533
[1b1be5f]	534	% Sun serial console support
[25fb8c6]	535	! [(CONFIG_HID_IN=generic\|CONFIG_HID_IN=keyboard)&PLATFORM=sparc64&MACHINE=generic&CONFIG_NS16550=y] CONFIG_SUN_TTY (y)
[1b1be5f]	536
[2a77841d]	537	% Macintosh ADB keyboard support
	538	! [(CONFIG_HID_IN=generic\|CONFIG_HID_IN=keyboard)&PLATFORM=ppc32&(CONFIG_VIA_CUDA=y)] CONFIG_MAC_KBD (y)
	539
[8de4421]	540	% Dummy serial line input
[3c50cddc]	541	! [CONFIG_MSIM_KBD=y\|CONFIG_ARM_KBD=y] CONFIG_DSRLNIN (y)
[9a0367f]	542
[8de4421]	543	% Dummy serial line output
[3c50cddc]	544	! [CONFIG_MSIM_PRN=y\|CONFIG_ARM_PRN=y] CONFIG_DSRLNOUT (y)
[411b6a6]	545
[8de4421]	546	% Serial line input module
[1b1be5f]	547	! [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)
[8de4421]	548
[3bdcf57]	549	% L4Re uvmm print hypercall support
	550	! [PLATFORM=amd64] CONFIG_L4RE_UVMM_EARLY_PRINT (n/y)
	551
[1c6b3a2]	552	% EGA support
[8de4421]	553	! [CONFIG_HID_OUT=generic&(PLATFORM=ia32\|PLATFORM=amd64)] CONFIG_EGA (y/n)
	554
[449d4ecc]	555	% EGA support
	556	! [CONFIG_HID_OUT=generic&PLATFORM=ia64&MACHINE=i460GX] CONFIG_EGA (y/n)
[8de4421]	557
	558	% Framebuffer support
[d0688a3]	559	! [CONFIG_HID_OUT=generic&(PLATFORM=ia32\|PLATFORM=amd64\|PLATFORM=ppc32)] CONFIG_FB (y/n)
[8de4421]	560
[00287cc]	561	% Framebuffer support
[03976d60]	562	! [(CONFIG_HID_OUT=generic\|CONFIG_HID_OUT=monitor)&PLATFORM=arm32] CONFIG_FB (y/n)
	563
	564	% Framebuffer support
	565	! [(CONFIG_HID_OUT=generic\|CONFIG_HID_OUT=monitor)&PLATFORM=sparc64&MACHINE=generic] CONFIG_FB (y/n)
[98a4e76]	566
[421c833]	567	% Default framebuffer mode
	568	@ "640x480"
	569	@ "800x600"
	570	@ "1024x768"
	571	@ "1152x720"
	572	@ "1152x864"
[46757a6]	573	@ "1280x720"
	574	@ "1280x800"
[421c833]	575	@ "1280x960"
	576	@ "1280x1024"
	577	@ "1400x1050"
	578	@ "1440x900"
	579	@ "1440x1050"
	580	@ "1600x1200"
	581	@ "1920x1080"
	582	@ "1920x1200"
[ee685630]	583	! [(PLATFORM=ia32\|PLATFORM=amd64\|MACHINE=beagleboardxm)&CONFIG_HID_OUT!=none&CONFIG_FB=y] CONFIG_BFB_MODE (choice)
[421c833]	584
	585	% Default framebuffer depth
[9a0367f]	586	@ "8"
	587	@ "16"
	588	@ "24"
[c7b9c5d6]	589	@ "32"
[ee685630]	590	! [(PLATFORM=ia32\|PLATFORM=amd64\|MACHINE=beagleboardxm)&CONFIG_HID_OUT!=none&CONFIG_FB=y] CONFIG_BFB_BPP (choice)
[9a0367f]	591
[1382446]	592	% Window system
	593	! [CONFIG_FB=y] CONFIG_WINSYS (y/n)
	594
[8aef01c]	595	% Display double buffering
[e87415e6]	596	! [CONFIG_WINSYS=y] CONFIG_DISP_DOUBLE_BUF (y/n)
[8aef01c]	597
[2ab8ab3]	598	% Client-side UI rendering
[e87415e6]	599	! CONFIG_UI_CS_RENDER (y/n)
[2ab8ab3]	600
[afcf704]	601	% Window double buffering
[2ab8ab3]	602	! [CONFIG_UI_CS_RENDER=y] CONFIG_WIN_DOUBLE_BUF (n/y)
[afcf704]	603
[9a0367f]	604	% Start AP processors by the loader
[a1d5167]	605	! [PLATFORM=sparc64&CONFIG_SMP=y] CONFIG_AP (y/n)
[9a0367f]	606
[7fb3f1c]	607	% Dynamic linking support
[a949f4a]	608	! [PLATFORM=amd64\|PLATFORM=arm32\|PLATFORM=ia32\|PLATFORM=ia64\|PLATFORM=ppc32\|PLATFORM=sparc64] CONFIG_RTLD (y/n)
	609	! [PLATFORM=abs32le\|PLATFORM=arm64\|PLATFORM=mips32\|PLATFORM=riscv64] CONFIG_RTLD (n)
[7fb3f1c]	610
[ec3e2ed]	611	% Build shared libraries
[7fb3f1c]	612	! [CONFIG_RTLD=y] CONFIG_BUILD_SHARED_LIBS (n/y)
	613	! [CONFIG_RTLD=n] CONFIG_BUILD_SHARED_LIBS (n)
[1ea99cc]	614
[ec3e2ed]	615	% Link against shared libraries
	616	! [CONFIG_BUILD_SHARED_LIBS=y] CONFIG_USE_SHARED_LIBS (n/y)
	617	! [CONFIG_BUILD_SHARED_LIBS=n] CONFIG_USE_SHARED_LIBS (n)
[1ea99cc]	618
[3acb285a]	619	% Launch (devman) test drivers
[774fc85]	620	! [CONFIG_DEBUG=y] CONFIG_TEST_DRIVERS (n/y)
[3acb285a]	621
[dafa2d04]	622	% Write core files
	623	! CONFIG_WRITE_CORE_FILES (n/y)
[827d73f]	624
[865b981]	625	% Include userspace unit tests (PCUT)
[01579ad]	626	! CONFIG_PCUT_TESTS (n/y)
	627
[824208bf]	628	% Include PCUT self-tests
	629	! CONFIG_PCUT_SELF_TESTS (n/y)
	630
[a8010272]	631	% Include development files (headers, libraries)
[d21e935c]	632	! CONFIG_DEVEL_FILES (n/y)
[a8010272]	633
[be6cef1b]	634	% Strip binaries
[fa9616b4]	635	! CONFIG_STRIP_BINARIES (n/y)
[be6cef1b]	636
[476ac3b]	637	% Strip revision information (helpful when comparing outputs)
	638	! CONFIG_STRIP_REVISION_INFO (n/y)
	639
[2c52073]	640	% Optimization level
	641	@ "3" Level 3 (recommended).
	642	@ "2" Level 2.
	643	@ "1" Level 1.
	644	@ "0" Disable optimizations.
	645	@ "s" Optimize for size.
	646	@ "g" Enable only optimizations that don't harm debugging.
	647	@ "fast" Level 3 + aggressive optimizations that can affect adherence to standards.
	648	! OPTIMIZATION (choice)
[fa9616b4]	649
[3061bc1]	650	% Barebone build with essential binaries only
[15b592b]	651	! CONFIG_BAREBONE (n/y)
[be6cef1b]	652
[9ded977]	653	% Line debugging information
	654	! [CONFIG_STRIP_BINARIES!=y] CONFIG_LINE_DEBUG (n/y)
[42be09b]	655
[f4e508f]	656	# USB settings
[f64e81a]	657
[960ff451]	658	% Start virtual USB host controller
	659	! CONFIG_RUN_VIRTUAL_USB_HC (n/y)
	660
[b4f291d]	661	% OHCI root hub port power switching
[ca2815e]	662	@ "no" All root hub ports are always powered.
	663	@ "ganged" Root hub ports are all powered or all off.
	664	@ "per_port" Powered status of every root hub port is independent.
[b9bbaad]	665	! [PLATFORM=ia32\|PLATFORM=amd64\|PLATFORM=ppc32] OHCI_POWER_SWITCH (choice)
[83285fd]	666
	667	% GRUB boot loader architecture
	668	@ "pc" GRUB for PC
	669	@ "efi" GRUB for UEFI
	670	! [PLATFORM=ia32\|PLATFORM=amd64] GRUB_ARCH (choice)
[5711f6ec]	671
[84176f3]	672	% GRUB boot loader architecture
	673	@ "efi" GRUB for UEFI
	674	! [PLATFORM=arm64&MACHINE=virt] GRUB_ARCH (choice)
	675
[5711f6ec]	676	% uImage OS type
	677	@ "2" NetBSD stage 2 boot loader
[e1530ec2]	678	! [PLATFORM=arm32&(MACHINE=beagleboardxm\|MACHINE=beaglebone)] UIMAGE_OS (choice)
[5711f6ec]	679
	680	% uImage OS type
	681	@ "5" Linux kernel
[e1530ec2]	682	! [PLATFORM=arm32&MACHINE!=beagleboardxm&MACHINE!=beaglebone] UIMAGE_OS (choice)

Note: See TracBrowser for help on using the repository browser.

Download in other formats:

Original Format