Subversion Repositories HelenOS

Rev

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

Rev 1985 Rev 1995
Line 83... Line 83...
83 
! [(ARCH=mips32&MACHINE!=msim&MACHINE!=simics)|ARCH=amd64|ARCH=ia32|ARCH=ia64|ARCH=sparc64|ARCH=ia32xen] CONFIG_FPU_LAZY (y/n)
 83 
! [(ARCH=mips32&MACHINE!=msim&MACHINE!=simics)|ARCH=amd64|ARCH=ia32|ARCH=ia64|ARCH=sparc64|ARCH=ia32xen] CONFIG_FPU_LAZY (y/n)
84 
 
 84 
 
85 
# Power off on halt
 85 
# Power off on halt
86 
! [ARCH=ppc32] CONFIG_POWEROFF (n/y)
 86 
! [ARCH=ppc32] CONFIG_POWEROFF (n/y)
87 
 
 87 
 
- 
 
 88 
# Use VHPT
- 
 
 89 
! [ARCH=ia64] CONFIG_VHPT (n/y)
- 
 
 90 
 
- 
 
 91 
# Use TSB
- 
 
 92 
! [ARCH=sparc64] CONFIG_TSB (y/n)
- 
 
 93 
 
- 
 
 94 
# Support for Z8530 serial port
- 
 
 95 
! [ARCH=sparc64] CONFIG_Z8530 (y/n)
- 
 
 96 
 
- 
 
 97 
# Support for NS16550 serial port
- 
 
 98 
! [ARCH=sparc64] CONFIG_NS16550 (y/n)
- 
 
 99 
 
- 
 
 100 
# Virtually indexed cache support
- 
 
 101 
! [ARCH=sparc64] CONFIG_VIRT_IDX_SUPPORT (n/y)
- 
 
 102 
 
- 
 
 103 
 
88 
## Debugging configuration directives
 104 
## Debugging configuration directives
89 
 
 105 
 
90 
# General debuging and assert checking
 106 
# General debuging and assert checking
91 
! CONFIG_DEBUG (y/n)
 107 
! CONFIG_DEBUG (y/n)
92 
 
 108 
 
Line 97... Line 113...
97 
! [CONFIG_DEBUG=y&(ARCH=amd64|ARCH=ia32|ARCH=ia32xen)] CONFIG_DEBUG_AS_WATCHPOINT (y/n)
 113 
! [CONFIG_DEBUG=y&(ARCH=amd64|ARCH=ia32|ARCH=ia32xen)] CONFIG_DEBUG_AS_WATCHPOINT (y/n)
98 
 
 114 
 
99 
# Save all interrupt registers
 115 
# Save all interrupt registers
100 
! [CONFIG_DEBUG=y&(ARCH=amd64|ARCH=mips32|ARCH=ia32|ARCH=ia32xen)] CONFIG_DEBUG_ALLREGS (y/n)
 116 
! [CONFIG_DEBUG=y&(ARCH=amd64|ARCH=mips32|ARCH=ia32|ARCH=ia32xen)] CONFIG_DEBUG_ALLREGS (y/n)
101 
 
 117 
 
102 
# Use VHPT
 - 
 
103 
! [ARCH=ia64] CONFIG_VHPT (n/y)
 - 
 
104 
 
 - 
 
105 
# Use TSB
 - 
 
106 
! [ARCH=sparc64] CONFIG_TSB (y/n)
 - 
 
107 
 
 - 
 
108 
# Support for Z8530 serial port
 - 
 
109 
! [ARCH=sparc64] CONFIG_Z8530 (y/n)
 - 
 
110 
 
 - 
 
111 
# Support for NS16550 serial port
 - 
 
112 
! [ARCH=sparc64] CONFIG_NS16550 (y/n)
 - 
 
113 
 
 118 
 
114 
## Run-time configuration directives
 119 
## Run-time configuration directives
115 
 
 120 
 
116 
# Kernel test type
 121 
# Kernel test type
117 
@ "" No test
 122 
@ "" No test