1config DEFCONFIG_LIST
2	string
3	option defconfig_list
4	default "arch/$ARCH/defconfig"
5
6config UML
7	bool
8	default y
9	select HAVE_GENERIC_HARDIRQS
10	select GENERIC_IRQ_SHOW
11	select GENERIC_CPU_DEVICES
12
13config MMU
14	bool
15	default y
16
17config NO_IOMEM
18	def_bool y
19
20config ISA
21	bool
22
23config SBUS
24	bool
25
26config PCI
27	bool
28
29config PCMCIA
30	bool
31
32# Yet to do!
33config TRACE_IRQFLAGS_SUPPORT
34	bool
35	default n
36
37config LOCKDEP_SUPPORT
38	bool
39	default y
40
41config STACKTRACE_SUPPORT
42	bool
43	default n
44
45config GENERIC_CALIBRATE_DELAY
46	bool
47	default y
48
49config GENERIC_BUG
50	bool
51	default y
52	depends on BUG
53
54config GENERIC_CLOCKEVENTS
55	bool
56	default y
57
58# Used in kernel/irq/manage.c and include/linux/irq.h
59config IRQ_RELEASE_METHOD
60	bool
61	default y
62
63config HZ
64	int
65	default 100
66
67config SUBARCH
68	string
69	option env="SUBARCH"
70