16 # Deadlock detection support for spinlocks
17 CONFIG_DEBUG_SPINLOCK = y
19 # Lazy FPU context switching
25 # Virtually indexed D-cache support
26 CONFIG_VIRT_IDX_DCACHE = y
28 # Support for userspace debuggers
31 # Kernel console support
34 # Kernel symbol information
37 # Detailed kernel logging
40 # Kernel function tracing
43 # Compile kernel tests
47 CONFIG_HID_IN = generic
50 CONFIG_HID_OUT = generic
52 # Start AP processors by the loader
55 # Load disk drivers on startup
58 # Mount /data on startup