xref: /openbmc/linux/arch/alpha/Kconfig (revision 2a598d0b)
1# SPDX-License-Identifier: GPL-2.0
2config ALPHA
3	bool
4	default y
5	select ARCH_32BIT_USTAT_F_TINODE
6	select ARCH_HAS_CURRENT_STACK_POINTER
7	select ARCH_MIGHT_HAVE_PC_PARPORT
8	select ARCH_MIGHT_HAVE_PC_SERIO
9	select ARCH_NO_PREEMPT
10	select ARCH_NO_SG_CHAIN
11	select ARCH_USE_CMPXCHG_LOCKREF
12	select DMA_OPS if PCI
13	select FORCE_PCI if !ALPHA_JENSEN
14	select PCI_DOMAINS if PCI
15	select PCI_SYSCALL if PCI
16	select HAVE_ASM_MODVERSIONS
17	select HAVE_PCSPKR_PLATFORM
18	select HAVE_PERF_EVENTS
19	select NEED_DMA_MAP_STATE
20	select NEED_SG_DMA_LENGTH
21	select GENERIC_IRQ_PROBE
22	select GENERIC_PCI_IOMAP
23	select AUTO_IRQ_AFFINITY if SMP
24	select GENERIC_IRQ_SHOW
25	select ARCH_WANT_IPC_PARSE_VERSION
26	select ARCH_HAVE_NMI_SAFE_CMPXCHG
27	select AUDIT_ARCH
28	select GENERIC_CPU_VULNERABILITIES
29	select GENERIC_SMP_IDLE_THREAD
30	select HAS_IOPORT
31	select HAVE_ARCH_AUDITSYSCALL
32	select HAVE_MOD_ARCH_SPECIFIC
33	select LOCK_MM_AND_FIND_VMA
34	select MODULES_USE_ELF_RELA
35	select ODD_RT_SIGACTION
36	select OLD_SIGSUSPEND
37	select CPU_NO_EFFICIENT_FFS if !ALPHA_EV67
38	select MMU_GATHER_NO_RANGE
39	select SPARSEMEM_EXTREME if SPARSEMEM
40	select ZONE_DMA
41	help
42	  The Alpha is a 64-bit general-purpose processor designed and
43	  marketed by the Digital Equipment Corporation of blessed memory,
44	  now Hewlett-Packard.  The Alpha Linux project has a home page at
45	  <http://www.alphalinux.org/>.
46
47config 64BIT
48	def_bool y
49
50config MMU
51	bool
52	default y
53
54config ARCH_HAS_ILOG2_U32
55	bool
56	default n
57
58config ARCH_HAS_ILOG2_U64
59	bool
60	default n
61
62config GENERIC_CALIBRATE_DELAY
63	bool
64	default y
65
66config GENERIC_ISA_DMA
67	bool
68	default y
69
70config PGTABLE_LEVELS
71	int
72	default 3
73
74config AUDIT_ARCH
75	bool
76
77menu "System setup"
78
79choice
80	prompt "Alpha system type"
81	default ALPHA_GENERIC
82	help
83	  This is the system type of your hardware.  A "generic" kernel will
84	  run on any supported Alpha system. However, if you configure a
85	  kernel for your specific system, it will be faster and smaller.
86
87	  To find out what type of Alpha system you have, you may want to
88	  check out the Linux/Alpha FAQ, accessible on the WWW from
89	  <http://www.alphalinux.org/>. In summary:
90
91	  Alcor/Alpha-XLT     AS 600, AS 500, XL-300, XL-366
92	  Alpha-XL            XL-233, XL-266
93	  AlphaBook1          Alpha laptop
94	  Avanti              AS 200, AS 205, AS 250, AS 255, AS 300, AS 400
95	  Cabriolet           AlphaPC64, AlphaPCI64
96	  DP264               DP264 / DS20 / ES40 / DS10 / DS10L
97	  EB164               EB164 21164 evaluation board
98	  EB64+               EB64+ 21064 evaluation board
99	  EB66                EB66 21066 evaluation board
100	  EB66+               EB66+ 21066 evaluation board
101	  Jensen              DECpc 150, DEC 2000 models 300, 500
102	  LX164               AlphaPC164-LX
103	  Lynx                AS 2100A
104	  Miata               Personal Workstation 433/500/600 a/au
105	  Marvel              AlphaServer ES47 / ES80 / GS1280
106	  Mikasa              AS 1000
107	  Noname              AXPpci33, UDB (Multia)
108	  Noritake            AS 1000A, AS 600A, AS 800
109	  PC164               AlphaPC164
110	  Rawhide             AS 1200, AS 4000, AS 4100
111	  Ruffian             RPX164-2, AlphaPC164-UX, AlphaPC164-BX
112	  SX164               AlphaPC164-SX
113	  Sable               AS 2000, AS 2100
114	  Shark               DS 20L
115	  Takara              Takara (OEM)
116	  Titan               AlphaServer ES45 / DS25 / DS15
117	  Wildfire            AlphaServer GS 40/80/160/320
118
119	  If you don't know what to do, choose "generic".
120
121config ALPHA_GENERIC
122	bool "Generic"
123	depends on TTY
124	select HAVE_EISA
125	help
126	  A generic kernel will run on all supported Alpha hardware.
127
128config ALPHA_ALCOR
129	bool "Alcor/Alpha-XLT"
130	select HAVE_EISA
131	help
132	  For systems using the Digital ALCOR chipset: 5 chips (4, 64-bit data
133	  slices (Data Switch, DSW) - 208-pin PQFP and 1 control (Control, I/O
134	  Address, CIA) - a 383 pin plastic PGA).  It provides a DRAM
135	  controller (256-bit memory bus) and a PCI interface.  It also does
136	  all the work required to support an external Bcache and to maintain
137	  memory coherence when a PCI device DMAs into (or out of) memory.
138
139config ALPHA_XL
140	bool "Alpha-XL"
141	help
142	  XL-233 and XL-266-based Alpha systems.
143
144config ALPHA_BOOK1
145	bool "AlphaBook1"
146	help
147	  Dec AlphaBook1/Burns Alpha-based laptops.
148
149config ALPHA_AVANTI_CH
150	bool "Avanti"
151
152config ALPHA_CABRIOLET
153	bool "Cabriolet"
154	help
155	  Cabriolet AlphaPC64, AlphaPCI64 systems.  Derived from EB64+ but now
156	  baby-AT with Flash boot ROM, no on-board SCSI or Ethernet. 3 ISA
157	  slots, 4 PCI slots (one pair are on a shared slot), uses plug-in
158	  Bcache SIMMs.  Requires power supply with 3.3V output.
159
160config ALPHA_DP264
161	bool "DP264"
162	help
163	  Various 21264 systems with the tsunami core logic chipset.
164	  API Networks: 264DP, UP2000(+), CS20;
165	  Compaq: DS10(E,L), XP900, XP1000, DS20(E), ES40.
166
167config ALPHA_EB164
168	bool "EB164"
169	help
170	  EB164 21164 evaluation board from DEC.  Uses 21164 and ALCOR.  Has
171	  ISA and PCI expansion (3 ISA slots, 2 64-bit PCI slots (one is
172	  shared with an ISA slot) and 2 32-bit PCI slots.  Uses plus-in
173	  Bcache SIMMs. I/O sub-system provides SuperI/O (2S, 1P, FD), KBD,
174	  MOUSE (PS2 style), RTC/NVRAM.  Boot ROM is Flash.  PC-AT-sized
175	  motherboard.  Requires power supply with 3.3V output.
176
177config ALPHA_EB64P_CH
178	bool "EB64+"
179
180config ALPHA_EB66
181	bool "EB66"
182	help
183	  A Digital DS group board.  Uses 21066 or 21066A.  I/O sub-system is
184	  identical to EB64+.  Baby PC-AT size.  Runs from standard PC power
185	  supply.  The EB66 schematic was published as a marketing poster
186	  advertising the 21066 as "the first microprocessor in the world with
187	  embedded PCI".
188
189config ALPHA_EB66P
190	bool "EB66+"
191	help
192	  Later variant of the EB66 board.
193
194config ALPHA_EIGER
195	bool "Eiger"
196	help
197	  Apparently an obscure OEM single-board computer based on the
198	  Typhoon/Tsunami chipset family. Information on it is scanty.
199
200config ALPHA_JENSEN
201	bool "Jensen"
202	select HAVE_EISA
203	help
204	  DEC PC 150 AXP (aka Jensen): This is a very old Digital system - one
205	  of the first-generation Alpha systems. A number of these systems
206	  seem to be available on the second- hand market. The Jensen is a
207	  floor-standing tower system which originally used a 150MHz 21064 It
208	  used programmable logic to interface a 486 EISA I/O bridge to the
209	  CPU.
210
211config ALPHA_LX164
212	bool "LX164"
213	help
214	  A technical overview of this board is available at
215	  <http://www.unix-ag.org/Linux-Alpha/Architectures/LX164.html>.
216
217config ALPHA_LYNX
218	bool "Lynx"
219	select HAVE_EISA
220	help
221	  AlphaServer 2100A-based systems.
222
223config ALPHA_MARVEL
224	bool "Marvel"
225	help
226	  AlphaServer ES47 / ES80 / GS1280 based on EV7.
227
228config ALPHA_MIATA
229	bool "Miata"
230	select HAVE_EISA
231	help
232	  The Digital PersonalWorkStation (PWS 433a, 433au, 500a, 500au, 600a,
233	  or 600au).
234
235config ALPHA_MIKASA
236	bool "Mikasa"
237	help
238	  AlphaServer 1000-based Alpha systems.
239
240config ALPHA_NAUTILUS
241	bool "Nautilus"
242	help
243	  Alpha systems based on the AMD 751 & ALI 1543C chipsets.
244
245config ALPHA_NONAME_CH
246	bool "Noname"
247
248config ALPHA_NORITAKE
249	bool "Noritake"
250	select HAVE_EISA
251	help
252	  AlphaServer 1000A, AlphaServer 600A, and AlphaServer 800-based
253	  systems.
254
255config ALPHA_PC164
256	bool "PC164"
257
258config ALPHA_P2K
259	bool "Platform2000"
260
261config ALPHA_RAWHIDE
262	bool "Rawhide"
263	select HAVE_EISA
264	help
265	  AlphaServer 1200, AlphaServer 4000 and AlphaServer 4100 machines.
266	  See HOWTO at
267	  <http://www.alphalinux.org/docs/rawhide/4100_install.shtml>.
268
269config ALPHA_RUFFIAN
270	bool "Ruffian"
271	help
272	  Samsung APC164UX.  There is a page on known problems and workarounds
273	  at <http://www.alphalinux.org/faq/FAQ-11.html>.
274
275config ALPHA_RX164
276	bool "RX164"
277
278config ALPHA_SX164
279	bool "SX164"
280
281config ALPHA_SABLE
282	bool "Sable"
283	select HAVE_EISA
284	help
285	  Digital AlphaServer 2000 and 2100-based systems.
286
287config ALPHA_SHARK
288	bool "Shark"
289
290config ALPHA_TAKARA
291	bool "Takara"
292	help
293	  Alpha 11164-based OEM single-board computer.
294
295config ALPHA_TITAN
296	bool "Titan"
297	help
298	  AlphaServer ES45/DS25 SMP based on EV68 and Titan chipset.
299
300config ALPHA_WILDFIRE
301	bool "Wildfire"
302	help
303	  AlphaServer GS 40/80/160/320 SMP based on the EV67 core.
304
305endchoice
306
307# clear all implied options (don't want default values for those):
308# Most of these machines have ISA slots; not exactly sure which don't,
309# and this doesn't activate hordes of code, so do it always.
310config ISA
311	bool
312	default y
313	help
314	  Find out whether you have ISA slots on your motherboard.  ISA is the
315	  name of a bus system, i.e. the way the CPU talks to the other stuff
316	  inside your box.  Other bus systems are PCI, EISA, MicroChannel
317	  (MCA) or VESA.  ISA is an older system, now being displaced by PCI;
318	  newer boards don't support it.  If you have ISA, say Y, otherwise N.
319
320config ISA_DMA_API
321	bool
322	default y
323
324config ALPHA_NONAME
325	bool
326	depends on ALPHA_BOOK1 || ALPHA_NONAME_CH
327	default y
328	help
329	  The AXPpci33 (aka NoName), is based on the EB66 (includes the Multia
330	  UDB).  This design was produced by Digital's Technical OEM (TOEM)
331	  group. It uses the 21066 processor running at 166MHz or 233MHz. It
332	  is a baby-AT size, and runs from a standard PC power supply. It has
333	  5 ISA slots and 3 PCI slots (one pair are a shared slot). There are
334	  2 versions, with either PS/2 or large DIN connectors for the
335	  keyboard.
336
337config ALPHA_EV4
338	bool
339	depends on ALPHA_JENSEN || (ALPHA_SABLE && !ALPHA_GAMMA) || ALPHA_LYNX || ALPHA_NORITAKE && !ALPHA_PRIMO || ALPHA_MIKASA && !ALPHA_PRIMO || ALPHA_CABRIOLET || ALPHA_AVANTI_CH || ALPHA_EB64P_CH || ALPHA_XL || ALPHA_NONAME || ALPHA_EB66 || ALPHA_EB66P || ALPHA_P2K
340	default y if !ALPHA_LYNX
341
342config ALPHA_LCA
343	bool
344	depends on ALPHA_NONAME || ALPHA_EB66 || ALPHA_EB66P || ALPHA_P2K
345	default y
346
347config ALPHA_APECS
348	bool
349	depends on !ALPHA_PRIMO && (ALPHA_NORITAKE || ALPHA_MIKASA) || ALPHA_CABRIOLET || ALPHA_AVANTI_CH || ALPHA_EB64P_CH || ALPHA_XL
350	default y
351
352config ALPHA_EB64P
353	bool
354	depends on ALPHA_CABRIOLET || ALPHA_EB64P_CH
355	default y
356	help
357	  Uses 21064 or 21064A and APECs.  Has ISA and PCI expansion (3 ISA,
358	  2 PCI, one pair are on a shared slot). Supports 36-bit DRAM SIMs.
359	  ISA bus generated by Intel SaturnI/O PCI-ISA bridge. On-board SCSI
360	  (NCR 810 on PCI) Ethernet (Digital 21040), KBD, MOUSE (PS2 style),
361	  SuperI/O (2S, 1P, FD), RTC/NVRAM. Boot ROM is EPROM.  PC-AT size.
362	  Runs from standard PC power supply.
363
364config ALPHA_EV5
365	bool "EV5 CPU(s) (model 5/xxx)?" if ALPHA_LYNX
366	default y if ALPHA_RX164 || ALPHA_RAWHIDE || ALPHA_MIATA || ALPHA_LX164 || ALPHA_SX164 || ALPHA_RUFFIAN || ALPHA_SABLE && ALPHA_GAMMA || ALPHA_NORITAKE && ALPHA_PRIMO || ALPHA_MIKASA && ALPHA_PRIMO || ALPHA_PC164 || ALPHA_TAKARA || ALPHA_EB164 || ALPHA_ALCOR
367
368config ALPHA_EV4
369	bool
370	default y if ALPHA_LYNX && !ALPHA_EV5
371
372config ALPHA_CIA
373	bool
374	depends on ALPHA_MIATA || ALPHA_LX164 || ALPHA_SX164 || ALPHA_RUFFIAN || ALPHA_NORITAKE && ALPHA_PRIMO || ALPHA_MIKASA && ALPHA_PRIMO || ALPHA_PC164 || ALPHA_TAKARA || ALPHA_EB164 || ALPHA_ALCOR
375	default y
376
377config ALPHA_EV56
378	bool "EV56 CPU (speed >= 366MHz)?" if ALPHA_ALCOR
379	default y if ALPHA_RX164 || ALPHA_MIATA || ALPHA_LX164 || ALPHA_SX164 || ALPHA_RUFFIAN || ALPHA_PC164 || ALPHA_TAKARA
380
381config ALPHA_EV56
382	prompt "EV56 CPU (speed >= 333MHz)?"
383	depends on ALPHA_NORITAKE || ALPHA_PRIMO
384
385config ALPHA_EV56
386	prompt "EV56 CPU (speed >= 400MHz)?"
387	depends on ALPHA_RAWHIDE
388
389config ALPHA_PRIMO
390	bool "EV5 CPU daughtercard (model 5/xxx)?"
391	depends on ALPHA_NORITAKE || ALPHA_MIKASA
392	help
393	  Say Y if you have an AS 1000 5/xxx or an AS 1000A 5/xxx.
394
395config ALPHA_GAMMA
396	bool "EV5 CPU(s) (model 5/xxx)?"
397	depends on ALPHA_SABLE
398	help
399	  Say Y if you have an AS 2000 5/xxx or an AS 2100 5/xxx.
400
401config ALPHA_GAMMA
402	bool
403	depends on ALPHA_LYNX
404	default y
405
406config ALPHA_T2
407	bool
408	depends on ALPHA_SABLE || ALPHA_LYNX
409	default y
410
411config ALPHA_PYXIS
412	bool
413	depends on ALPHA_MIATA || ALPHA_LX164 || ALPHA_SX164 || ALPHA_RUFFIAN
414	default y
415
416config ALPHA_EV6
417	bool
418	depends on ALPHA_NAUTILUS || ALPHA_WILDFIRE || ALPHA_TITAN || ALPHA_SHARK || ALPHA_DP264 || ALPHA_EIGER || ALPHA_MARVEL
419	default y
420
421config ALPHA_TSUNAMI
422	bool
423	depends on ALPHA_SHARK || ALPHA_DP264 || ALPHA_EIGER
424	default y
425
426config ALPHA_EV67
427	bool "EV67 (or later) CPU (speed > 600MHz)?" if ALPHA_DP264 || ALPHA_EIGER
428	default y if ALPHA_NAUTILUS || ALPHA_WILDFIRE || ALPHA_TITAN || ALPHA_SHARK || ALPHA_MARVEL
429	help
430	  Is this a machine based on the EV67 core?  If in doubt, select N here
431	  and the machine will be treated as an EV6.
432
433config ALPHA_MCPCIA
434	bool
435	depends on ALPHA_RAWHIDE
436	default y
437
438config ALPHA_POLARIS
439	bool
440	depends on ALPHA_RX164
441	default y
442
443config ALPHA_IRONGATE
444	bool
445	depends on ALPHA_NAUTILUS
446	default y
447
448config GENERIC_HWEIGHT
449	bool
450	default y if !ALPHA_EV67
451
452config ALPHA_AVANTI
453	bool
454	depends on ALPHA_XL || ALPHA_AVANTI_CH
455	default y
456	help
457	  Avanti AS 200, AS 205, AS 250, AS 255, AS 300, and AS 400-based
458	  Alphas. Info at
459	  <http://www.unix-ag.org/Linux-Alpha/Architectures/Avanti.html>.
460
461config ALPHA_BROKEN_IRQ_MASK
462	bool
463	depends on ALPHA_GENERIC || ALPHA_PC164
464	default y
465
466config VGA_HOSE
467	bool
468	depends on VGA_CONSOLE && (ALPHA_GENERIC || ALPHA_TITAN || ALPHA_MARVEL || ALPHA_TSUNAMI)
469	default y
470	help
471	  Support VGA on an arbitrary hose; needed for several platforms
472	  which always have multiple hoses, and whose consoles support it.
473
474
475config ALPHA_QEMU
476	bool "Run under QEMU emulation"
477	depends on !ALPHA_GENERIC
478	help
479	  Assume the presence of special features supported by QEMU PALcode
480	  that reduce the overhead of system emulation.
481
482	  Generic kernels will auto-detect QEMU.  But when building a
483	  system-specific kernel, the assumption is that we want to
484	  eliminate as many runtime tests as possible.
485
486	  If unsure, say N.
487
488
489config ALPHA_SRM
490	bool "Use SRM as bootloader" if ALPHA_CABRIOLET || ALPHA_AVANTI_CH || ALPHA_EB64P || ALPHA_PC164 || ALPHA_TAKARA || ALPHA_EB164 || ALPHA_ALCOR || ALPHA_MIATA || ALPHA_LX164 || ALPHA_SX164 || ALPHA_NAUTILUS || ALPHA_NONAME
491	depends on TTY
492	default y if ALPHA_JENSEN || ALPHA_MIKASA || ALPHA_SABLE || ALPHA_LYNX || ALPHA_NORITAKE || ALPHA_DP264 || ALPHA_RAWHIDE || ALPHA_EIGER || ALPHA_WILDFIRE || ALPHA_TITAN || ALPHA_SHARK || ALPHA_MARVEL
493	help
494	  There are two different types of booting firmware on Alphas: SRM,
495	  which is command line driven, and ARC, which uses menus and arrow
496	  keys. Details about the Linux/Alpha booting process are contained in
497	  the Linux/Alpha FAQ, accessible on the WWW from
498	  <http://www.alphalinux.org/>.
499
500	  The usual way to load Linux on an Alpha machine is to use MILO
501	  (a bootloader that lets you pass command line parameters to the
502	  kernel just like lilo does for the x86 architecture) which can be
503	  loaded either from ARC or can be installed directly as a permanent
504	  firmware replacement from floppy (which requires changing a certain
505	  jumper on the motherboard). If you want to do either of these, say N
506	  here. If MILO doesn't work on your system (true for Jensen
507	  motherboards), you can bypass it altogether and boot Linux directly
508	  from an SRM console; say Y here in order to do that. Note that you
509	  won't be able to boot from an IDE disk using SRM.
510
511	  If unsure, say N.
512
513config ARCH_MAY_HAVE_PC_FDC
514	def_bool y
515
516config SMP
517	bool "Symmetric multi-processing support"
518	depends on ALPHA_SABLE || ALPHA_LYNX || ALPHA_RAWHIDE || ALPHA_DP264 || ALPHA_WILDFIRE || ALPHA_TITAN || ALPHA_GENERIC || ALPHA_SHARK || ALPHA_MARVEL
519	help
520	  This enables support for systems with more than one CPU. If you have
521	  a system with only one CPU, say N. If you have a system with more
522	  than one CPU, say Y.
523
524	  If you say N here, the kernel will run on uni- and multiprocessor
525	  machines, but will use only one CPU of a multiprocessor machine. If
526	  you say Y here, the kernel will run on many, but not all,
527	  uniprocessor machines. On a uniprocessor machine, the kernel
528	  will run faster if you say N here.
529
530	  See also the SMP-HOWTO available at
531	  <https://www.tldp.org/docs.html#howto>.
532
533	  If you don't know what to do here, say N.
534
535config NR_CPUS
536	int "Maximum number of CPUs (2-32)"
537	range 2 32
538	depends on SMP
539	default "32" if ALPHA_GENERIC || ALPHA_MARVEL
540	default "4" if !ALPHA_GENERIC && !ALPHA_MARVEL
541	help
542	  MARVEL support can handle a maximum of 32 CPUs, all the others
543	  with working support have a maximum of 4 CPUs.
544
545config ARCH_SPARSEMEM_ENABLE
546	bool "Sparse Memory Support"
547	help
548	  Say Y to support efficient handling of discontiguous physical memory,
549	  for systems that have huge holes in the physical address space.
550
551config ALPHA_WTINT
552	bool "Use WTINT" if ALPHA_SRM || ALPHA_GENERIC
553	default y if ALPHA_QEMU
554	default n if ALPHA_EV5 || ALPHA_EV56 || (ALPHA_EV4 && !ALPHA_LCA)
555	default n if !ALPHA_SRM && !ALPHA_GENERIC
556	default y if SMP
557	help
558	  The Wait for Interrupt (WTINT) PALcall attempts to place the CPU
559	  to sleep until the next interrupt.  This may reduce the power
560	  consumed, and the heat produced by the computer.  However, it has
561	  the side effect of making the cycle counter unreliable as a timing
562	  device across the sleep.
563
564	  For emulation under QEMU, definitely say Y here, as we have other
565	  mechanisms for measuring time than the cycle counter.
566
567	  For EV4 (but not LCA), EV5 and EV56 systems, or for systems running
568	  MILO, sleep mode is not supported so you might as well say N here.
569
570	  For SMP systems we cannot use the cycle counter for timing anyway,
571	  so you might as well say Y here.
572
573	  If unsure, say N.
574
575# LARGE_VMALLOC is racy, if you *really* need it then fix it first
576config ALPHA_LARGE_VMALLOC
577	bool
578	help
579	  Process creation and other aspects of virtual memory management can
580	  be streamlined if we restrict the kernel to one PGD for all vmalloc
581	  allocations.  This equates to about 8GB.
582
583	  Under normal circumstances, this is so far and above what is needed
584	  as to be laughable.  However, there are certain applications (such
585	  as benchmark-grade in-kernel web serving) that can make use of as
586	  much vmalloc space as is available.
587
588	  Say N unless you know you need gobs and gobs of vmalloc space.
589
590config VERBOSE_MCHECK
591	bool "Verbose Machine Checks"
592
593config VERBOSE_MCHECK_ON
594	int "Verbose Printing Mode (0=off, 1=on, 2=all)"
595	depends on VERBOSE_MCHECK
596	default 1
597	help
598	  This option allows the default printing mode to be set, and then
599	  possibly overridden by a boot command argument.
600
601	  For example, if one wanted the option of printing verbose
602	  machine checks, but wanted the default to be as if verbose
603	  machine check printing was turned off, then one would choose
604	  the printing mode to be 0. Then, upon reboot, one could add
605	  the boot command line "verbose_mcheck=1" to get the normal
606	  verbose machine check printing, or "verbose_mcheck=2" to get
607	  the maximum information available.
608
609	  Take the default (1) unless you want more control or more info.
610
611choice
612	prompt "Timer interrupt frequency (HZ)?"
613	default HZ_128 if ALPHA_QEMU
614	default HZ_1200 if ALPHA_RAWHIDE
615	default HZ_1024
616	help
617	  The frequency at which timer interrupts occur.  A high frequency
618	  minimizes latency, whereas a low frequency minimizes overhead of
619	  process accounting.  The later effect is especially significant
620	  when being run under QEMU.
621
622	  Note that some Alpha hardware cannot change the interrupt frequency
623	  of the timer.  If unsure, say 1024 (or 1200 for Rawhide).
624
625	config HZ_32
626		bool "32 Hz"
627	config HZ_64
628		bool "64 Hz"
629	config HZ_128
630		bool "128 Hz"
631	config HZ_256
632		bool "256 Hz"
633	config HZ_1024
634		bool "1024 Hz"
635	config HZ_1200
636		bool "1200 Hz"
637endchoice
638
639config HZ
640	int
641	default 32 if HZ_32
642	default 64 if HZ_64
643	default 128 if HZ_128
644	default 256 if HZ_256
645	default 1200 if HZ_1200
646	default 1024
647
648config SRM_ENV
649	tristate "SRM environment through procfs"
650	depends on PROC_FS
651	help
652	  If you enable this option, a subdirectory inside /proc called
653	  /proc/srm_environment will give you access to the all important
654	  SRM environment variables (those which have a name) and also
655	  to all others (by their internal number).
656
657	  SRM is something like a BIOS for Alpha machines. There are some
658	  other such BIOSes, like AlphaBIOS, which this driver cannot
659	  support (hey, that's not SRM!).
660
661	  Despite the fact that this driver doesn't work on all Alphas (but
662	  only on those which have SRM as their firmware), it's save to
663	  build it even if your particular machine doesn't know about SRM
664	  (or if you intend to compile a generic kernel). It will simply
665	  not create those subdirectory in /proc (and give you some warning,
666	  of course).
667
668	  This driver is also available as a module and will be called
669	  srm_env then.
670
671endmenu
672
673# DUMMY_CONSOLE may be defined in drivers/video/console/Kconfig
674# but we also need it if VGA_HOSE is set
675config DUMMY_CONSOLE
676	bool
677	depends on VGA_HOSE
678	default y
679