debuggers.hg

view xenolinux-2.4.21-sparse/arch/xeno/config.in @ 648:cda951fc1bef

bitkeeper revision 1.341 (3f1120a2WW6KGE81TArq_p654xy38Q)

Merge labyrinth.cl.cam.ac.uk:/auto/groups/xeno/BK/xeno.bk
into labyrinth.cl.cam.ac.uk:/auto/anfs/scratch/labyrinth/iap10/xeno-clone/xeno.bk
author iap10@labyrinth.cl.cam.ac.uk
date Sun Jul 13 09:04:34 2003 +0000 (2003-07-13)
parents b6f13a6cdded 9339f3942f4e
children
line source
1 #
2 # For a description of the syntax of this configuration file,
3 # see Documentation/kbuild/config-language.txt.
4 #
5 mainmenu_name "Linux Kernel Configuration"
7 define_bool CONFIG_XENO y
9 define_bool CONFIG_X86 y
10 define_bool CONFIG_ISA y
11 define_bool CONFIG_SBUS n
13 define_bool CONFIG_UID16 y
15 mainmenu_option next_comment
16 comment 'Privileged guest OS'
17 bool 'Support for privileged operations (domain 0)' CONFIG_XENO_PRIV
18 endmenu
20 mainmenu_option next_comment
21 comment 'Code maturity level options'
22 bool 'Prompt for development and/or incomplete code/drivers' CONFIG_EXPERIMENTAL
23 endmenu
25 mainmenu_option next_comment
26 comment 'Loadable module support'
27 bool 'Enable loadable module support' CONFIG_MODULES
28 if [ "$CONFIG_MODULES" = "y" ]; then
29 bool ' Set version information on all module symbols' CONFIG_MODVERSIONS
30 bool ' Kernel module loader' CONFIG_KMOD
31 fi
32 endmenu
34 mainmenu_option next_comment
35 comment 'Processor type and features'
36 choice 'Processor family' \
37 "Pentium-Pro/Celeron/Pentium-II CONFIG_M686 \
38 Pentium-III/Celeron(Coppermine) CONFIG_MPENTIUMIII \
39 Pentium-4 CONFIG_MPENTIUM4 \
40 Athlon/Duron/K7 CONFIG_MK7" Pentium-Pro
42 define_bool CONFIG_X86_WP_WORKS_OK y
43 define_bool CONFIG_X86_INVLPG y
44 define_bool CONFIG_X86_CMPXCHG y
45 define_bool CONFIG_X86_XADD y
46 define_bool CONFIG_X86_BSWAP y
47 define_bool CONFIG_X86_POPAD_OK y
48 define_bool CONFIG_RWSEM_GENERIC_SPINLOCK n
49 define_bool CONFIG_RWSEM_XCHGADD_ALGORITHM y
51 define_bool CONFIG_X86_GOOD_APIC y
52 define_bool CONFIG_X86_PGE y
53 define_bool CONFIG_X86_USE_PPRO_CHECKSUM y
54 define_bool CONFIG_X86_TSC y
56 if [ "$CONFIG_M686" = "y" ]; then
57 define_int CONFIG_X86_L1_CACHE_SHIFT 5
58 fi
59 if [ "$CONFIG_MPENTIUMIII" = "y" ]; then
60 define_int CONFIG_X86_L1_CACHE_SHIFT 5
61 fi
62 if [ "$CONFIG_MPENTIUM4" = "y" ]; then
63 define_int CONFIG_X86_L1_CACHE_SHIFT 7
64 fi
65 if [ "$CONFIG_MK7" = "y" ]; then
66 define_int CONFIG_X86_L1_CACHE_SHIFT 6
67 define_bool CONFIG_X86_USE_3DNOW y
68 fi
70 choice 'High Memory Support' \
71 "off CONFIG_NOHIGHMEM \
72 4GB CONFIG_HIGHMEM4G \
73 64GB CONFIG_HIGHMEM64G" off
74 if [ "$CONFIG_HIGHMEM4G" = "y" ]; then
75 define_bool CONFIG_HIGHMEM y
76 fi
77 if [ "$CONFIG_HIGHMEM64G" = "y" ]; then
78 define_bool CONFIG_HIGHMEM y
79 define_bool CONFIG_X86_PAE y
80 fi
82 #bool 'Symmetric multi-processing support' CONFIG_SMP
83 #if [ "$CONFIG_SMP" = "y" -a "$CONFIG_X86_CMPXCHG" = "y" ]; then
84 # define_bool CONFIG_HAVE_DEC_LOCK y
85 #fi
86 endmenu
88 mainmenu_option next_comment
89 comment 'General setup'
91 bool 'Networking support' CONFIG_NET
93 bool 'System V IPC' CONFIG_SYSVIPC
94 bool 'BSD Process Accounting' CONFIG_BSD_PROCESS_ACCT
95 bool 'Sysctl support' CONFIG_SYSCTL
96 if [ "$CONFIG_PROC_FS" = "y" ]; then
97 choice 'Kernel core (/proc/kcore) format' \
98 "ELF CONFIG_KCORE_ELF \
99 A.OUT CONFIG_KCORE_AOUT" ELF
100 fi
101 tristate 'Kernel support for a.out binaries' CONFIG_BINFMT_AOUT
102 tristate 'Kernel support for ELF binaries' CONFIG_BINFMT_ELF
103 tristate 'Kernel support for MISC binaries' CONFIG_BINFMT_MISC
105 endmenu
107 if [ "$CONFIG_NET" = "y" ]; then
108 source net/Config.in
109 fi
112 #
113 # Block device driver configuration
114 #
115 mainmenu_option next_comment
116 comment 'Block devices'
117 tristate 'Loopback device support' CONFIG_BLK_DEV_LOOP
118 dep_tristate 'Network block device support' CONFIG_BLK_DEV_NBD $CONFIG_NET
119 tristate 'RAM disk support' CONFIG_BLK_DEV_RAM
120 if [ "$CONFIG_BLK_DEV_RAM" = "y" -o "$CONFIG_BLK_DEV_RAM" = "m" ]; then
121 int ' Default RAM disk size' CONFIG_BLK_DEV_RAM_SIZE 4096
122 fi
123 dep_bool ' Initial RAM disk (initrd) support' CONFIG_BLK_DEV_INITRD $CONFIG_BLK_DEV_RAM
124 bool 'Per partition statistics in /proc/partitions' CONFIG_BLK_STATS
125 bool 'XenoLinux virtual block device support' CONFIG_XENOLINUX_BLOCK
126 endmenu
127 define_bool CONFIG_BLK_DEV_IDE_MODES n
128 define_bool CONFIG_BLK_DEV_HD n
131 mainmenu_option next_comment
132 comment 'Character devices'
134 bool 'Xen console support' CONFIG_XEN_CONSOLE
135 comment 'The options below are alpha-stage and will probably not work'
136 bool 'Virtual terminal' CONFIG_VT
137 if [ "$CONFIG_VT" = "y" ]; then
138 bool ' Support for console on virtual terminal' CONFIG_VT_CONSOLE
139 bool ' Support for VGA Video' CONFIG_VGA_CONSOLE
140 bool ' Support for Dummy Video (for testing)' CONFIG_DUMMY_CONSOLE
141 bool ' PS/2 mouse (aka "auxiliary device") support' CONFIG_PSMOUSE
142 fi
144 bool 'Unix98 PTY support' CONFIG_UNIX98_PTYS
145 if [ "$CONFIG_UNIX98_PTYS" = "y" ]; then
146 int 'Maximum number of Unix98 PTYs in use (0-2048)' CONFIG_UNIX98_PTY_COUNT 256
147 fi
149 endmenu
151 source fs/Config.in
153 mainmenu_option next_comment
154 comment 'Kernel hacking'
156 bool 'Kernel debugging' CONFIG_DEBUG_KERNEL
157 if [ "$CONFIG_DEBUG_KERNEL" != "n" ]; then
158 bool ' Debug high memory support' CONFIG_DEBUG_HIGHMEM
159 bool ' Debug memory allocations' CONFIG_DEBUG_SLAB
160 bool ' Memory mapped I/O debugging' CONFIG_DEBUG_IOVIRT
161 bool ' Magic SysRq key' CONFIG_MAGIC_SYSRQ
162 bool ' Spinlock debugging' CONFIG_DEBUG_SPINLOCK
163 bool ' Verbose BUG() reporting (adds 70K)' CONFIG_DEBUG_BUGVERBOSE
164 bool ' Load all symbols for debugging' CONFIG_KALLSYMS
165 bool ' Compile the kernel with frame pointers' CONFIG_FRAME_POINTER
166 fi
168 endmenu
170 source lib/Config.in