Context Navigation

source: mainline/HelenOS.config@ c48de91

Visit:

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

Last change on this file since c48de91 was 3bdcf57, checked in by Jakub Jermar <jakub@…>, 6 years ago

Add support for L4Re's uvmm early print

This is useful when running as a guest under L4Re's uvmm.

Property mode set to 100644

File size: 19.2 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
	70	! [PLATFORM=arm64] MACHINE (choice)
	71
[9a0367f]	72	% CPU type
	73	@ "pentium4" Pentium 4
	74	@ "pentium3" Pentium 3
	75	@ "core" Core Solo/Duo
[70554dd]	76	@ "athlon_xp" Athlon XP
	77	@ "athlon_mp" Athlon MP
[1c99eae]	78	@ "i486" i486
[a1d5167]	79	! [PLATFORM=ia32] PROCESSOR (choice)
[9a0367f]	80
	81	% CPU type
	82	@ "opteron" Opteron
[1c6b3a2]	83	! [PLATFORM=amd64] PROCESSOR (choice)
[9a0367f]	84
	85	% CPU type
	86	@ "us" UltraSPARC I-II subarchitecture
	87	@ "us3" UltraSPARC III-IV subarchitecture
[68834d85]	88	@ "sun4v" Niagara (sun4v)
[1c6b3a2]	89	! [PLATFORM=sparc64&MACHINE=generic] PROCESSOR (choice)
	90
[954c024]	91	% Quad float type
	92	@ "hard" Hardware
	93	@ "soft" Software
	94	! [PLATFORM=sparc64] QUADFLOAT (choice)
	95
[f1aa1db]	96	% CPU type
[e7b0b85]	97	@ "cortex_a8" ARM Cortex A-8
[b1011dae]	98	! [PLATFORM=arm32&(MACHINE=beagleboardxm\|MACHINE=beaglebone)] PROCESSOR (choice)
[f1aa1db]	99
	100	% CPU type
[e7b0b85]	101	@ "arm920t" ARM920T
	102	! [PLATFORM=arm32&MACHINE=gta02] PROCESSOR (choice)
[f1aa1db]	103
	104	% CPU type
[e7b0b85]	105	@ "arm926ej_s" ARM926EJ-S
	106	! [PLATFORM=arm32&MACHINE=integratorcp] PROCESSOR (choice)
	107
[8f9d70b]	108	% CPU type
[c92dfed]	109	@ "arm1176jzf_s" ARM1176JZF-S
[8f9d70b]	110	! [PLATFORM=arm32&MACHINE=raspberrypi] PROCESSOR (choice)
[e7b0b85]	111
	112	# Add more ARMv4 CPUs
[5d9e36b]	113	% CPU arch
[f1aa1db]	114	@ "armv4" ARMv4
[e7b0b85]	115	! [PLATFORM=arm32&(PROCESSOR=arm920t)] PROCESSOR_ARCH (choice)
[f1aa1db]	116
[e7b0b85]	117	# Add more ARMv5 CPUs
	118	% CPU arch
[f1aa1db]	119	@ "armv5" ARMv5
[e7b0b85]	120	! [PLATFORM=arm32&(PROCESSOR=arm926ej_s)] PROCESSOR_ARCH (choice)
[f1aa1db]	121
[8f9d70b]	122	# Add more ARMv6 CPUs
	123	% CPU arch
	124	@ "armv6" ARMv6
[c92dfed]	125	! [PLATFORM=arm32&(PROCESSOR=arm1176jzf_s)] PROCESSOR_ARCH (choice)
[8f9d70b]	126
[e7b0b85]	127	# Add more ARMv7-A CPUs
	128	% CPU arch
[49a736e2]	129	@ "armv7_a" ARMv7-A
[e7b0b85]	130	! [PLATFORM=arm32&(PROCESSOR=cortex_a8)] PROCESSOR_ARCH (choice)
[f1aa1db]	131
[5a00ee0]	132	% CPU type
	133	@ "R4000" MIPS R4000
	134	! [PLATFORM=mips32&MACHINE=msim] PROCESSOR (choice)
	135
	136	% CPU type
	137	@ "4Kc" MIPS 4Kc
[c0a7545]	138	! [PLATFORM=mips32&(MACHINE=bmalta\|MACHINE=lmalta)] PROCESSOR (choice)
[5a00ee0]	139
[4bf0926e]	140	% Kernel memory model
	141	@ "kernel" Kernel
	142	@ "large" Large
	143	! [PLATFORM=amd64] MEMORY_MODEL (choice)
	144
[af8e565]	145	% RAM disk format
[9a0367f]	146	@ "tmpfs" TMPFS image
	147	@ "fat" FAT16 image
[d06c4ae]	148	@ "ext4fs" ext4 image
[9a0367f]	149	! RDFMT (choice)
	150
	151
[98a4e76]	152	## Mapping between platform and kernel architecture
	153
[50fda24]	154	% Kernel architecture
	155	@ "abs32le"
	156	! [PLATFORM=abs32le] KARCH (choice)
	157
[98a4e76]	158	% Kernel architecture
	159	@ "amd64"
	160	! [PLATFORM=amd64] KARCH (choice)
	161
	162	% Kernel architecture
	163	@ "arm32"
	164	! [PLATFORM=arm32] KARCH (choice)
	165
[84176f3]	166	% Kernel architecture
	167	@ "arm64"
	168	! [PLATFORM=arm64] KARCH (choice)
	169
[98a4e76]	170	% Kernel architecture
	171	@ "ia32"
	172	! [PLATFORM=ia32] KARCH (choice)
	173
	174	% Kernel architecture
	175	@ "ia32xen"
	176	! [PLATFORM=ia32xen] KARCH (choice)
	177
	178	% Kernel architecture
	179	@ "ia64"
	180	! [PLATFORM=ia64] KARCH (choice)
	181
	182	% Kernel architecture
	183	@ "mips32"
	184	! [PLATFORM=mips32] KARCH (choice)
	185
	186	% Kernel architecture
	187	@ "ppc32"
	188	! [PLATFORM=ppc32] KARCH (choice)
	189
	190	% Kernel architecture
	191	@ "ppc64"
	192	! [PLATFORM=ppc64] KARCH (choice)
	193
[7a67416]	194	% Kernel architecture
	195	@ "riscv64"
	196	! [PLATFORM=riscv64] KARCH (choice)
	197
[98a4e76]	198	% Kernel architecture
	199	@ "sparc64"
	200	! [PLATFORM=sparc64] KARCH (choice)
	201
	202
	203	## Mapping between platform and user space architecture
	204
[50fda24]	205	% User space architecture
	206	@ "abs32le"
	207	! [PLATFORM=abs32le] UARCH (choice)
	208
[98a4e76]	209	% User space architecture
	210	@ "amd64"
	211	! [PLATFORM=amd64] UARCH (choice)
	212
	213	% User space architecture
	214	@ "arm32"
	215	! [PLATFORM=arm32] UARCH (choice)
	216
[84176f3]	217	% User space architecture
	218	@ "arm64"
	219	! [PLATFORM=arm64] UARCH (choice)
	220
[98a4e76]	221	% User space architecture
	222	@ "ia32"
	223	! [PLATFORM=ia32\|PLATFORM=ia32xen] UARCH (choice)
	224
	225	% User space architecture
	226	@ "ia64"
	227	! [PLATFORM=ia64] UARCH (choice)
	228
	229	% User space architecture
	230	@ "mips32"
[232cd4f]	231	! [PLATFORM=mips32&(MACHINE=msim\|MACHINE=lmalta)] UARCH (choice)
[98a4e76]	232
	233	% User space architecture
	234	@ "mips32eb"
[232cd4f]	235	! [PLATFORM=mips32&MACHINE=bmalta] UARCH (choice)
[98a4e76]	236
	237	% User space architecture
	238	@ "ppc32"
	239	! [PLATFORM=ppc32] UARCH (choice)
	240
	241	% User space architecture
	242	@ "ppc64"
	243	! [PLATFORM=ppc64] UARCH (choice)
	244
[7a67416]	245	% User space architecture
	246	@ "riscv64"
	247	! [PLATFORM=riscv64] UARCH (choice)
	248
[98a4e76]	249	% User space architecture
	250	@ "sparc64"
	251	! [PLATFORM=sparc64] UARCH (choice)
	252
	253
	254	## Mapping between platform and boot architecture
	255
[50fda24]	256	% Boot architecture
	257	@ "abs32le"
	258	! [PLATFORM=abs32le] BARCH (choice)
	259
[98a4e76]	260	% Boot architecture
	261	@ "amd64"
	262	! [PLATFORM=amd64] BARCH (choice)
	263
	264	% Boot architecture
	265	@ "arm32"
	266	! [PLATFORM=arm32] BARCH (choice)
	267
[84176f3]	268	% Boot architecture
	269	@ "arm64"
	270	! [PLATFORM=arm64] BARCH (choice)
	271
[98a4e76]	272	% Boot architecture
	273	@ "ia32"
	274	! [PLATFORM=ia32] BARCH (choice)
	275
	276	% Boot architecture
	277	@ "ia32xen"
	278	! [PLATFORM=ia32xen] BARCH (choice)
	279
	280	% Boot architecture
	281	@ "ia64"
	282	! [PLATFORM=ia64] BARCH (choice)
	283
	284	% Boot architecture
	285	@ "mips32"
	286	! [PLATFORM=mips32] BARCH (choice)
	287
	288	% Boot architecture
	289	@ "ppc32"
	290	! [PLATFORM=ppc32] BARCH (choice)
	291
	292	% Boot architecture
	293	@ "ppc64"
	294	! [PLATFORM=ppc64] BARCH (choice)
	295
[7a67416]	296	% Boot architecture
	297	@ "riscv64"
	298	! [PLATFORM=riscv64] BARCH (choice)
	299
[98a4e76]	300	% Boot architecture
	301	@ "sparc64"
	302	! [PLATFORM=sparc64] BARCH (choice)
	303
	304
	305	## Mapping between platform and image format
	306
	307	% Image format
	308	@ "binary"
	309	! [PLATFORM=mips32&MACHINE=msim] IMAGE (choice)
	310
[5a00ee0]	311	% Image format
	312	@ "elf"
[c0a7545]	313	! [PLATFORM=mips32&(MACHINE=bmalta\|MACHINE=lmalta)] IMAGE (choice)
[5a00ee0]	314
[b51cf2c]	315
[9a0367f]	316	## Compiler options
	317
	318	% Compiler
[bbe5e34]	319	@ "gcc_cross" GNU C Compiler (HelenOS-specific cross-compiler)
[795e2bf]	320	@ "clang" Clang
[d75dc05]	321	! COMPILER (choice)
[50fda24]	322
[a0a273e]	323	% Clang Integrated Assembler
	324	@ "default" Use architecture default.
	325	@ "yes" Use integrated assembler.
	326	@ "no" Use GNU Assembler.
	327	! [COMPILER=clang] INTEGRATED_AS (choice)
[9a0367f]	328
[81983e3]	329	## Cross-compiler target for abstract architecture
	330
	331	% Cross-compiler target
	332	@ "arm32" ARM 32-bit
	333	@ "ia32" Intel IA-32
	334	@ "mips32" MIPS 32-bit
[bbe5e34]	335	! [PLATFORM=abs32le&COMPILER=gcc_cross] CROSS_TARGET (choice)
[81983e3]	336
[9a0367f]	337
[98a4e76]	338	## Kernel configuration
	339
	340	% Fences
[1c6b3a2]	341	! [PLATFORM=ia32&(PROCESSOR=athlon_xp\|PROCESSOR=athlon_mp\|PROCESSOR=pentium3)] CONFIG_FENCES_P3 (y)
[98a4e76]	342
	343	% Fences
[1c6b3a2]	344	! [PLATFORM=ia32&(PROCESSOR=pentium4\|PROCESSOR=core)] CONFIG_FENCES_P4 (y)
[30e2bba]	345
	346	% Fences
	347	! [PLATFORM=amd64] CONFIG_FENCES_P4 (y)
[98a4e76]	348
[6eeb4a3]	349	% IOMAP bitmap support
	350	! [PLATFORM=ia32\|PLATFORM=amd64] CONFIG_IOMAP_BITMAP (y)
	351
	352	% IOMAP dummy support
[84176f3]	353	! [PLATFORM=abs32le\|PLATFORM=arm32\|PLATFORM=arm64\|PLATFORM=mips32\|PLATFORM=ppc32\|PLATFORM=riscv64\|PLATFORM=sparc64] CONFIG_IOMAP_DUMMY (y)
[6eeb4a3]	354
[98a4e76]	355	% ACPI support
	356	! [PLATFORM=ia32\|PLATFORM=amd64] CONFIG_ACPI (y)
	357
	358	% Hierarchical page tables support
[84176f3]	359	! [PLATFORM=abs32le\|PLATFORM=ia32\|PLATFORM=amd64\|PLATFORM=arm32\|PLATFORM=arm64\|PLATFORM=mips32\|PLATFORM=ppc32\|PLATFORM=riscv64] CONFIG_PAGE_PT (y)
[98a4e76]	360
	361	% Page hash table support
[6c1c1f7]	362	! [PLATFORM=ia64\|PLATFORM=sparc64] CONFIG_PAGE_HT (y)
[98a4e76]	363
	364	% Software integer division support
[d776329b]	365	! [PLATFORM=abs32le\|PLATFORM=ia32\|PLATFORM=arm32\|PLATFORM=ia64\|PLATFORM=mips32\|PLATFORM=ppc32] CONFIG_SOFTINT (y)
[98a4e76]	366
	367	% ASID support
[84176f3]	368	! [PLATFORM=arm64\|PLATFORM=ia64\|PLATFORM=mips32\|PLATFORM=ppc32\|PLATFORM=sparc64] CONFIG_ASID (y)
[98a4e76]	369
	370	% ASID FIFO support
[84176f3]	371	! [PLATFORM=arm64\|PLATFORM=ia64\|PLATFORM=mips32\|PLATFORM=ppc32\|PLATFORM=sparc64] CONFIG_ASID_FIFO (y)
[98a4e76]	372
	373	% OpenFirmware tree support
[e731b0d]	374	! [PLATFORM=ppc32\|PLATFORM=sparc64] CONFIG_OFW_TREE (y)
	375
	376	% OpenFirmware PCI bus support
	377	! [PLATFORM=sparc64] CONFIG_OFW_PCI (y)
[98a4e76]	378
[5d8d71e]	379	% Multiboot standard support
	380	! [PLATFORM=ia32\|PLATFORM=amd64] CONFIG_MULTIBOOT (y)
	381
[98a4e76]	382	% FPU support
[84176f3]	383	! [PLATFORM=ia32\|PLATFORM=amd64\|PLATFORM=arm64\|PLATFORM=ia64\|PLATFORM=ppc32\|PLATFORM=sparc64] CONFIG_FPU (y)
[df7f5cea]	384
[d9be488]	385	## ARMv7 made FPU hardware compulsory
[22a0ee8]	386	% FPU support
[5d9e36b]	387	! [PLATFORM=arm32&PROCESSOR_ARCH=armv7_a] CONFIG_FPU (y)
[22a0ee8]	388
[d238aa9]	389	% FPU support
	390	! [PLATFORM=arm32&MACHINE=integratorcp] CONFIG_FPU (y)
[22a0ee8]	391
[98a4e76]	392
[9a0367f]	393	## Kernel features options
	394
	395	% Support for SMP
[84176f3]	396	! [(PLATFORM=ia32&PROCESSOR!=athlon_xp)\|PLATFORM=amd64\|PLATFORM=arm64\|PLATFORM=sparc64\|PLATFORM=ia64\|(PLATFORM=mips32&MACHINE=msim)\|PLATFORM=abs32le] CONFIG_SMP (y/n)
[9a0367f]	397
[04d672c3]	398	% Debug build
	399	! CONFIG_DEBUG (y/n)
	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
	515	! [CONFIG_HID_OUT=generic\|(PLATFORM=arm64&MACHINE=virt)] 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
	545	! [PLATFORM=arm64&MACHINE=virt] CONFIG_GICV2 (y)
	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
	614	% Start AP processors by the loader
[a1d5167]	615	! [PLATFORM=sparc64&CONFIG_SMP=y] CONFIG_AP (y/n)
[9a0367f]	616
[7fb3f1c]	617	% Dynamic linking support
[3ffb69b]	618	! [PLATFORM=amd64\|PLATFORM=arm32\|PLATFORM=ia32\|PLATFORM=ppc32\|PLATFORM=sparc64] CONFIG_RTLD (y/n)
[84176f3]	619	! [PLATFORM=abs32le\|PLATFORM=arm64\|PLATFORM=ia64\|PLATFORM=mips32\|PLATFORM=riscv64] CONFIG_RTLD (n)
[7fb3f1c]	620
[ec3e2ed]	621	% Build shared libraries
[7fb3f1c]	622	! [CONFIG_RTLD=y] CONFIG_BUILD_SHARED_LIBS (n/y)
	623	! [CONFIG_RTLD=n] CONFIG_BUILD_SHARED_LIBS (n)
[1ea99cc]	624
[ec3e2ed]	625	% Link against shared libraries
	626	! [CONFIG_BUILD_SHARED_LIBS=y] CONFIG_USE_SHARED_LIBS (n/y)
	627	! [CONFIG_BUILD_SHARED_LIBS=n] CONFIG_USE_SHARED_LIBS (n)
[1ea99cc]	628
[3acb285a]	629	% Launch (devman) test drivers
[774fc85]	630	! [CONFIG_DEBUG=y] CONFIG_TEST_DRIVERS (n/y)
[3acb285a]	631
[dafa2d04]	632	% Write core files
	633	! CONFIG_WRITE_CORE_FILES (n/y)
[827d73f]	634
[865b981]	635	% Include userspace unit tests (PCUT)
[01579ad]	636	! CONFIG_PCUT_TESTS (n/y)
	637
[824208bf]	638	% Include PCUT self-tests
	639	! CONFIG_PCUT_SELF_TESTS (n/y)
	640
[a8010272]	641	% Include development files (headers, libraries)
[d21e935c]	642	! CONFIG_DEVEL_FILES (n/y)
[a8010272]	643
[be6cef1b]	644	% Strip binaries
[fa9616b4]	645	! CONFIG_STRIP_BINARIES (n/y)
[be6cef1b]	646
[476ac3b]	647	% Strip revision information (helpful when comparing outputs)
	648	! CONFIG_STRIP_REVISION_INFO (n/y)
	649
[2c52073]	650	% Optimization level
	651	@ "3" Level 3 (recommended).
	652	@ "2" Level 2.
	653	@ "1" Level 1.
	654	@ "0" Disable optimizations.
	655	@ "s" Optimize for size.
	656	@ "g" Enable only optimizations that don't harm debugging.
	657	@ "fast" Level 3 + aggressive optimizations that can affect adherence to standards.
	658	! OPTIMIZATION (choice)
[fa9616b4]	659
[3061bc1]	660	% Barebone build with essential binaries only
[15b592b]	661	! CONFIG_BAREBONE (n/y)
[be6cef1b]	662
[9ded977]	663	% Line debugging information
	664	! [CONFIG_STRIP_BINARIES!=y] CONFIG_LINE_DEBUG (n/y)
[42be09b]	665
[f4e508f]	666	# USB settings
[f64e81a]	667
[960ff451]	668	% Start virtual USB host controller
	669	! CONFIG_RUN_VIRTUAL_USB_HC (n/y)
	670
[b4f291d]	671	% OHCI root hub port power switching
[ca2815e]	672	@ "no" All root hub ports are always powered.
	673	@ "ganged" Root hub ports are all powered or all off.
	674	@ "per_port" Powered status of every root hub port is independent.
[b9bbaad]	675	! [PLATFORM=ia32\|PLATFORM=amd64\|PLATFORM=ppc32] OHCI_POWER_SWITCH (choice)
[83285fd]	676
	677	% GRUB boot loader architecture
	678	@ "pc" GRUB for PC
	679	@ "efi" GRUB for UEFI
	680	! [PLATFORM=ia32\|PLATFORM=amd64] GRUB_ARCH (choice)
[5711f6ec]	681
[84176f3]	682	% GRUB boot loader architecture
	683	@ "efi" GRUB for UEFI
	684	! [PLATFORM=arm64&MACHINE=virt] GRUB_ARCH (choice)
	685
[5711f6ec]	686	% uImage OS type
	687	@ "2" NetBSD stage 2 boot loader
[e1530ec2]	688	! [PLATFORM=arm32&(MACHINE=beagleboardxm\|MACHINE=beaglebone)] UIMAGE_OS (choice)
[5711f6ec]	689
	690	% uImage OS type
	691	@ "5" Linux kernel
[e1530ec2]	692	! [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