Rev 4348 | Go to most recent revision | Only display areas with differences | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 4348 | Rev 4349 | ||
---|---|---|---|
1 | # Platform |
1 | # Platform |
2 | PLATFORM = amd64 |
2 | PLATFORM = amd64 |
3 | 3 | ||
4 | # Ramdisk format |
4 | # Ramdisk format |
5 | RDFMT = fat |
5 | RDFMT = tmpfs |
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 | # Deadlock detection support for spinlocks |
13 | # Deadlock detection support for spinlocks |
14 | CONFIG_DEBUG_SPINLOCK = y |
14 | CONFIG_DEBUG_SPINLOCK = y |
15 | 15 | ||
16 | # Support for SMP |
16 | # Support for SMP |
17 | CONFIG_SMP = y |
17 | CONFIG_SMP = y |
18 | 18 | ||
19 | # Improved support for hyperthreading |
19 | # Improved support for hyperthreading |
20 | CONFIG_HT = y |
20 | CONFIG_HT = y |
21 | 21 | ||
22 | # Lazy FPU context switching |
22 | # Lazy FPU context switching |
23 | CONFIG_FPU_LAZY = y |
23 | CONFIG_FPU_LAZY = y |
24 | 24 | ||
25 | # Support for userspace debuggers |
25 | # Support for userspace debuggers |
26 | CONFIG_UDEBUG = y |
26 | CONFIG_UDEBUG = y |
27 | 27 | ||
28 | # Kernel console support |
28 | # Kernel console support |
29 | CONFIG_KCONSOLE = y |
29 | CONFIG_KCONSOLE = y |
30 | 30 | ||
31 | # Kernel symbol information |
31 | # Kernel symbol information |
32 | CONFIG_SYMTAB = y |
32 | CONFIG_SYMTAB = y |
33 | 33 | ||
34 | # Detailed kernel logging |
34 | # Detailed kernel logging |
35 | CONFIG_LOG = n |
35 | CONFIG_LOG = n |
36 | 36 | ||
37 | # Compile kernel tests |
37 | # Compile kernel tests |
38 | CONFIG_TEST = y |
38 | CONFIG_TEST = y |
39 | 39 | ||
40 | # Input device class |
40 | # Input device class |
41 | CONFIG_HID_IN = generic |
41 | CONFIG_HID_IN = generic |
42 | 42 | ||
43 | # Output device class |
43 | # Output device class |
44 | CONFIG_HID_OUT = generic |
44 | CONFIG_HID_OUT = generic |
45 | 45 | ||
46 | # PC keyboard support |
46 | # PC keyboard support |
47 | CONFIG_PC_KBD = y |
47 | CONFIG_PC_KBD = y |
48 | 48 | ||
49 | # EGA support |
49 | # EGA support |
50 | CONFIG_EGA = y |
50 | CONFIG_EGA = y |
51 | 51 | ||
52 | # Framebuffer support |
52 | # Framebuffer support |
53 | CONFIG_FB = y |
53 | CONFIG_FB = y |
54 | 54 | ||
55 | # Default framebuffer mode |
55 | # Default framebuffer mode |
56 | CONFIG_VESA_MODE = 800x600 |
56 | CONFIG_VESA_MODE = 800x600 |
57 | 57 | ||
58 | # Default framebuffer depth |
58 | # Default framebuffer depth |
59 | CONFIG_VESA_BPP = 16 |
59 | CONFIG_VESA_BPP = 16 |
- | 60 | ||
- | 61 | # Use shared C library |
|
- | 62 | CONFIG_SHARED_LIBC = n |
|
60 | 63 |