Rev 4058 | Rev 4127 | Go to most recent revision | Only display areas with differences | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 4058 | Rev 4083 | ||
---|---|---|---|
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 | # What is your input device? |
43 | # Input device class |
44 | CONFIG_HID_IN = keyboard |
44 | CONFIG_HID_IN = generic |
45 | 45 | ||
46 | # What is your output device? |
46 | # Output device class |
47 | CONFIG_HID_OUT = monitor |
47 | CONFIG_HID_OUT = generic |
48 | - | ||
49 | # i8042 controller support |
- | |
50 | CONFIG_I8042 = y |
- | |
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 | # Framebuffer width |
58 | # Framebuffer width |
62 | CONFIG_VESA_WIDTH = 800 |
59 | CONFIG_VESA_WIDTH = 800 |
63 | 60 | ||
64 | # Framebuffer height |
61 | # Framebuffer height |
65 | CONFIG_VESA_HEIGHT = 600 |
62 | CONFIG_VESA_HEIGHT = 600 |
66 | 63 | ||
67 | # Framebuffer depth |
64 | # Framebuffer depth |
68 | CONFIG_VESA_BPP = 16 |
65 | CONFIG_VESA_BPP = 16 |
69 | 66 | ||
70 | # Keyboard layout |
67 | # Keyboard layout |
71 | KBD_LAYOUT = us_qwerty |
68 | KBD_LAYOUT = us_qwerty |
72 | 69 |