Rev 4083 | Rev 4132 | Go to most recent revision | Only display areas with differences | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 4083 | Rev 4127 | ||
---|---|---|---|
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 |
25 | # Improved support for hyperthreading |
26 | CONFIG_HT = y |
26 | CONFIG_HT = y |
27 | 27 | ||
28 | # Lazy FPU context switching |
28 | # Lazy FPU context switching |
29 | CONFIG_FPU_LAZY = y |
29 | CONFIG_FPU_LAZY = y |
30 | 30 | ||
31 | # Support for userspace debuggers |
31 | # Support for userspace debuggers |
32 | CONFIG_UDEBUG = y |
32 | CONFIG_UDEBUG = y |
33 | 33 | ||
34 | # Kernel console support |
34 | # Kernel console support |
35 | CONFIG_KCONSOLE = y |
35 | CONFIG_KCONSOLE = y |
36 | 36 | ||
37 | # Detailed kernel logging |
37 | # Detailed kernel logging |
38 | CONFIG_LOG = n |
38 | CONFIG_LOG = n |
39 | 39 | ||
40 | # Compile kernel tests |
40 | # Compile kernel tests |
41 | CONFIG_TEST = y |
41 | CONFIG_TEST = y |
42 | 42 | ||
43 | # Input device class |
43 | # Input device class |
44 | CONFIG_HID_IN = generic |
44 | CONFIG_HID_IN = generic |
45 | 45 | ||
46 | # Output device class |
46 | # Output device class |
47 | CONFIG_HID_OUT = generic |
47 | CONFIG_HID_OUT = generic |
48 | 48 | ||
49 | # PC keyboard support |
49 | # PC keyboard support |
50 | CONFIG_PC_KBD = y |
50 | CONFIG_PC_KBD = y |
51 | 51 | ||
52 | # EGA support |
52 | # EGA support |
53 | CONFIG_EGA = y |
53 | CONFIG_EGA = y |
54 | 54 | ||
55 | # Framebuffer support |
55 | # Framebuffer support |
56 | CONFIG_FB = y |
56 | CONFIG_FB = y |
57 | 57 | ||
58 | # Framebuffer width |
58 | # Default framebuffer mode |
59 | CONFIG_VESA_WIDTH = 800 |
59 | CONFIG_VESA_MODE = 800x600 |
60 | 60 | ||
61 | # Framebuffer height |
- | |
62 | CONFIG_VESA_HEIGHT = 600 |
- | |
63 | - | ||
64 | # Framebuffer depth |
61 | # Default framebuffer depth |
65 | CONFIG_VESA_BPP = 16 |
62 | CONFIG_VESA_BPP = 16 |
66 | 63 | ||
67 | # Keyboard layout |
64 | # Keyboard layout |
68 | KBD_LAYOUT = us_qwerty |
65 | KBD_LAYOUT = us_qwerty |
69 | 66 |