Rev 4349 | Details | Compare with Previous | Last modification | View Log | RSS feed
Rev | Author | Line No. | Line |
---|---|---|---|
4058 | decky | 1 | # Platform |
2 | PLATFORM = amd64 |
||
3 | |||
4 | # Ramdisk format |
||
4349 | svoboda | 5 | RDFMT = tmpfs |
4058 | decky | 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 | # Support for userspace debuggers |
||
23 | CONFIG_UDEBUG = y |
||
24 | |||
25 | # Kernel console support |
||
26 | CONFIG_KCONSOLE = y |
||
27 | |||
4132 | svoboda | 28 | # Kernel symbol information |
29 | CONFIG_SYMTAB = y |
||
30 | |||
4058 | decky | 31 | # Detailed kernel logging |
32 | CONFIG_LOG = n |
||
33 | |||
34 | # Compile kernel tests |
||
35 | CONFIG_TEST = y |
||
36 | |||
4083 | decky | 37 | # Input device class |
38 | CONFIG_HID_IN = generic |
||
4058 | decky | 39 | |
4083 | decky | 40 | # Output device class |
41 | CONFIG_HID_OUT = generic |
||
4058 | decky | 42 | |
43 | # PC keyboard support |
||
44 | CONFIG_PC_KBD = y |
||
45 | |||
46 | # EGA support |
||
47 | CONFIG_EGA = y |
||
48 | |||
49 | # Framebuffer support |
||
50 | CONFIG_FB = y |
||
51 | |||
4127 | decky | 52 | # Default framebuffer mode |
53 | CONFIG_VESA_MODE = 800x600 |
||
4058 | decky | 54 | |
4127 | decky | 55 | # Default framebuffer depth |
4058 | decky | 56 | CONFIG_VESA_BPP = 16 |
4349 | svoboda | 57 | |
58 | # Use shared C library |
||
59 | CONFIG_SHARED_LIBC = n |
||
4691 | svoboda | 60 | |
61 | # Load disk drivers on startup |
||
62 | CONFIG_START_BD = n |
||
63 | |||
64 | # Mount /data on startup |
||
65 | CONFIG_MOUNT_DATA = n |