Rev 4346 | Rev 4348 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 4346 | Rev 4347 | ||
|---|---|---|---|
| Line 18... | Line 18... | ||
| 18 | 18 | ||
| 19 | # Lazy FPU context switching |
19 | # Lazy FPU context switching |
| 20 | CONFIG_FPU_LAZY = y |
20 | CONFIG_FPU_LAZY = y |
| 21 | 21 | ||
| 22 | # Use VHPT |
22 | # Use VHPT |
| 23 | CONFIG_VHPT = y |
23 | CONFIG_VHPT = n |
| 24 | 24 | ||
| 25 | # Support for userspace debuggers |
25 | # Support for userspace debuggers |
| 26 | CONFIG_UDEBUG = y |
26 | CONFIG_UDEBUG = y |
| 27 | 27 | ||
| 28 | # Kernel console support |
28 | # Kernel console support |