Rev 2830 | Rev 3228 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2830 | Rev 3051 | ||
---|---|---|---|
Line 82... | Line 82... | ||
82 | @ "lgxemul" GXEmul Little Endian |
82 | @ "lgxemul" GXEmul Little Endian |
83 | @ "bgxemul" GXEmul Big Endian |
83 | @ "bgxemul" GXEmul Big Endian |
84 | @ "indy" SGI Indy |
84 | @ "indy" SGI Indy |
85 | ! [ARCH=mips32] MACHINE (choice) |
85 | ! [ARCH=mips32] MACHINE (choice) |
86 | 86 | ||
87 | # Machine type |
- | |
88 | @ "gxemul_testarm" GXEmul testarm |
- | |
89 | ! [ARCH=arm32] MACHINE (choice) |
- | |
90 | - | ||
91 | - | ||
92 | # Framebuffer support |
87 | # Framebuffer support |
93 | ! [(ARCH=mips32&MACHINE=lgxemul)|(ARCH=mips32&MACHINE=bgxemul)|(ARCH=ia32)|(ARCH=amd64)|(ARCH=arm32&MACHINE=gxemul_testarm)] CONFIG_FB (y/n) |
88 | ! [(ARCH=mips32&MACHINE=lgxemul)|(ARCH=mips32&MACHINE=bgxemul)|(ARCH=ia32)|(ARCH=amd64)|(ARCH=arm32)] CONFIG_FB (y/n) |
94 | 89 | ||
95 | # Framebuffer width |
90 | # Framebuffer width |
96 | @ "640" |
91 | @ "640" |
97 | @ "800" |
92 | @ "800" |
98 | @ "1024" |
93 | @ "1024" |
Line 154... | Line 149... | ||
154 | ## Debugging configuration directives |
149 | ## Debugging configuration directives |
155 | 150 | ||
156 | # General debuging and assert checking |
151 | # General debuging and assert checking |
157 | ! CONFIG_DEBUG (y/n) |
152 | ! CONFIG_DEBUG (y/n) |
158 | 153 | ||
- | 154 | # Extensive debugging output |
|
- | 155 | ! [CONFIG_DEBUG=y] CONFIG_EDEBUG (n/y) |
|
- | 156 | ||
159 | # Deadlock detection support for spinlocks |
157 | # Deadlock detection support for spinlocks |
160 | ! [CONFIG_DEBUG=y&CONFIG_SMP=y] CONFIG_DEBUG_SPINLOCK (y/n) |
158 | ! [CONFIG_DEBUG=y&CONFIG_SMP=y] CONFIG_DEBUG_SPINLOCK (y/n) |
161 | 159 | ||
162 | # Watchpoint on rewriting AS with zero |
160 | # Watchpoint on rewriting AS with zero |
163 | ! [CONFIG_DEBUG=y&(ARCH=amd64|ARCH=ia32|ARCH=ia32xen)] CONFIG_DEBUG_AS_WATCHPOINT (y/n) |
161 | ! [CONFIG_DEBUG=y&(ARCH=amd64|ARCH=ia32|ARCH=ia32xen)] CONFIG_DEBUG_AS_WATCHPOINT (y/n) |