xref: /openbmc/linux/arch/alpha/Kconfig (revision bfad37c5)
1# SPDX-License-Identifier: GPL-2.0
2config ALPHA
3	bool
4	default y
5	select ARCH_32BIT_USTAT_F_TINODE
6	select ARCH_MIGHT_HAVE_PC_PARPORT
7	select ARCH_MIGHT_HAVE_PC_SERIO
8	select ARCH_NO_PREEMPT
9	select ARCH_NO_SG_CHAIN
10	select ARCH_USE_CMPXCHG_LOCKREF
11	select DMA_OPS if PCI
12	select FORCE_PCI if !ALPHA_JENSEN
13	select PCI_DOMAINS if PCI
14	select PCI_SYSCALL if PCI
15	select HAVE_AOUT
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 VIRT_TO_BUS
22	select GENERIC_IRQ_PROBE
23	select GENERIC_PCI_IOMAP if PCI
24	select AUTO_IRQ_AFFINITY if SMP
25	select GENERIC_IRQ_SHOW
26	select ARCH_WANT_IPC_PARSE_VERSION
27	select ARCH_HAVE_NMI_SAFE_CMPXCHG
28	select AUDIT_ARCH
29	select GENERIC_CPU_VULNERABILITIES
30	select GENERIC_SMP_IDLE_THREAD
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 SET_FS
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	depends on BROKEN
203	select HAVE_EISA
204	help
205	  DEC PC 150 AXP (aka Jensen): This is a very old Digital system - one
206	  of the first-generation Alpha systems. A number of these systems
207	  seem to be available on the second- hand market. The Jensen is a
208	  floor-standing tower system which originally used a 150MHz 21064 It
209	  used programmable logic to interface a 486 EISA I/O bridge to the
210	  CPU.
211
212config ALPHA_LX164
213	bool "LX164"
214	help
215	  A technical overview of this board is available at
216	  <http://www.unix-ag.org/Linux-Alpha/Architectures/LX164.html>.
217
218config ALPHA_LYNX
219	bool "Lynx"
220	select HAVE_EISA
221	help
222	  AlphaServer 2100A-based systems.
223
224config ALPHA_MARVEL
225	bool "Marvel"
226	help
227	  AlphaServer ES47 / ES80 / GS1280 based on EV7.
228
229config ALPHA_MIATA
230	bool "Miata"
231	select HAVE_EISA
232	help
233	  The Digital PersonalWorkStation (PWS 433a, 433au, 500a, 500au, 600a,
234	  or 600au).
235
236config ALPHA_MIKASA
237	bool "Mikasa"
238	help
239	  AlphaServer 1000-based Alpha systems.
240
241config ALPHA_NAUTILUS
242	bool "Nautilus"
243	help
244	  Alpha systems based on the AMD 751 & ALI 1543C chipsets.
245
246config ALPHA_NONAME_CH
247	bool "Noname"
248
249config ALPHA_NORITAKE
250	bool "Noritake"
251	select HAVE_EISA
252	help
253	  AlphaServer 1000A, AlphaServer 600A, and AlphaServer 800-based
254	  systems.
255
256config ALPHA_PC164
257	bool "PC164"
258
259config ALPHA_P2K
260	bool "Platform2000"
261
262config ALPHA_RAWHIDE
263	bool "Rawhide"
264	select HAVE_EISA
265	help
266	  AlphaServer 1200, AlphaServer 4000 and AlphaServer 4100 machines.
267	  See HOWTO at
268	  <http://www.alphalinux.org/docs/rawhide/4100_install.shtml>.
269
270config ALPHA_RUFFIAN
271	bool "Ruffian"
272	help
273	  Samsung APC164UX.  There is a page on known problems and workarounds
274	  at <http://www.alphalinux.org/faq/FAQ-11.html>.
275
276config ALPHA_RX164
277	bool "RX164"
278
279config ALPHA_SX164
280	bool "SX164"
281
282config ALPHA_SABLE
283	bool "Sable"
284	select HAVE_EISA
285	help
286	  Digital AlphaServer 2000 and 2100-based systems.
287
288config ALPHA_SHARK
289	bool "Shark"
290
291config ALPHA_TAKARA
292	bool "Takara"
293	help
294	  Alpha 11164-based OEM single-board computer.
295
296config ALPHA_TITAN
297	bool "Titan"
298	help
299	  AlphaServer ES45/DS25 SMP based on EV68 and Titan chipset.
300
301config ALPHA_WILDFIRE
302	bool "Wildfire"
303	help
304	  AlphaServer GS 40/80/160/320 SMP based on the EV67 core.
305
306endchoice
307
308# clear all implied options (don't want default values for those):
309# Most of these machines have ISA slots; not exactly sure which don't,
310# and this doesn't activate hordes of code, so do it always.
311config ISA
312	bool
313	default y
314	help
315	  Find out whether you have ISA slots on your motherboard.  ISA is the
316	  name of a bus system, i.e. the way the CPU talks to the other stuff
317	  inside your box.  Other bus systems are PCI, EISA, MicroChannel
318	  (MCA) or VESA.  ISA is an older system, now being displaced by PCI;
319	  newer boards don't support it.  If you have ISA, say Y, otherwise N.
320
321config ISA_DMA_API
322	bool
323	default y
324
325config ALPHA_NONAME
326	bool
327	depends on ALPHA_BOOK1 || ALPHA_NONAME_CH
328	default y
329	help
330	  The AXPpci33 (aka NoName), is based on the EB66 (includes the Multia
331	  UDB).  This design was produced by Digital's Technical OEM (TOEM)
332	  group. It uses the 21066 processor running at 166MHz or 233MHz. It
333	  is a baby-AT size, and runs from a standard PC power supply. It has
334	  5 ISA slots and 3 PCI slots (one pair are a shared slot). There are
335	  2 versions, with either PS/2 or large DIN connectors for the
336	  keyboard.
337
338config ALPHA_EV4
339	bool
340	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
341	default y if !ALPHA_LYNX
342
343config ALPHA_LCA
344	bool
345	depends on ALPHA_NONAME || ALPHA_EB66 || ALPHA_EB66P || ALPHA_P2K
346	default y
347
348config ALPHA_APECS
349	bool
350	depends on !ALPHA_PRIMO && (ALPHA_NORITAKE || ALPHA_MIKASA) || ALPHA_CABRIOLET || ALPHA_AVANTI_CH || ALPHA_EB64P_CH || ALPHA_XL
351	default y
352
353config ALPHA_EB64P
354	bool
355	depends on ALPHA_CABRIOLET || ALPHA_EB64P_CH
356	default y
357	help
358	  Uses 21064 or 21064A and APECs.  Has ISA and PCI expansion (3 ISA,
359	  2 PCI, one pair are on a shared slot). Supports 36-bit DRAM SIMs.
360	  ISA bus generated by Intel SaturnI/O PCI-ISA bridge. On-board SCSI
361	  (NCR 810 on PCI) Ethernet (Digital 21040), KBD, MOUSE (PS2 style),
362	  SuperI/O (2S, 1P, FD), RTC/NVRAM. Boot ROM is EPROM.  PC-AT size.
363	  Runs from standard PC power supply.
364
365config ALPHA_EV5
366	bool "EV5 CPU(s) (model 5/xxx)?" if ALPHA_LYNX
367	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
368
369config ALPHA_EV4
370	bool
371	default y if ALPHA_LYNX && !ALPHA_EV5
372
373config ALPHA_CIA
374	bool
375	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
376	default y
377
378config ALPHA_EV56
379	bool "EV56 CPU (speed >= 366MHz)?" if ALPHA_ALCOR
380	default y if ALPHA_RX164 || ALPHA_MIATA || ALPHA_LX164 || ALPHA_SX164 || ALPHA_RUFFIAN || ALPHA_PC164 || ALPHA_TAKARA
381
382config ALPHA_EV56
383	prompt "EV56 CPU (speed >= 333MHz)?"
384	depends on ALPHA_NORITAKE || ALPHA_PRIMO
385
386config ALPHA_EV56
387	prompt "EV56 CPU (speed >= 400MHz)?"
388	depends on ALPHA_RAWHIDE
389
390config ALPHA_PRIMO
391	bool "EV5 CPU daughtercard (model 5/xxx)?"
392	depends on ALPHA_NORITAKE || ALPHA_MIKASA
393	help
394	  Say Y if you have an AS 1000 5/xxx or an AS 1000A 5/xxx.
395
396config ALPHA_GAMMA
397	bool "EV5 CPU(s) (model 5/xxx)?"
398	depends on ALPHA_SABLE
399	help
400	  Say Y if you have an AS 2000 5/xxx or an AS 2100 5/xxx.
401
402config ALPHA_GAMMA
403	bool
404	depends on ALPHA_LYNX
405	default y
406
407config ALPHA_T2
408	bool
409	depends on ALPHA_SABLE || ALPHA_LYNX
410	default y
411
412config ALPHA_PYXIS
413	bool
414	depends on ALPHA_MIATA || ALPHA_LX164 || ALPHA_SX164 || ALPHA_RUFFIAN
415	default y
416
417config ALPHA_EV6
418	bool
419	depends on ALPHA_NAUTILUS || ALPHA_WILDFIRE || ALPHA_TITAN || ALPHA_SHARK || ALPHA_DP264 || ALPHA_EIGER || ALPHA_MARVEL
420	default y
421
422config ALPHA_TSUNAMI
423	bool
424	depends on ALPHA_SHARK || ALPHA_DP264 || ALPHA_EIGER
425	default y
426
427config ALPHA_EV67
428	bool "EV67 (or later) CPU (speed > 600MHz)?" if ALPHA_DP264 || ALPHA_EIGER
429	default y if ALPHA_NAUTILUS || ALPHA_WILDFIRE || ALPHA_TITAN || ALPHA_SHARK || ALPHA_MARVEL
430	help
431	  Is this a machine based on the EV67 core?  If in doubt, select N here
432	  and the machine will be treated as an EV6.
433
434config ALPHA_MCPCIA
435	bool
436	depends on ALPHA_RAWHIDE
437	default y
438
439config ALPHA_POLARIS
440	bool
441	depends on ALPHA_RX164
442	default y
443
444config ALPHA_IRONGATE
445	bool
446	depends on ALPHA_NAUTILUS
447	default y
448
449config GENERIC_HWEIGHT
450	bool
451	default y if !ALPHA_EV67
452
453config ALPHA_AVANTI
454	bool
455	depends on ALPHA_XL || ALPHA_AVANTI_CH
456	default y
457	help
458	  Avanti AS 200, AS 205, AS 250, AS 255, AS 300, and AS 400-based
459	  Alphas. Info at
460	  <http://www.unix-ag.org/Linux-Alpha/Architectures/Avanti.html>.
461
462config ALPHA_BROKEN_IRQ_MASK
463	bool
464	depends on ALPHA_GENERIC || ALPHA_PC164
465	default y
466
467config VGA_HOSE
468	bool
469	depends on VGA_CONSOLE && (ALPHA_GENERIC || ALPHA_TITAN || ALPHA_MARVEL || ALPHA_TSUNAMI)
470	default y
471	help
472	  Support VGA on an arbitrary hose; needed for several platforms
473	  which always have multiple hoses, and whose consoles support it.
474
475
476config ALPHA_QEMU
477	bool "Run under QEMU emulation"
478	depends on !ALPHA_GENERIC
479	help
480	  Assume the presence of special features supported by QEMU PALcode
481	  that reduce the overhead of system emulation.
482
483	  Generic kernels will auto-detect QEMU.  But when building a
484	  system-specific kernel, the assumption is that we want to
485	  eliminate as many runtime tests as possible.
486
487	  If unsure, say N.
488
489
490config ALPHA_SRM
491	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
492	depends on TTY
493	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
494	help
495	  There are two different types of booting firmware on Alphas: SRM,
496	  which is command line driven, and ARC, which uses menus and arrow
497	  keys. Details about the Linux/Alpha booting process are contained in
498	  the Linux/Alpha FAQ, accessible on the WWW from
499	  <http://www.alphalinux.org/>.
500
501	  The usual way to load Linux on an Alpha machine is to use MILO
502	  (a bootloader that lets you pass command line parameters to the
503	  kernel just like lilo does for the x86 architecture) which can be
504	  loaded either from ARC or can be installed directly as a permanent
505	  firmware replacement from floppy (which requires changing a certain
506	  jumper on the motherboard). If you want to do either of these, say N
507	  here. If MILO doesn't work on your system (true for Jensen
508	  motherboards), you can bypass it altogether and boot Linux directly
509	  from an SRM console; say Y here in order to do that. Note that you
510	  won't be able to boot from an IDE disk using SRM.
511
512	  If unsure, say N.
513
514config ARCH_MAY_HAVE_PC_FDC
515	def_bool y
516
517config SMP
518	bool "Symmetric multi-processing support"
519	depends on ALPHA_SABLE || ALPHA_LYNX || ALPHA_RAWHIDE || ALPHA_DP264 || ALPHA_WILDFIRE || ALPHA_TITAN || ALPHA_GENERIC || ALPHA_SHARK || ALPHA_MARVEL
520	help
521	  This enables support for systems with more than one CPU. If you have
522	  a system with only one CPU, say N. If you have a system with more
523	  than one CPU, say Y.
524
525	  If you say N here, the kernel will run on uni- and multiprocessor
526	  machines, but will use only one CPU of a multiprocessor machine. If
527	  you say Y here, the kernel will run on many, but not all,
528	  uniprocessor machines. On a uniprocessor machine, the kernel
529	  will run faster if you say N here.
530
531	  See also the SMP-HOWTO available at
532	  <https://www.tldp.org/docs.html#howto>.
533
534	  If you don't know what to do here, say N.
535
536config NR_CPUS
537	int "Maximum number of CPUs (2-32)"
538	range 2 32
539	depends on SMP
540	default "32" if ALPHA_GENERIC || ALPHA_MARVEL
541	default "4" if !ALPHA_GENERIC && !ALPHA_MARVEL
542	help
543	  MARVEL support can handle a maximum of 32 CPUs, all the others
544	  with working support have a maximum of 4 CPUs.
545
546config ARCH_SPARSEMEM_ENABLE
547	bool "Sparse Memory Support"
548	help
549	  Say Y to support efficient handling of discontiguous physical memory,
550	  for systems that have huge holes in the physical address space.
551
552config ALPHA_WTINT
553	bool "Use WTINT" if ALPHA_SRM || ALPHA_GENERIC
554	default y if ALPHA_QEMU
555	default n if ALPHA_EV5 || ALPHA_EV56 || (ALPHA_EV4 && !ALPHA_LCA)
556	default n if !ALPHA_SRM && !ALPHA_GENERIC
557	default y if SMP
558	help
559	  The Wait for Interrupt (WTINT) PALcall attempts to place the CPU
560	  to sleep until the next interrupt.  This may reduce the power
561	  consumed, and the heat produced by the computer.  However, it has
562	  the side effect of making the cycle counter unreliable as a timing
563	  device across the sleep.
564
565	  For emulation under QEMU, definitely say Y here, as we have other
566	  mechanisms for measuring time than the cycle counter.
567
568	  For EV4 (but not LCA), EV5 and EV56 systems, or for systems running
569	  MILO, sleep mode is not supported so you might as well say N here.
570
571	  For SMP systems we cannot use the cycle counter for timing anyway,
572	  so you might as well say Y here.
573
574	  If unsure, say N.
575
576# LARGE_VMALLOC is racy, if you *really* need it then fix it first
577config ALPHA_LARGE_VMALLOC
578	bool
579	help
580	  Process creation and other aspects of virtual memory management can
581	  be streamlined if we restrict the kernel to one PGD for all vmalloc
582	  allocations.  This equates to about 8GB.
583
584	  Under normal circumstances, this is so far and above what is needed
585	  as to be laughable.  However, there are certain applications (such
586	  as benchmark-grade in-kernel web serving) that can make use of as
587	  much vmalloc space as is available.
588
589	  Say N unless you know you need gobs and gobs of vmalloc space.
590
591config VERBOSE_MCHECK
592	bool "Verbose Machine Checks"
593
594config VERBOSE_MCHECK_ON
595	int "Verbose Printing Mode (0=off, 1=on, 2=all)"
596	depends on VERBOSE_MCHECK
597	default 1
598	help
599	  This option allows the default printing mode to be set, and then
600	  possibly overridden by a boot command argument.
601
602	  For example, if one wanted the option of printing verbose
603	  machine checks, but wanted the default to be as if verbose
604	  machine check printing was turned off, then one would choose
605	  the printing mode to be 0. Then, upon reboot, one could add
606	  the boot command line "verbose_mcheck=1" to get the normal
607	  verbose machine check printing, or "verbose_mcheck=2" to get
608	  the maximum information available.
609
610	  Take the default (1) unless you want more control or more info.
611
612choice
613	prompt "Timer interrupt frequency (HZ)?"
614	default HZ_128 if ALPHA_QEMU
615	default HZ_1200 if ALPHA_RAWHIDE
616	default HZ_1024
617	help
618	  The frequency at which timer interrupts occur.  A high frequency
619	  minimizes latency, whereas a low frequency minimizes overhead of
620	  process accounting.  The later effect is especially significant
621	  when being run under QEMU.
622
623	  Note that some Alpha hardware cannot change the interrupt frequency
624	  of the timer.  If unsure, say 1024 (or 1200 for Rawhide).
625
626	config HZ_32
627		bool "32 Hz"
628	config HZ_64
629		bool "64 Hz"
630	config HZ_128
631		bool "128 Hz"
632	config HZ_256
633		bool "256 Hz"
634	config HZ_1024
635		bool "1024 Hz"
636	config HZ_1200
637		bool "1200 Hz"
638endchoice
639
640config HZ
641	int
642	default 32 if HZ_32
643	default 64 if HZ_64
644	default 128 if HZ_128
645	default 256 if HZ_256
646	default 1200 if HZ_1200
647	default 1024
648
649config SRM_ENV
650	tristate "SRM environment through procfs"
651	depends on PROC_FS
652	help
653	  If you enable this option, a subdirectory inside /proc called
654	  /proc/srm_environment will give you access to the all important
655	  SRM environment variables (those which have a name) and also
656	  to all others (by their internal number).
657
658	  SRM is something like a BIOS for Alpha machines. There are some
659	  other such BIOSes, like AlphaBIOS, which this driver cannot
660	  support (hey, that's not SRM!).
661
662	  Despite the fact that this driver doesn't work on all Alphas (but
663	  only on those which have SRM as their firmware), it's save to
664	  build it even if your particular machine doesn't know about SRM
665	  (or if you intend to compile a generic kernel). It will simply
666	  not create those subdirectory in /proc (and give you some warning,
667	  of course).
668
669	  This driver is also available as a module and will be called
670	  srm_env then.
671
672endmenu
673
674# DUMMY_CONSOLE may be defined in drivers/video/console/Kconfig
675# but we also need it if VGA_HOSE is set
676config DUMMY_CONSOLE
677	bool
678	depends on VGA_HOSE
679	default y
680