Subversion Repositories HelenOS

Rev

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

Rev 4066 Rev 4069
Line 239... Line 239...
239 
% Compiler
 239 
% Compiler
240 
@ "gcc_cross" GCC Cross-compiler
 240 
@ "gcc_cross" GCC Cross-compiler
241 
@ "gcc_native" GCC Native
 241 
@ "gcc_native" GCC Native
242 
! [PLATFORM=arm32|PLATFORM=mips32|PLATFORM=ppc32] COMPILER (choice)
 242 
! [PLATFORM=arm32|PLATFORM=mips32|PLATFORM=ppc32] COMPILER (choice)
243 
 
 243 
 
244 
## Debug build options
 - 
 
245 
 
 - 
 
246 
% Debug build
 - 
 
247 
! CONFIG_DEBUG (y/n)
 - 
 
248 
 
 - 
 
249 
% Deadlock detection support for spinlocks
 - 
 
250 
! [CONFIG_DEBUG=y&CONFIG_SMP=y] CONFIG_DEBUG_SPINLOCK (y/n)
 - 
 
251 
 
 244 
 
252 
## Kernel configuration
 245 
## Kernel configuration
253 
 
 246 
 
254 
% Fences
 247 
% Fences
255 
! [PLATFORM=ia32&(PROCESSOR=athlon_xp|PROCESSOR=athlon_mp|PROCESSOR=pentium3)] CONFIG_FENCES_P3 (y)
 248 
! [PLATFORM=ia32&(PROCESSOR=athlon_xp|PROCESSOR=athlon_mp|PROCESSOR=pentium3)] CONFIG_FENCES_P3 (y)
Line 294... Line 287...
294 
## Kernel features options
 287 
## Kernel features options
295 
 
 288 
 
296 
% Support for SMP
 289 
% Support for SMP
297 
! [PLATFORM=ia32|PLATFORM=amd64|PLATFORM=sparc64|PLATFORM=ia64|(PLATFORM=mips32&MACHINE=msim)] CONFIG_SMP (y/n)
 290 
! [PLATFORM=ia32|PLATFORM=amd64|PLATFORM=sparc64|PLATFORM=ia64|(PLATFORM=mips32&MACHINE=msim)] CONFIG_SMP (y/n)
298 
 
 291 
 
- 
 
 292 
% Debug build
- 
 
 293 
! CONFIG_DEBUG (y/n)
- 
 
 294 
 
- 
 
 295 
% Deadlock detection support for spinlocks
- 
 
 296 
! [CONFIG_DEBUG=y&CONFIG_SMP=y] CONFIG_DEBUG_SPINLOCK (y/n)
- 
 
 297 
 
299 
% Improved support for hyperthreading
 298 
% Improved support for hyperthreading
300 
! [PLATFORM=amd64&CONFIG_SMP=y] CONFIG_HT (y/n)
 299 
! [PLATFORM=amd64&CONFIG_SMP=y] CONFIG_HT (y/n)
- 
 
 300 
 
301 
% Improved support for hyperthreading
 301 
% Improved support for hyperthreading
302 
! [PLATFORM=ia32&PROCESSOR!=athlon_xp&PROCESSOR!=athlon_mp&PROCESSOR!=pentium3&CONFIG_SMP=y] CONFIG_HT (y/n)
 302 
! [PLATFORM=ia32&PROCESSOR!=athlon_xp&PROCESSOR!=athlon_mp&PROCESSOR!=pentium3&CONFIG_SMP=y] CONFIG_HT (y/n)
303 
 
 303 
 
304 
% Lazy FPU context switching
 304 
% Lazy FPU context switching
305 
! [CONFIG_FPU=y] CONFIG_FPU_LAZY (y/n)
 305 
! [CONFIG_FPU=y] CONFIG_FPU_LAZY (y/n)
Line 326... Line 326...
326 
! CONFIG_LOG (n/y)
 326 
! CONFIG_LOG (n/y)
327 
 
 327 
 
328 
% Compile kernel tests
 328 
% Compile kernel tests
329 
! CONFIG_TEST (y/n)
 329 
! CONFIG_TEST (y/n)
330 
 
 330 
 
- 
 
 331 
 
331 
## Hardware support
 332 
## Hardware support
332 
 
 333 
 
333 
% Input device class
 334 
% Input device class
334 
@ "generic" Keyboard or serial line
 335 
@ "generic" Keyboard or serial line
335 
@ "keyboard" Keyboard
 336 
@ "keyboard" Keyboard
336 
@ "serial" Serial line
 337 
@ "serial" Serial line
337 
@ "none" No input device
 338 
@ "none" No input device
338 
! [MACHINE!=msim&MACHINE!=ski&MACHINE!=serengeti] CONFIG_HID_IN (choice)
 339 
! [MACHINE!=msim&MACHINE!=ski&MACHINE!=serengeti] CONFIG_HID_IN (choice)
- 
 
 340 
 
339 
% Input device class
 341 
% Input device class
340 
@ "serial" Serial line
 342 
@ "serial" Serial line
341 
! [MACHINE=msim|MACHINE=ski|machine=serengeti] CONFIG_HID_IN (choice)
 343 
! [MACHINE=ski|MACHINE=serengeti] CONFIG_HID_IN (choice)
342 
 
 344 
 
343 
% Output device class
 345 
% Output device class
344 
@ "generic" Monitor or serial line
 346 
@ "generic" Monitor or serial line
345 
@ "monitor" Monitor
 347 
@ "monitor" Monitor
346 
@ "serial" Serial line
 348 
@ "serial" Serial line
347 
@ "none" No output device
 349 
@ "none" No output device
348 
! [MACHINE!=msim&MACHINE!=ski&MACHINE!=serengeti] CONFIG_HID_OUT (choice)
 350 
! [MACHINE!=msim&MACHINE!=ski&MACHINE!=serengeti] CONFIG_HID_OUT (choice)
- 
 
 351 
 
349 
% Output device class
 352 
% Output device class
350 
@ "serial" Serial line
 353 
@ "serial" Serial line
351 
! [MACHINE=msim|MACHINE=ski&MACHINE=serengeti] CONFIG_HID_OUT (choice)
 354 
! [MACHINE=msim|MACHINE=ski&MACHINE=serengeti] CONFIG_HID_OUT (choice)
352 
 
 355 
 
353 
% i8042 controller support
 356 
% i8042 controller support
354 
! [(CONFIG_HID_IN=generic|CONFIG_HID_IN=keyboard)&(PLATFORM=ia32|PLATFORM=amd64)] CONFIG_I8042 (y/n)
 357 
! [(CONFIG_HID_IN=generic|CONFIG_HID_IN=keyboard)&(PLATFORM=ia32|PLATFORM=amd64)] CONFIG_I8042 (y/n)
- 
 
 358 
 
355 
% i8042 controller support
 359 
% i8042 controller support
356 
! [(CONFIG_HID_IN=generic|CONFIG_HID_IN=keyboard)&MACHINE=i460GX] CONFIG_I8042 (y/n)
 360 
! [(CONFIG_HID_IN=generic|CONFIG_HID_IN=keyboard)&MACHINE=i460GX] CONFIG_I8042 (y/n)
357 
 
 361 
 
358 
% Support for NS16550 controller
 362 
% Support for NS16550 controller
359 
! [PLATFORM=sparc64&CONFIG_HID_OUT!=none&CONFIG_HID_IN!=none] CONFIG_NS16550 (y/n)
 363 
! [PLATFORM=sparc64&CONFIG_HID_OUT!=none&CONFIG_HID_IN!=none] CONFIG_NS16550 (y/n)
- 
 
 364 
 
360 
% Support for NS16550 controller
365 
% Support for NS16550 controller
361 
! [CONFIG_HID_IN=generic|CONFIG_HID_IN=serial|CONFIG_HID_OUT=generic|CONFIG_HID_OUT=serial] CONFIG_NS16550 (y/n)
 366 
! [CONFIG_HID_IN=generic|CONFIG_HID_IN=serial|CONFIG_HID_OUT=generic|CONFIG_HID_OUT=serial] CONFIG_NS16550 (y/n)
362 
 
 367 
 
363 
% Support for Z8530 controller
 368 
% Support for Z8530 controller
364 
! [(CONFIG_HID_IN!=none|CONFIG_HID_OUT=generic|CONFIG_HID_OUT=serial)&PLATFORM=sparc64] CONFIG_Z8530 (y/n)
 369 
! [(CONFIG_HID_IN!=none|CONFIG_HID_OUT=generic|CONFIG_HID_OUT=serial)&PLATFORM=sparc64] CONFIG_Z8530 (y/n)
Line 366... Line 371...
366 
% Support for Serengeti console
 371 
% Support for Serengeti console
367 
! [(CONFIG_HID_IN=serial|CONFIG_HID_OUT=serial)&MACHINE=serengeti] CONFIG_SGCN (y/n)
 372 
! [(CONFIG_HID_IN=serial|CONFIG_HID_OUT=serial)&MACHINE=serengeti] CONFIG_SGCN (y/n)
368 
 
 373 
 
369 
% PC keyboard support
 374 
% PC keyboard support
370 
! [(CONFIG_HID_IN=generic|CONFIG_HID_IN=keyboard)&(PLATFORM=ia32|PLATFORM=amd64)] CONFIG_PC_KBD (y/n)
 375 
! [(CONFIG_HID_IN=generic|CONFIG_HID_IN=keyboard)&(PLATFORM=ia32|PLATFORM=amd64)] CONFIG_PC_KBD (y/n)
- 
 
 376 
 
371 
% PC keyboard support
 377 
% PC keyboard support
372 
! [(CONFIG_HID_IN=generic|CONFIG_HID_IN=keyboard)&MACHINE=i460GX] CONFIG_PC_KBD (y/n)
 378 
! [(CONFIG_HID_IN=generic|CONFIG_HID_IN=keyboard)&MACHINE=i460GX] CONFIG_PC_KBD (y/n)
373 
 
 379 
 
374 
% Sun keyboard support
 380 
% Sun keyboard support
375 
! [(CONFIG_HID_IN=generic|CONFIG_HID_IN=keyboard)&PLATFORM=sparc64] CONFIG_SUN_KBD (y/n)
 381 
! [(CONFIG_HID_IN=generic|CONFIG_HID_IN=keyboard)&PLATFORM=sparc64] CONFIG_SUN_KBD (y/n)
Line 377... Line 383...
377 
% Serial line input module
 383 
% Serial line input module
378 
! [CONFIG_HID_IN=generic|CONFIG_HID_IN=serial] CONFIG_SRLN (y/n)
 384 
! [CONFIG_HID_IN=generic|CONFIG_HID_IN=serial] CONFIG_SRLN (y/n)
379 
 
 385 
 
380 
% EGA support
 386 
% EGA support
381 
! [(CONFIG_HID_OUT=generic|CONFIG_HID_OUT=monitor)&(PLATFORM=ia32|PLATFORM=amd64)] CONFIG_EGA (y/n)
 387 
! [(CONFIG_HID_OUT=generic|CONFIG_HID_OUT=monitor)&(PLATFORM=ia32|PLATFORM=amd64)] CONFIG_EGA (y/n)
- 
 
 388 
 
382 
% EGA support
 389 
% EGA support
383 
! [(CONFIG_HID_OUT=generic|CONFIG_HID_OUT=monitor)&MACHINE=i460GX] CONFIG_EGA (y/n)
 390 
! [(CONFIG_HID_OUT=generic|CONFIG_HID_OUT=monitor)&MACHINE=i460GX] CONFIG_EGA (y/n)
384 
 
 391 
 
385 
% Framebuffer support
 392 
% Framebuffer support
386 
! [CONFIG_HID_OUT=generic|CONFIG_HID_OUT=monitor] CONFIG_FB (y/n)
 393 
! [CONFIG_HID_OUT=generic|CONFIG_HID_OUT=monitor] CONFIG_FB (y/n)