Subversion Repositories HelenOS

Rev

Rev 4342 | Rev 4344 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 4342 Rev 4343
Line 46... Line 46...
46 
@ "bgxemul" GXEmul big endian
 46 
@ "bgxemul" GXEmul big endian
47 
@ "lgxemul" GXEmul little endian
 47 
@ "lgxemul" GXEmul little endian
48 
! [PLATFORM=mips32] MACHINE (choice)
 48 
! [PLATFORM=mips32] MACHINE (choice)
49 
 
 49 
 
50 
% Machine type
 50 
% Machine type
- 
 
 51 
@ "gxemul" GXEmul
- 
 
 52 
! [PLATFORM=arm32] MACHINE (choice)
- 
 
 53 
 
- 
 
 54 
% Machine type
51 
@ "i460GX" i460GX chipset machine
 55 
@ "i460GX" i460GX chipset machine
52 
@ "ski" Ski ia64 simulator
 56 
@ "ski" Ski ia64 simulator
53 
! [PLATFORM=ia64] MACHINE (choice)
 57 
! [PLATFORM=ia64] MACHINE (choice)
54 
 
 58 
 
55 
% CPU type
 59 
% CPU type
Line 136... Line 140...
136 
@ "mips32"
 140 
@ "mips32"
137 
! [PLATFORM=mips32&(MACHINE=msim|MACHINE=simics|MACHINE=lgxemul)] UARCH (choice)
 141 
! [PLATFORM=mips32&(MACHINE=msim|MACHINE=simics|MACHINE=lgxemul)] UARCH (choice)
138 
 
 142 
 
139 
% User space architecture
 143 
% User space architecture
140 
@ "mips32eb"
 144 
@ "mips32eb"
141 
! [PLATFORM=mips32&(MACHINE=bgxemul)] UARCH (choice)
 145 
! [PLATFORM=mips32&MACHINE=bgxemul] UARCH (choice)
142 
 
 146 
 
143 
% User space architecture
 147 
% User space architecture
144 
@ "ppc32"
 148 
@ "ppc32"
145 
! [PLATFORM=ppc32] UARCH (choice)
 149 
! [PLATFORM=ppc32] UARCH (choice)
146 
 
 150 
 
Line 240... Line 244...
240 
 
 244 
 
241 
% Fences
 245 
% Fences
242 
! [PLATFORM=ia32&(MACHINE=athlon-xp|MACHINE=athlon-mp|MACHINE=pentium3)] CONFIG_FENCES_P3 (y)
 246 
! [PLATFORM=ia32&(MACHINE=athlon-xp|MACHINE=athlon-mp|MACHINE=pentium3)] CONFIG_FENCES_P3 (y)
243 
 
 247 
 
244 
% Fences
 248 
% Fences
245 
! [(PLATFORM=ia32&(MACHINE=pentium4|MACHINE=core))|PLATFORM=amd64] CONFIG_FENCES_P4 (y)
 249 
! [PLATFORM=ia32&(MACHINE=pentium4|MACHINE=core)] CONFIG_FENCES_P4 (y)
- 
 
 250 
 
- 
 
 251 
% Fences
- 
 
 252 
! [PLATFORM=amd64] CONFIG_FENCES_P4 (y)
246 
 
 253 
 
247 
% ACPI support
 254 
% ACPI support
248 
! [PLATFORM=ia32|PLATFORM=amd64] CONFIG_ACPI (y)
 255 
! [PLATFORM=ia32|PLATFORM=amd64] CONFIG_ACPI (y)
249 
 
 256 
 
250 
% Hierarchical page tables support
 257 
% Hierarchical page tables support
Line 273... Line 280...
273 
 
 280 
 
274 
% OpenFirmware tree support
 281 
% OpenFirmware tree support
275 
! [PLATFORM=sparc64] CONFIG_OFW_TREE (y)
 282 
! [PLATFORM=sparc64] CONFIG_OFW_TREE (y)
276 
 
 283 
 
277 
% FPU support
 284 
% FPU support
278 
! [PLATFORM=ia32|PLATFORM=amd64|PLATFORM=ia64|PLATFORM=sparc64|(PLATFORM=mips32&(MACHINE=lgxemul|MACHINE=bgxemul))] CONFIG_FPU (y)
 285 
! [PLATFORM=ia32|PLATFORM=amd64|PLATFORM=ia64|PLATFORM=sparc64] CONFIG_FPU (y)
- 
 
 286 
 
- 
 
 287 
% FPU support
- 
 
 288 
! [PLATFORM=mips32&(MACHINE=lgxemul|MACHINE=bgxemul)] CONFIG_FPU (y)
279 
 
 289 
 
280 
 
 290 
 
281 
## Kernel features options
 291 
## Kernel features options
282 
 
 292 
 
283 
% Support for SMP
 293 
% Support for SMP
284 
! [(PLATFORM=ia32&MACHINE!=athlon-xp)|PLATFORM=amd64|PLATFORM=sparc64|PLATFORM=ia64] CONFIG_SMP (y/n)
 294 
! [(PLATFORM=ia32&MACHINE!=athlon-xp)|PLATFORM=amd64|PLATFORM=sparc64|PLATFORM=ia64|(PLATFORM=mips32&MACHINE=msim)] CONFIG_SMP (y/n)
285 
 
 295 
 
286 
% Improved support for hyperthreading
 296 
% Improved support for hyperthreading
287 
! [((PLATFORM=ia32&MACHINE!=athlon-xp&MACHINE!=athlon-mp&MACHINE!=pentium3)|PLATFORM=amd64)&CONFIG_SMP=y] CONFIG_HT (y/n)
 297 
! [PLATFORM=amd64&CONFIG_SMP=y] CONFIG_HT (y/n)
288 
 
 298 
 
289 
% Simics BIOS AP boot fix
 299 
% Improved support for hyperthreading
290 
! [(PLATFORM=ia32|PLATFORM=amd64)&CONFIG_SMP=y] CONFIG_SIMICS_FIX (y/n)
 300 
! [PLATFORM=ia32&MACHINE!=athlon-xp&MACHINE!=athlon-mp&MACHINE!=pentium3&CONFIG_SMP=y] CONFIG_HT (y/n)
291 
 
 301 
 
292 
% Lazy FPU context switching
 302 
% Lazy FPU context switching
293 
! [CONFIG_FPU=y] CONFIG_FPU_LAZY (y/n)
 303 
! [CONFIG_FPU=y] CONFIG_FPU_LAZY (y/n)
294 
 
 304 
 
295 
% Use VHPT
 305 
% Use VHPT
Line 300... Line 310...
300 
 
 310 
 
301 
% Support for Z8530 serial port
 311 
% Support for Z8530 serial port
302 
! [PLATFORM=sparc64] CONFIG_Z8530 (y/n)
 312 
! [PLATFORM=sparc64] CONFIG_Z8530 (y/n)
303 
 
 313 
 
304 
% Support for NS16550 serial port
 314 
% Support for NS16550 serial port
305 
! [PLATFORM=sparc64|(PLATFORM=ia64&MACHINE!=ski)] CONFIG_NS16550 (n/y)
 - 
 
306 
 
 - 
 
307 
% IOSapic on default address support
 - 
 
308 
! [PLATFORM=ia64&MACHINE!=ski] CONFIG_IOSAPIC (y/n)
 315 
! [PLATFORM=sparc64] CONFIG_NS16550 (y/n)
309 
 
 - 
 
310 
% Interrupt-driven driver for Legacy Keyboard
 - 
 
311 
! [CONFIG_NS16550=n&CONFIG_IOSAPIC=y&MACHINE!=ski] CONFIG_I8042_INTERRUPT_DRIVEN (y/n)
 - 
 
312 
 
 316 
 
313 
% Interrupt-driven driver for NS16550
 317 
% Support for NS16550 serial port
314 
! [CONFIG_NS16550=y&((PLATFORM!=ia64)|CONFIG_IOSAPIC=y)&MACHINE!=ski] CONFIG_NS16550_INTERRUPT_DRIVEN (y/n)
 318 
! [PLATFORM=ia64&MACHINE!=ski] CONFIG_NS16550 (n/y)
315 
 
 319 
 
316 
% Support for Serengeti console
 320 
% Support for Serengeti console
317 
! [PLATFORM=sparc64] CONFIG_SGCN (y/n)
 321 
! [PLATFORM=sparc64] CONFIG_SGCN (y/n)
318 
 
 322 
 
- 
 
 323 
% IOSapic on default address support
- 
 
 324 
! [PLATFORM=ia64&MACHINE!=ski] CONFIG_IOSAPIC (y/n)
- 
 
 325 
 
319 
% Virtually indexed D-cache support
 326 
% Virtually indexed D-cache support
320 
! [PLATFORM=sparc64] CONFIG_VIRT_IDX_DCACHE (y/n)
 327 
! [PLATFORM=sparc64] CONFIG_VIRT_IDX_DCACHE (y/n)
321 
 
 328 
 
322 
% Support for userspace debuggers
 329 
% Support for userspace debuggers
323 
! CONFIG_UDEBUG (n/y)
 330 
! CONFIG_UDEBUG (y/n)
324 
 
 331 
 
325 
% Kernel console support
 332 
% Kernel console support
326 
! CONFIG_KCONSOLE (y/n)
 333 
! CONFIG_KCONSOLE (y/n)
327 
 
 334 
 
328 
% Detailed kernel logging
 335 
% Detailed kernel logging
329 
! CONFIG_LOG (n/y)
 336 
! CONFIG_LOG (n/y)
330 
 
 337 
 
331 
% Deadlock detection support for spinlocks
 338 
% Deadlock detection support for spinlocks
332 
! [CONFIG_DEBUG=y&CONFIG_SMP=y] CONFIG_DEBUG_SPINLOCK (y/n)
 339 
! [CONFIG_DEBUG=y&CONFIG_SMP=y] CONFIG_DEBUG_SPINLOCK (y/n)
333 
 
 340 
 
334 
% Watchpoint on rewriting AS with zero
 - 
 
335 
! [CONFIG_DEBUG=y&(PLATFORM=amd64|PLATFORM=ia32)] CONFIG_DEBUG_AS_WATCHPOINT (y/n)
 - 
 
336 
 
 - 
 
337 
% Save all interrupt registers
 - 
 
338 
! [CONFIG_DEBUG=y&(PLATFORM=amd64|PLATFORM=mips32|PLATFORM=ia32)] CONFIG_DEBUG_ALLREGS (y/n)
 - 
 
339 
 
 - 
 
340 
% Compile kernel tests
 341 
% Compile kernel tests
341 
! CONFIG_TEST (y/n)
 342 
! CONFIG_TEST (y/n)
342 
 
 343 
 
343 
 
 344 
 
344 
## Hardware support
 345 
## Hardware support
345 
 
 346 
 
346 
% Framebuffer support
 347 
% Framebuffer support
347 
! [(PLATFORM=mips32&MACHINE=lgxemul)|(PLATFORM=mips32&MACHINE=bgxemul)|(PLATFORM=ia32)|(PLATFORM=amd64)|(PLATFORM=arm32)|(PLATFORM=sparc64&MACHINE=us3)] CONFIG_FB (y/n)
 348 
! [(PLATFORM=mips32&MACHINE=lgxemul)|(PLATFORM=mips32&MACHINE=bgxemul)|PLATFORM=ia32|PLATFORM=amd64|PLATFORM=arm32|(PLATFORM=sparc64&MACHINE=us3)] CONFIG_FB (y/n)
348 
 
 349 
 
349 
% Framebuffer support
 350 
% Framebuffer support
350 
! [PLATFORM=ppc32|(PLATFORM=sparc64&MACHINE=us)] CONFIG_FB (y)
 351 
! [PLATFORM=ppc32|(PLATFORM=sparc64&MACHINE=us)] CONFIG_FB (y)
351 
 
 352 
 
352 
% Framebuffer width
 353 
% Framebuffer width
Line 390... Line 391...
390 
! [PLATFORM=sparc64] CONFIG_AOUT_ISOFS_B (y/n)
 391 
! [PLATFORM=sparc64] CONFIG_AOUT_ISOFS_B (y/n)
391 
 
 392 
 
392 
% External ramdisk
 393 
% External ramdisk
393 
! [PLATFORM=sparc64] CONFIG_RD_EXTERNAL (y/n)
 394 
! [PLATFORM=sparc64] CONFIG_RD_EXTERNAL (y/n)
394 
 
 395 
 
- 
 
 396 
% Keyboard layout
- 
 
 397 
@ "us_qwerty" US QWERTY
- 
 
 398 
@ "us_dvorak" US Dvorak
- 
 
 399 
! KBD_LAYOUT (choice)
- 
 
 400 
 
395 
% Use shared C library
 401 
% Use shared C library
396 
! CONFIG_SHARED_LIBC (y/n)
 402 
! CONFIG_SHARED_LIBC (y/n)