Rev 4349 | Details | Compare with Previous | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line |
|---|---|---|---|
| 4058 | decky | 1 | # Platform |
| 2 | PLATFORM = arm32 |
||
| 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 | # Support for userspace debuggers |
||
| 14 | CONFIG_UDEBUG = y |
||
| 15 | |||
| 16 | # Kernel console support |
||
| 17 | CONFIG_KCONSOLE = y |
||
| 18 | |||
| 4132 | svoboda | 19 | # Kernel symbol information |
| 20 | CONFIG_SYMTAB = y |
||
| 21 | |||
| 4058 | decky | 22 | # Detailed kernel logging |
| 23 | CONFIG_LOG = n |
||
| 24 | |||
| 25 | # Compile kernel tests |
||
| 26 | CONFIG_TEST = y |
||
| 27 | |||
| 28 | # What is your input device? |
||
| 4117 | decky | 29 | CONFIG_HID_IN = generic |
| 4058 | decky | 30 | |
| 31 | # What is your output device? |
||
| 4117 | decky | 32 | CONFIG_HID_OUT = generic |
| 4349 | svoboda | 33 | |
| 34 | # Use shared C library |
||
| 35 | CONFIG_SHARED_LIBC = n |
||
| 4691 | svoboda | 36 | |
| 37 | # Load disk drivers on startup |
||
| 38 | CONFIG_START_BD = n |
||
| 39 | |||
| 40 | # Mount /data on startup |
||
| 41 | CONFIG_MOUNT_DATA = n |