Rev 4122 | Go to most recent revision | Details | Last modification | View Log | RSS feed
Rev | Author | Line No. | Line |
---|---|---|---|
4058 | decky | 1 | # Platform |
2 | PLATFORM = ia64 |
||
3 | |||
4 | # Ramdisk format |
||
5 | RDFMT = fat |
||
6 | |||
7 | # Compiler |
||
8 | COMPILER = gcc_cross |
||
9 | |||
10 | # Debug build |
||
11 | CONFIG_DEBUG = y |
||
12 | |||
13 | # Deadlock detection support for spinlocks |
||
14 | CONFIG_DEBUG_SPINLOCK = y |
||
15 | |||
16 | # Support for SMP |
||
17 | CONFIG_SMP = y |
||
18 | |||
19 | # Lazy FPU context switching |
||
20 | CONFIG_FPU_LAZY = y |
||
21 | |||
22 | # Use VHPT |
||
23 | CONFIG_VHPT = y |
||
24 | |||
25 | # Support for userspace debuggers |
||
26 | CONFIG_UDEBUG = y |
||
27 | |||
28 | # Kernel console support |
||
29 | CONFIG_KCONSOLE = y |
||
30 | |||
31 | # Detailed kernel logging |
||
32 | CONFIG_LOG = n |
||
33 | |||
34 | # Compile kernel tests |
||
35 | CONFIG_TEST = y |
||
36 | |||
37 | # Keyboard layout |
||
38 | KBD_LAYOUT = us_qwerty |