Rev 4349 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 4349 | Rev 4691 | ||
|---|---|---|---|
| Line 20... | Line 20... | ||
| 20 | CONFIG_ACPI = y |
20 | CONFIG_ACPI = y |
| 21 | 21 | ||
| 22 | # Support for SMP |
22 | # Support for SMP |
| 23 | CONFIG_SMP = y |
23 | CONFIG_SMP = y |
| 24 | 24 | ||
| 25 | # Improved support for hyperthreading |
- | |
| 26 | CONFIG_HT = y |
- | |
| 27 | - | ||
| 28 | # Lazy FPU context switching |
25 | # Lazy FPU context switching |
| 29 | CONFIG_FPU_LAZY = y |
26 | CONFIG_FPU_LAZY = y |
| 30 | 27 | ||
| 31 | # Support for userspace debuggers |
28 | # Support for userspace debuggers |
| 32 | CONFIG_UDEBUG = y |
29 | CONFIG_UDEBUG = y |
| Line 64... | Line 61... | ||
| 64 | # Default framebuffer depth |
61 | # Default framebuffer depth |
| 65 | CONFIG_VESA_BPP = 16 |
62 | CONFIG_VESA_BPP = 16 |
| 66 | 63 | ||
| 67 | # Use shared C library |
64 | # Use shared C library |
| 68 | CONFIG_SHARED_LIBC = n |
65 | CONFIG_SHARED_LIBC = n |
| - | 66 | ||
| - | 67 | # Load disk drivers on startup |
|
| - | 68 | CONFIG_START_BD = n |
|
| - | 69 | ||
| - | 70 | # Mount /data on startup |
|
| - | 71 | CONFIG_MOUNT_DATA = n |
|