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)