Context Navigation

source: mainline/HelenOS.config@ be0ec50

Visit:

ticket/834-toolchain-update topic/msim-upgrade topic/simplify-dev-export

Last change on this file since be0ec50 was ebb3538, checked in by Martin Decky <martin@…>, 4 years ago

Improve early kernel debugging prints

Since the early kernel debugging prints are useful only in a few
debugging scenarios, define a configuration option that disables them by
default (if enabled, it produces duplicate output which might be
confusing).

Implement early kernel debugging prints for the HiKey960.

Property mode set to 100644

File size: 19.5 KB

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