source:
mainline/defaults/ia32/Makefile.config@
192565b
Last change on this file since 192565b was 192565b, checked in by , 12 years ago | |
---|---|
|
|
File size: 1.2 KB |
Line | |
---|---|
1 | # Platform |
2 | PLATFORM = ia32 |
3 | |
4 | # CPU type |
5 | PROCESSOR = pentium4 |
6 | |
7 | # Ramdisk format |
8 | RDFMT = ext4fs |
9 | |
10 | # Compiler |
11 | COMPILER = gcc_cross |
12 | |
13 | # Debug build |
14 | CONFIG_DEBUG = y |
15 | |
16 | # Deadlock detection support for spinlocks |
17 | CONFIG_DEBUG_SPINLOCK = y |
18 | |
19 | # ACPI support |
20 | CONFIG_ACPI = y |
21 | |
22 | # Support for SMP |
23 | CONFIG_SMP = y |
24 | |
25 | # Lazy FPU context switching |
26 | CONFIG_FPU_LAZY = y |
27 | |
28 | # Support for userspace debuggers |
29 | CONFIG_UDEBUG = y |
30 | |
31 | # Kernel console support |
32 | CONFIG_KCONSOLE = y |
33 | |
34 | # Number of shell consoles |
35 | CONFIG_VC_COUNT = 5 |
36 | |
37 | # Kernel symbol information |
38 | CONFIG_SYMTAB = y |
39 | |
40 | # Detailed kernel logging |
41 | CONFIG_LOG = n |
42 | |
43 | # Kernel function tracing |
44 | CONFIG_TRACE = n |
45 | |
46 | # Compile kernel tests |
47 | CONFIG_TEST = y |
48 | |
49 | # Input device class |
50 | CONFIG_HID_IN = generic |
51 | |
52 | # Output device class |
53 | CONFIG_HID_OUT = generic |
54 | |
55 | # PC keyboard support |
56 | CONFIG_PC_KBD = y |
57 | |
58 | # EGA support |
59 | CONFIG_EGA = y |
60 | |
61 | # Framebuffer support |
62 | CONFIG_FB = y |
63 | |
64 | # Default framebuffer mode |
65 | CONFIG_BFB_MODE = 1024x768 |
66 | |
67 | # Default framebuffer depth |
68 | CONFIG_BFB_BPP = 16 |
69 | |
70 | # Load disk drivers on startup |
71 | CONFIG_START_BD = n |
72 | |
73 | # Mount /data on startup |
74 | CONFIG_MOUNT_DATA = n |
75 | |
76 | # OHCI root hub power switch, ganged is enough |
77 | OHCI_POWER_SWITCH = ganged |
78 | |
79 | # GRUB boot loader architecture |
80 | GRUB_ARCH = pc |
Note:
See TracBrowser
for help on using the repository browser.