2 # Automatically generated by make menuconfig: don't edit
5 # CONFIG_EISA is not set
6 # CONFIG_SBUS is not set
7 # CONFIG_MCA is not set
9 CONFIG_RWSEM_GENERIC_SPINLOCK=y
10 # CONFIG_RWSEM_XCHGADD_ALGORITHM is not set
11 # CONFIG_GENERIC_BUST_SPINLOCK is not set
12 # CONFIG_GENERIC_ISA_DMA is not set
15 # Code maturity level options
22 # CONFIG_NET is not set
23 # CONFIG_SYSVIPC is not set
24 # CONFIG_BSD_PROCESS_ACCT is not set
25 # CONFIG_SYSCTL is not set
28 # Loadable module support
30 # CONFIG_MODULES is not set
36 # CONFIG_ARCH_A5K is not set
38 # CONFIG_CPU_32 is not set
40 # CONFIG_PAGESIZE_16 is not set
46 # CONFIG_ZBOOT_ROM is not set
47 CONFIG_ZBOOT_ROM_TEXT=0
48 CONFIG_ZBOOT_ROM_BSS=0
51 # CONFIG_KCORE_AOUT is not set
52 # CONFIG_BINFMT_AOUT is not set
53 # CONFIG_BINFMT_ELF is not set
54 # CONFIG_BINFMT_MISC is not set
56 # CONFIG_ALIGNMENT_TRAP is not set
59 # Parallel port support
61 # CONFIG_PARPORT is not set
64 # Plug and Play configuration
66 # CONFIG_PNP is not set
67 # CONFIG_ISAPNP is not set
68 # CONFIG_PNPBIOS is not set
73 # CONFIG_BLK_DEV_FD is not set
74 # CONFIG_BLK_DEV_XD is not set
75 # CONFIG_PARIDE is not set
76 # CONFIG_BLK_CPQ_DA is not set
77 # CONFIG_BLK_CPQ_CISS_DA is not set
78 # CONFIG_CISS_SCSI_TAPE is not set
79 # CONFIG_BLK_DEV_DAC960 is not set
80 # CONFIG_BLK_DEV_UMEM is not set
81 # CONFIG_BLK_DEV_LOOP is not set
82 # CONFIG_BLK_DEV_NBD is not set
83 # CONFIG_BLK_DEV_RAM is not set
84 # CONFIG_BLK_DEV_INITRD is not set
87 # Multi-device support (RAID and LVM)
89 # CONFIG_MD is not set
90 # CONFIG_BLK_DEV_MD is not set
91 # CONFIG_MD_LINEAR is not set
92 # CONFIG_MD_RAID0 is not set
93 # CONFIG_MD_RAID1 is not set
94 # CONFIG_MD_RAID5 is not set
95 # CONFIG_MD_MULTIPATH is not set
96 # CONFIG_BLK_DEV_LVM is not set
99 # Acorn-specific block devices
101 # CONFIG_BLK_DEV_FD1772 is not set
102 # CONFIG_BLK_DEV_MFM is not set
105 # ATA/ATAPI/MFM/RLL support
107 # CONFIG_IDE is not set
108 # CONFIG_BLK_DEV_HD is not set
113 # CONFIG_SCSI is not set
120 # Input device support
122 # CONFIG_INPUT is not set
123 # CONFIG_INPUT_KEYBDEV is not set
124 # CONFIG_INPUT_MOUSEDEV is not set
125 # CONFIG_INPUT_MOUSEDEV_PSAUX is not set
126 # CONFIG_INPUT_JOYDEV is not set
127 # CONFIG_INPUT_TSDEV is not set
128 # CONFIG_INPUT_TSLIBDEV is not set
129 # CONFIG_INPUT_EVDEV is not set
130 # CONFIG_INPUT_EVBUG is not set
131 # CONFIG_INPUT_UINPUT is not set
132 # CONFIG_GAMEPORT is not set
133 CONFIG_SOUND_GAMEPORT=y
134 # CONFIG_GAMEPORT_NS558 is not set
135 # CONFIG_GAMEPORT_L4 is not set
136 # CONFIG_GAMEPORT_EMU10K1 is not set
137 # CONFIG_GAMEPORT_VORTEX is not set
138 # CONFIG_GAMEPORT_FM801 is not set
139 # CONFIG_GAMEPORT_CS461x is not set
140 # CONFIG_SERIO is not set
141 # CONFIG_SERIO_I8042 is not set
142 # CONFIG_SERIO_SERPORT is not set
143 # CONFIG_SERIO_CT82C710 is not set
144 # CONFIG_SERIO_PARKBD is not set
145 # CONFIG_SERIO_ACORN is not set
150 # CONFIG_VT is not set
151 # CONFIG_SERIAL_NONSTANDARD is not set
156 # CONFIG_SERIAL_8250 is not set
157 # CONFIG_SERIAL_8250_CONSOLE is not set
158 # CONFIG_SERIAL_8250_CS is not set
159 # CONFIG_SERIAL_8250_EXTENDED is not set
160 # CONFIG_SERIAL_8250_MANY_PORTS is not set
161 # CONFIG_SERIAL_8250_SHARE_IRQ is not set
162 # CONFIG_SERIAL_8250_DETECT_IRQ is not set
163 # CONFIG_SERIAL_8250_MULTIPORT is not set
164 # CONFIG_SERIAL_8250_RSA is not set
165 # CONFIG_ATOMWIDE_SERIAL is not set
166 # CONFIG_DUALSP_SERIAL is not set
167 # CONFIG_SERIAL_AMBA is not set
168 # CONFIG_SERIAL_AMBA_CONSOLE is not set
169 # CONFIG_SERIAL_CLPS711X is not set
170 # CONFIG_SERIAL_CLPS711X_CONSOLE is not set
171 # CONFIG_SERIAL_CLPS711X_OLD_NAME is not set
172 # CONFIG_SERIAL_21285 is not set
173 # CONFIG_SERIAL_21285_OLD is not set
174 # CONFIG_SERIAL_21285_CONSOLE is not set
175 # CONFIG_SERIAL_UART00 is not set
176 # CONFIG_SERIAL_UART00_CONSOLE is not set
177 # CONFIG_SERIAL_SA1100 is not set
178 # CONFIG_SERIAL_SA1100_CONSOLE is not set
179 # CONFIG_UNIX98_PTYS is not set
187 # CONFIG_I2C_ELEKTOR is not set
189 # CONFIG_I2C_PROC is not set
192 # L3 serial bus support
194 # CONFIG_L3 is not set
195 # CONFIG_L3_ALGOBIT is not set
196 # CONFIG_L3_BIT_SA1100_GPIO is not set
197 # CONFIG_L3_SA1111 is not set
198 # CONFIG_BIT_SA1100_GPIO is not set
203 # CONFIG_BUSMOUSE is not set
204 # CONFIG_PSMOUSE is not set
205 # CONFIG_QIC02_TAPE is not set
210 # CONFIG_WATCHDOG is not set
211 # CONFIG_NVRAM is not set
212 # CONFIG_RTC is not set
213 # CONFIG_DTLK is not set
214 # CONFIG_R3964 is not set
215 # CONFIG_APPLICOM is not set
218 # Ftape, the floppy tape device driver
220 # CONFIG_FTAPE is not set
221 # CONFIG_AGP is not set
222 # CONFIG_DRM is not set
223 # CONFIG_RAW_DRIVER is not set
228 # CONFIG_VIDEO_DEV is not set
233 # CONFIG_QUOTA is not set
234 # CONFIG_QFMT_V1 is not set
235 # CONFIG_QFMT_V2 is not set
236 # CONFIG_AUTOFS_FS is not set
237 # CONFIG_AUTOFS4_FS is not set
238 # CONFIG_REISERFS_FS is not set
239 # CONFIG_REISERFS_CHECK is not set
240 # CONFIG_REISERFS_PROC_INFO is not set
241 # CONFIG_ADFS_FS is not set
242 # CONFIG_ADFS_FS_RW is not set
243 # CONFIG_AFFS_FS is not set
244 # CONFIG_HFS_FS is not set
245 # CONFIG_BFS_FS is not set
246 # CONFIG_EXT3_FS is not set
247 # CONFIG_JBD is not set
248 # CONFIG_JBD_DEBUG is not set
249 # CONFIG_FAT_FS is not set
250 # CONFIG_MSDOS_FS is not set
251 # CONFIG_UMSDOS_FS is not set
252 # CONFIG_VFAT_FS is not set
253 # CONFIG_EFS_FS is not set
254 # CONFIG_JFFS_FS is not set
255 # CONFIG_JFFS2_FS is not set
256 # CONFIG_CRAMFS is not set
257 # CONFIG_TMPFS is not set
259 # CONFIG_ISO9660_FS is not set
260 # CONFIG_JOLIET is not set
261 # CONFIG_ZISOFS is not set
262 # CONFIG_JFS_FS is not set
263 # CONFIG_JFS_DEBUG is not set
264 # CONFIG_JFS_STATISTICS is not set
265 # CONFIG_MINIX_FS is not set
266 # CONFIG_VXFS_FS is not set
267 # CONFIG_NTFS_FS is not set
268 # CONFIG_NTFS_DEBUG is not set
269 # CONFIG_HPFS_FS is not set
271 # CONFIG_DEVFS_FS is not set
272 # CONFIG_DEVFS_MOUNT is not set
273 # CONFIG_DEVFS_DEBUG is not set
274 # CONFIG_DEVPTS_FS is not set
275 # CONFIG_QNX4FS_FS is not set
276 # CONFIG_QNX4FS_RW is not set
277 # CONFIG_ROMFS_FS is not set
279 # CONFIG_SYSV_FS is not set
280 # CONFIG_UDF_FS is not set
281 # CONFIG_UDF_RW is not set
282 # CONFIG_UFS_FS is not set
283 # CONFIG_UFS_FS_WRITE is not set
284 # CONFIG_NCPFS_NLS is not set
285 # CONFIG_SMB_FS is not set
286 # CONFIG_ZISOFS_FS is not set
291 CONFIG_PARTITION_ADVANCED=y
292 CONFIG_ACORN_PARTITION=y
293 # CONFIG_ACORN_PARTITION_EESOX is not set
294 # CONFIG_ACORN_PARTITION_ICS is not set
295 CONFIG_ACORN_PARTITION_ADFS=y
296 # CONFIG_ACORN_PARTITION_POWERTEC is not set
297 CONFIG_ACORN_PARTITION_RISCIX=y
298 # CONFIG_OSF_PARTITION is not set
299 # CONFIG_AMIGA_PARTITION is not set
300 # CONFIG_ATARI_PARTITION is not set
301 # CONFIG_MAC_PARTITION is not set
302 # CONFIG_MSDOS_PARTITION is not set
303 # CONFIG_LDM_PARTITION is not set
304 # CONFIG_SGI_PARTITION is not set
305 # CONFIG_ULTRIX_PARTITION is not set
306 # CONFIG_SUN_PARTITION is not set
307 # CONFIG_EFI_PARTITION is not set
308 # CONFIG_SMB_NLS is not set
309 # CONFIG_NLS is not set
314 # CONFIG_SOUND is not set
317 # Multimedia Capabilities Port drivers
319 # CONFIG_MCP is not set
320 # CONFIG_MCP_SA1100 is not set
321 # CONFIG_MCP_UCB1200 is not set
322 # CONFIG_MCP_UCB1200_AUDIO is not set
323 # CONFIG_MCP_UCB1200_TS is not set
328 # CONFIG_SWITCHES is not set
329 # CONFIG_SWITCHES_SA1100 is not set
330 # CONFIG_SWITCHES_UCB1X00 is not set
335 # CONFIG_USB is not set
340 # CONFIG_NO_FRAME_POINTER is not set
343 CONFIG_DEBUG_KERNEL=y
346 CONFIG_DEBUG_SPINLOCK=y
348 CONFIG_DEBUG_BUGVERBOSE=y
349 CONFIG_DEBUG_ERRORS=y
355 CONFIG_SECURITY_CAPABILITIES=y
361 # CONFIG_ZLIB_INFLATE is not set
362 # CONFIG_ZLIB_DEFLATE is not set