Subversion Repositories HelenOS

Rev

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

Rev 4373 Rev 4691
Line 53... Line 53...
53
% Machine type
53
% Machine type
54
@ "generic" Generic Sun workstation or server
54
@ "generic" Generic Sun workstation or server
55
@ "serengeti" Serengeti system
55
@ "serengeti" Serengeti system
56
! [PLATFORM=sparc64] MACHINE (choice)
56
! [PLATFORM=sparc64] MACHINE (choice)
57
 
57
 
-
 
58
% Machine type
-
 
59
@ "testarm" GXEmul Testarm
-
 
60
@ "integratorcp" Integratorcp
-
 
61
! [PLATFORM=arm32] MACHINE (choice)
-
 
62
 
58
% CPU type
63
% CPU type
59
@ "pentium4" Pentium 4
64
@ "pentium4" Pentium 4
60
@ "pentium3" Pentium 3
65
@ "pentium3" Pentium 3
61
@ "core" Core Solo/Duo
66
@ "core" Core Solo/Duo
62
@ "athlon_xp" Athlon XP
67
@ "athlon_xp" Athlon XP
Line 280... Line 285...
280
 
285
 
281
 
286
 
282
## Kernel features options
287
## Kernel features options
283
 
288
 
284
% Support for SMP
289
% Support for SMP
285
! [PLATFORM=ia32|PLATFORM=amd64|PLATFORM=sparc64|PLATFORM=ia64|(PLATFORM=mips32&MACHINE=msim)] CONFIG_SMP (y/n)
290
! [(PLATFORM=ia32&PROCESSOR!=athlon_xp)|PLATFORM=amd64|PLATFORM=sparc64|PLATFORM=ia64|(PLATFORM=mips32&MACHINE=msim)] CONFIG_SMP (y/n)
286
 
291
 
287
% Debug build
292
% Debug build
288
! CONFIG_DEBUG (y/n)
293
! CONFIG_DEBUG (y/n)
289
 
294
 
290
% Deadlock detection support for spinlocks
295
% Deadlock detection support for spinlocks
291
! [CONFIG_DEBUG=y&CONFIG_SMP=y] CONFIG_DEBUG_SPINLOCK (y/n)
296
! [CONFIG_DEBUG=y&CONFIG_SMP=y] CONFIG_DEBUG_SPINLOCK (y/n)
292
 
297
 
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
298
% Lazy FPU context switching
300
! [CONFIG_FPU=y] CONFIG_FPU_LAZY (y/n)
299
! [CONFIG_FPU=y] CONFIG_FPU_LAZY (y/n)
301
 
300
 
302
% Use VHPT
301
% Use VHPT
303
! [PLATFORM=ia64] CONFIG_VHPT (n/y)
302
! [PLATFORM=ia64] CONFIG_VHPT (n/y)
Line 329... Line 328...
329
 
328
 
330
## Hardware support
329
## Hardware support
331
 
330
 
332
% Input device class
331
% Input device class
333
@ "generic" Keyboard or serial line
332
@ "generic" Keyboard or serial line
-
 
333
! [PLATFORM=arm32&MACHINE=integratorcp] CONFIG_HID_IN (choice)
-
 
334
 
-
 
335
% Input device class
-
 
336
@ "generic" Keyboard or serial line
334
@ "none" No input device
337
@ "none" No input device
335
! [PLATFORM=ia32|PLATFORM=arm32|PLATFORM=amd64|PLATFORM=mips32|PLATFORM=ppc32|PLATFORM=sparc64] CONFIG_HID_IN (choice)
338
! [PLATFORM=ia32|(PLATFORM=arm32&MACHINE=testarm)|PLATFORM=amd64|PLATFORM=mips32|PLATFORM=ppc32|PLATFORM=sparc64] CONFIG_HID_IN (choice)
336
 
339
 
337
% Input device class
340
% Input device class
338
@ "generic" Keyboard or serial line
341
@ "generic" Keyboard or serial line
339
@ "keyboard" Keyboard
342
@ "keyboard" Keyboard
340
@ "serial" Serial line
343
@ "serial" Serial line
341
@ "none" No input device
344
@ "none" No input device
342
! [PLATFORM=ia64&MACHINE=i460GX] CONFIG_HID_IN (choice)
345
! [PLATFORM=ia64&MACHINE=i460GX] CONFIG_HID_IN (choice)
343
 
346
 
344
% Output device class
347
% Output device class
345
@ "generic" Monitor or serial line
348
@ "generic" Monitor or serial line
-
 
349
! [PLATFORM=arm32&MACHINE=integratorcp] CONFIG_HID_OUT (choice)
-
 
350
 
-
 
351
% Output device class
-
 
352
@ "generic" Monitor or serial line
346
@ "none" No output device
353
@ "none" No output device
347
! [PLATFORM=ia32|PLATFORM=amd64|PLATFORM=sparc64|PLATFORM=ppc32|(PLATFORM=ia64&MACHINE=i460GX)|(PLATFORM=mips32&MACHINE=msim)] CONFIG_HID_OUT (choice)
354
! [PLATFORM=ia32|PLATFORM=amd64|PLATFORM=sparc64|PLATFORM=ppc32|(PLATFORM=ia64&MACHINE=i460GX)|(PLATFORM=mips32&MACHINE=msim)] CONFIG_HID_OUT (choice)
348
 
355
 
349
% Output device class
356
% Output device class
350
@ "generic" Monitor or serial line
357
@ "generic" Monitor or serial line
Line 356... Line 363...
356
% Output device class
363
% Output device class
357
@ "generic" Monitor or serial line
364
@ "generic" Monitor or serial line
358
@ "monitor" Monitor
365
@ "monitor" Monitor
359
@ "serial" Serial line
366
@ "serial" Serial line
360
@ "none" No output device
367
@ "none" No output device
361
! [PLATFORM=arm32] CONFIG_HID_OUT (choice)
368
! [PLATFORM=arm32&MACHINE=testarm] CONFIG_HID_OUT (choice)
362
 
369
 
363
% PC keyboard support
370
% PC keyboard support
364
! [CONFIG_HID_IN=generic&(PLATFORM=ia32|PLATFORM=amd64)] CONFIG_PC_KBD (y/n)
371
! [CONFIG_HID_IN=generic&(PLATFORM=ia32|PLATFORM=amd64)] CONFIG_PC_KBD (y/n)
365
 
372
 
366
% PC keyboard support
373
% PC keyboard support
Line 371... Line 378...
371
 
378
 
372
% Support for msim/GXemul printer
379
% Support for msim/GXemul printer
373
! [(CONFIG_HID_OUT=generic|CONFIG_HID_OUT=serial)&PLATFORM=mips32] CONFIG_MIPS_PRN (y/n)
380
! [(CONFIG_HID_OUT=generic|CONFIG_HID_OUT=serial)&PLATFORM=mips32] CONFIG_MIPS_PRN (y/n)
374
 
381
 
375
% Support for GXemul keyboard
382
% Support for GXemul keyboard
376
! [CONFIG_HID_IN=generic&PLATFORM=arm32] CONFIG_ARM_KBD (y/n)
383
! [CONFIG_HID_IN=generic&PLATFORM=arm32&MACHINE=testarm] CONFIG_ARM_KBD (y/n)
377
 
384
 
378
% Support for GXemul printer
385
% Support for GXemul printer
379
! [(CONFIG_HID_OUT=generic|CONFIG_HID_OUT=serial)&PLATFORM=arm32] CONFIG_ARM_PRN (y/n)
386
! [(CONFIG_HID_OUT=generic|CONFIG_HID_OUT=serial)&PLATFORM=arm32&MACHINE=testarm] CONFIG_ARM_PRN (y/n)
380
 
387
 
381
% Support for VIA CUDA controller
388
% Support for VIA CUDA controller
382
! [CONFIG_HID_IN=generic&PLATFORM=ppc32] CONFIG_VIA_CUDA (y/n)
389
! [CONFIG_HID_IN=generic&PLATFORM=ppc32] CONFIG_VIA_CUDA (y/n)
383
 
390
 
384
% Support for NS16550 controller
391
% Support for NS16550 controller
Line 394... Line 401...
394
! [CONFIG_HID_OUT=generic&PLATFORM=sparc64&MACHINE=serengeti] CONFIG_SGCN_PRN (y/n)
401
! [CONFIG_HID_OUT=generic&PLATFORM=sparc64&MACHINE=serengeti] CONFIG_SGCN_PRN (y/n)
395
 
402
 
396
% Support for Serengeti keyboard
403
% Support for Serengeti keyboard
397
! [CONFIG_HID_IN=generic&PLATFORM=sparc64&MACHINE=serengeti] CONFIG_SGCN_KBD (y/n)
404
! [CONFIG_HID_IN=generic&PLATFORM=sparc64&MACHINE=serengeti] CONFIG_SGCN_KBD (y/n)
398
 
405
 
399
% i8042 controller support
406
% Support for i8042 controller
400
! [CONFIG_PC_KBD=y] CONFIG_I8042 (y)
407
! [CONFIG_PC_KBD=y] CONFIG_I8042 (y)
401
 
408
 
-
 
409
% Support for pl050 controller
-
 
410
! [CONFIG_HID_IN=generic&PLATFORM=arm32&MACHINE=integratorcp] CONFIG_PL050 (y)
-
 
411
 
402
% Sun keyboard support
412
% Sun keyboard support
403
! [(CONFIG_HID_IN=generic|CONFIG_HID_IN=keyboard)&PLATFORM=sparc64&MACHINE=generic&(CONFIG_NS16550=y|CONFIG_Z8530=y)] CONFIG_SUN_KBD (y)
413
! [(CONFIG_HID_IN=generic|CONFIG_HID_IN=keyboard)&PLATFORM=sparc64&MACHINE=generic&(CONFIG_NS16550=y|CONFIG_Z8530=y)] CONFIG_SUN_KBD (y)
404
 
414
 
-
 
415
% Macintosh ADB keyboard support
-
 
416
! [(CONFIG_HID_IN=generic|CONFIG_HID_IN=keyboard)&PLATFORM=ppc32&(CONFIG_VIA_CUDA=y)] CONFIG_MAC_KBD (y)
-
 
417
 
405
% Dummy serial line input
418
% Dummy serial line input
406
! [CONFIG_MIPS_KBD=y|CONFIG_ARM_KBD=y] CONFIG_DSRLNIN (y)
419
! [CONFIG_MIPS_KBD=y|CONFIG_ARM_KBD=y] CONFIG_DSRLNIN (y)
407
 
420
 
408
% Dummy serial line output
421
% Dummy serial line output
409
! [CONFIG_MIPS_PRN=y|CONFIG_ARM_PRN=y] CONFIG_DSRLNOUT (y)
422
! [CONFIG_MIPS_PRN=y|CONFIG_ARM_PRN=y] CONFIG_DSRLNOUT (y)
Line 467... Line 480...
467
! CONFIG_BUILD_SHARED_LIBC (y/n)
480
! CONFIG_BUILD_SHARED_LIBC (y/n)
468
 
481
 
469
% Link against shared C library
482
% Link against shared C library
470
! [CONFIG_BUILD_SHARED_LIBC=y] CONFIG_USE_SHARED_LIBC (n/y)
483
! [CONFIG_BUILD_SHARED_LIBC=y] CONFIG_USE_SHARED_LIBC (n/y)
471
! [CONFIG_BUILD_SHARED_LIBC=n] CONFIG_USE_SHARED_LIBC (n)
484
! [CONFIG_BUILD_SHARED_LIBC=n] CONFIG_USE_SHARED_LIBC (n)
-
 
485
 
-
 
486
% Load disk drivers on startup
-
 
487
! CONFIG_START_BD (n/y)
-
 
488
 
-
 
489
% Mount /data on startup
-
 
490
! [CONFIG_START_BD=y] CONFIG_MOUNT_DATA (n/y)