Subversion Repositories HelenOS

Rev

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

Rev 4296 Rev 4420
Line 288... Line 288...
288
! CONFIG_DEBUG (y/n)
288
! CONFIG_DEBUG (y/n)
289
 
289
 
290
% Deadlock detection support for spinlocks
290
% Deadlock detection support for spinlocks
291
! [CONFIG_DEBUG=y&CONFIG_SMP=y] CONFIG_DEBUG_SPINLOCK (y/n)
291
! [CONFIG_DEBUG=y&CONFIG_SMP=y] CONFIG_DEBUG_SPINLOCK (y/n)
292
 
292
 
293
% Improved support for hyperthreading
-
 
294
! [PLATFORM=amd64&CONFIG_SMP=y] CONFIG_HT (y/n)
-
 
295
 
-
 
296
% Improved support for hyperthreading
-
 
297
! [PLATFORM=ia32&PROCESSOR!=athlon_xp&PROCESSOR!=athlon_mp&PROCESSOR!=pentium3&CONFIG_SMP=y] CONFIG_HT (y/n)
-
 
298
 
-
 
299
% Lazy FPU context switching
293
% Lazy FPU context switching
300
! [CONFIG_FPU=y] CONFIG_FPU_LAZY (y/n)
294
! [CONFIG_FPU=y] CONFIG_FPU_LAZY (y/n)
301
 
295
 
302
% Use VHPT
296
% Use VHPT
303
! [PLATFORM=ia64] CONFIG_VHPT (n/y)
297
! [PLATFORM=ia64] CONFIG_VHPT (n/y)
Line 330... Line 324...
330
## Hardware support
324
## Hardware support
331
 
325
 
332
% Input device class
326
% Input device class
333
@ "generic" Keyboard or serial line
327
@ "generic" Keyboard or serial line
334
@ "none" No input device
328
@ "none" No input device
335
! [PLATFORM=ia32|PLATFORM=arm32|PLATFORM=amd64|PLATFORM=mips32|PLATFORM=sparc64] CONFIG_HID_IN (choice)
329
! [PLATFORM=ia32|PLATFORM=arm32|PLATFORM=amd64|PLATFORM=mips32|PLATFORM=ppc32|PLATFORM=sparc64] CONFIG_HID_IN (choice)
336
 
330
 
337
% Input device class
331
% Input device class
338
@ "generic" Keyboard or serial line
332
@ "generic" Keyboard or serial line
339
@ "keyboard" Keyboard
333
@ "keyboard" Keyboard
340
@ "serial" Serial line
334
@ "serial" Serial line
Line 376... Line 370...
376
! [CONFIG_HID_IN=generic&PLATFORM=arm32] CONFIG_ARM_KBD (y/n)
370
! [CONFIG_HID_IN=generic&PLATFORM=arm32] CONFIG_ARM_KBD (y/n)
377
 
371
 
378
% Support for GXemul printer
372
% Support for GXemul printer
379
! [(CONFIG_HID_OUT=generic|CONFIG_HID_OUT=serial)&PLATFORM=arm32] CONFIG_ARM_PRN (y/n)
373
! [(CONFIG_HID_OUT=generic|CONFIG_HID_OUT=serial)&PLATFORM=arm32] CONFIG_ARM_PRN (y/n)
380
 
374
 
-
 
375
% Support for VIA CUDA controller
-
 
376
! [CONFIG_HID_IN=generic&PLATFORM=ppc32] CONFIG_VIA_CUDA (y/n)
-
 
377
 
381
% Support for NS16550 controller
378
% Support for NS16550 controller
382
! [(CONFIG_HID_IN=generic|CONFIG_HID_IN=keyboard)&PLATFORM=sparc64&MACHINE=generic] CONFIG_NS16550 (y/n)
379
! [(CONFIG_HID_IN=generic|CONFIG_HID_IN=keyboard)&PLATFORM=sparc64&MACHINE=generic] CONFIG_NS16550 (y/n)
383
 
380
 
384
% Support for NS16550 controller
381
% Support for NS16550 controller
385
! [(CONFIG_HID_IN=generic|CONFIG_HID_IN=serial)&PLATFORM=ia64&MACHINE=i460GX] CONFIG_NS16550 (y/n)
382
! [(CONFIG_HID_IN=generic|CONFIG_HID_IN=serial)&PLATFORM=ia64&MACHINE=i460GX] CONFIG_NS16550 (y/n)