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