Subversion Repositories HelenOS

Rev

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

Rev 3588 Rev 3674
Line 74... Line 74...
74 
 
 74 
 
75 
# CPU type
 75 
# CPU type
76 
@ "opteron" Opteron
 76 
@ "opteron" Opteron
77 
! [ARCH=amd64] MACHINE (choice)
 77 
! [ARCH=amd64] MACHINE (choice)
78 
 
 78 
 
- 
 
 79 
# CPU type
- 
 
 80 
@ "us" UltraSPARC I-II subarchitecture
- 
 
 81 
@ "us3" UltraSPARC III-IV subarchitecture
- 
 
 82 
! [ARCH=sparc64] MACHINE (choice)
- 
 
 83 
 
79 
# Machine type
 84 
# Machine type
80 
@ "msim" MSIM Simulator
 85 
@ "msim" MSIM Simulator
81 
@ "simics" Virtutech Simics simulator
 86 
@ "simics" Virtutech Simics simulator
82 
@ "lgxemul" GXEmul Little Endian
 87 
@ "lgxemul" GXEmul Little Endian
83 
@ "bgxemul" GXEmul Big Endian
 88 
@ "bgxemul" GXEmul Big Endian
Line 136... Line 141...
136 
! [ARCH=sparc64] CONFIG_TSB (y/n)
 141 
! [ARCH=sparc64] CONFIG_TSB (y/n)
137 
 
 142 
 
138 
# Support for Z8530 serial port
 143 
# Support for Z8530 serial port
139 
! [ARCH=sparc64] CONFIG_Z8530 (y/n)
 144 
! [ARCH=sparc64] CONFIG_Z8530 (y/n)
140 
 
 145 
 
141 
# Support for NS16550 serial port
 146 
# Support for NS16550 serial port
142 
! [ARCH=sparc64|ARCH=ia64] CONFIG_NS16550 (y/n)
 147 
! [ARCH=sparc64|(ARCH=ia64&MACHINE!=ski)] CONFIG_NS16550 (n/y)
- 
 
 148 
 
- 
 
 149 
# Support for Serengeti console
- 
 
 150 
! [ARCH=sparc64] CONFIG_SGCN (y/n)
143 
 
 151 
 
- 
 
 152 
# IOSapic on default address support
- 
 
 153 
! [ARCH=ia64&MACHINE!=ski] CONFIG_IOSAPIC (y/n)
- 
 
 154 
 
- 
 
 155 
# Interrupt-driven driver for Legacy Keyboard?
- 
 
 156 
! [CONFIG_NS16550=n&CONFIG_IOSAPIC=y&MACHINE!=ski] CONFIG_I8042_INTERRUPT_DRIVEN (y/n)
- 
 
 157 
 
- 
 
 158 
# Interrupt-driven driver for NS16550?
- 
 
 159 
! [CONFIG_NS16550=y&((ARCH!=ia64)|CONFIG_IOSAPIC=y)&MACHINE!=ski] CONFIG_NS16550_INTERRUPT_DRIVEN (y/n)
144 
 
 160 
 
145 
# Virtually indexed D-cache support
 161 
# Virtually indexed D-cache support
146 
! [ARCH=sparc64] CONFIG_VIRT_IDX_DCACHE (y/n)
 162 
! [ARCH=sparc64] CONFIG_VIRT_IDX_DCACHE (y/n)
147 
 
 163 
 
148 
# Support for userspace debuggers
 164 
# Support for userspace debuggers
149 
! CONFIG_UDEBUG (n/y)
 165 
! CONFIG_UDEBUG (n/y)
150 
 
 166 
 
151 
## Debugging configuration directives
 167 
## Debugging configuration directives
152 
 
 168 
 
153 
# General debuging and assert checking
 169 
# General debugging and assert checking
154 
! CONFIG_DEBUG (y/n)
 170 
! CONFIG_DEBUG (y/n)
155 
 
 171 
 
156 
# Extensive debugging output
 172 
# Kernel console support
157 
! [CONFIG_DEBUG=y] CONFIG_EDEBUG (n/y)
 173 
! CONFIG_KCONSOLE (y/n)
- 
 
 174 
 
- 
 
 175 
# Detailed kernel logging
- 
 
 176 
! CONFIG_LOG (n/y)
158 
 
 177 
 
159 
# Deadlock detection support for spinlocks
 178 
# Deadlock detection support for spinlocks
160 
! [CONFIG_DEBUG=y&CONFIG_SMP=y] CONFIG_DEBUG_SPINLOCK (y/n)
 179 
! [CONFIG_DEBUG=y&CONFIG_SMP=y] CONFIG_DEBUG_SPINLOCK (y/n)
161 
 
 180 
 
162 
# Watchpoint on rewriting AS with zero
 181 
# Watchpoint on rewriting AS with zero