Rev 4058 | Rev 4240 | Go to most recent revision | Only display areas with differences | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 4058 | Rev 4117 | ||
---|---|---|---|
1 | # Platform |
1 | # Platform |
2 | PLATFORM = arm32 |
2 | PLATFORM = arm32 |
3 | 3 | ||
4 | # Ramdisk format |
4 | # Ramdisk format |
5 | RDFMT = fat |
5 | RDFMT = fat |
6 | 6 | ||
7 | # Compiler |
7 | # Compiler |
8 | COMPILER = gcc_cross |
8 | COMPILER = gcc_cross |
9 | 9 | ||
10 | # Debug build |
10 | # Debug build |
11 | CONFIG_DEBUG = y |
11 | CONFIG_DEBUG = y |
12 | 12 | ||
13 | # Support for userspace debuggers |
13 | # Support for userspace debuggers |
14 | CONFIG_UDEBUG = y |
14 | CONFIG_UDEBUG = y |
15 | 15 | ||
16 | # Kernel console support |
16 | # Kernel console support |
17 | CONFIG_KCONSOLE = y |
17 | CONFIG_KCONSOLE = y |
18 | 18 | ||
19 | # Detailed kernel logging |
19 | # Detailed kernel logging |
20 | CONFIG_LOG = n |
20 | CONFIG_LOG = n |
21 | 21 | ||
22 | # Compile kernel tests |
22 | # Compile kernel tests |
23 | CONFIG_TEST = y |
23 | CONFIG_TEST = y |
24 | 24 | ||
25 | # What is your input device? |
25 | # What is your input device? |
26 | CONFIG_HID_IN = keyboard |
26 | CONFIG_HID_IN = generic |
27 | 27 | ||
28 | # What is your output device? |
28 | # What is your output device? |
29 | CONFIG_HID_OUT = monitor |
29 | CONFIG_HID_OUT = generic |
30 | - | ||
31 | # Framebuffer support |
- | |
32 | CONFIG_FB = y |
- | |
33 | 30 | ||
34 | # Keyboard layout |
31 | # Keyboard layout |
35 | KBD_LAYOUT = us_qwerty |
32 | KBD_LAYOUT = us_qwerty |
36 | 33 |