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