Rev 4240 | Go to most recent revision | Only display areas with differences | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 4240 | Rev 4402 | ||
|---|---|---|---|
| 1 | # Platform |
1 | # Platform |
| 2 | PLATFORM = ia32 |
2 | PLATFORM = ia32 |
| 3 | 3 | ||
| 4 | # CPU type |
4 | # CPU type |
| 5 | PROCESSOR = pentium4 |
5 | PROCESSOR = pentium4 |
| 6 | 6 | ||
| 7 | # Ramdisk format |
7 | # Ramdisk format |
| 8 | RDFMT = fat |
8 | RDFMT = fat |
| 9 | 9 | ||
| 10 | # Compiler |
10 | # Compiler |
| 11 | COMPILER = gcc_cross |
11 | COMPILER = gcc_cross |
| 12 | 12 | ||
| 13 | # Debug build |
13 | # Debug build |
| 14 | CONFIG_DEBUG = y |
14 | CONFIG_DEBUG = y |
| 15 | 15 | ||
| 16 | # Deadlock detection support for spinlocks |
16 | # Deadlock detection support for spinlocks |
| 17 | CONFIG_DEBUG_SPINLOCK = y |
17 | CONFIG_DEBUG_SPINLOCK = y |
| 18 | 18 | ||
| 19 | # ACPI support |
19 | # ACPI support |
| 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 |
| 33 | 30 | ||
| 34 | # Kernel console support |
31 | # Kernel console support |
| 35 | CONFIG_KCONSOLE = y |
32 | CONFIG_KCONSOLE = y |
| 36 | 33 | ||
| 37 | # Kernel symbol information |
34 | # Kernel symbol information |
| 38 | CONFIG_SYMTAB = y |
35 | CONFIG_SYMTAB = y |
| 39 | 36 | ||
| 40 | # Detailed kernel logging |
37 | # Detailed kernel logging |
| 41 | CONFIG_LOG = n |
38 | CONFIG_LOG = n |
| 42 | 39 | ||
| 43 | # Compile kernel tests |
40 | # Compile kernel tests |
| 44 | CONFIG_TEST = y |
41 | CONFIG_TEST = y |
| 45 | 42 | ||
| 46 | # Input device class |
43 | # Input device class |
| 47 | CONFIG_HID_IN = generic |
44 | CONFIG_HID_IN = generic |
| 48 | 45 | ||
| 49 | # Output device class |
46 | # Output device class |
| 50 | CONFIG_HID_OUT = generic |
47 | CONFIG_HID_OUT = generic |
| 51 | 48 | ||
| 52 | # PC keyboard support |
49 | # PC keyboard support |
| 53 | CONFIG_PC_KBD = y |
50 | CONFIG_PC_KBD = y |
| 54 | 51 | ||
| 55 | # EGA support |
52 | # EGA support |
| 56 | CONFIG_EGA = y |
53 | CONFIG_EGA = y |
| 57 | 54 | ||
| 58 | # Framebuffer support |
55 | # Framebuffer support |
| 59 | CONFIG_FB = y |
56 | CONFIG_FB = y |
| 60 | 57 | ||
| 61 | # Default framebuffer mode |
58 | # Default framebuffer mode |
| 62 | CONFIG_VESA_MODE = 800x600 |
59 | CONFIG_VESA_MODE = 800x600 |
| 63 | 60 | ||
| 64 | # Default framebuffer depth |
61 | # Default framebuffer depth |
| 65 | CONFIG_VESA_BPP = 16 |
62 | CONFIG_VESA_BPP = 16 |
| 66 | 63 | ||