13 # In case compiler is clang, whether or not to use its integrated assembler.
14 INTEGRATED_AS = default
19 # Deadlock detection support for spinlocks
20 CONFIG_DEBUG_SPINLOCK = y
28 # Lazy FPU context switching
31 # Support for userspace debuggers
34 # Kernel console support
37 # Kernel symbol information
40 # Detailed kernel logging
43 # Kernel function tracing
46 # Compile kernel tests
50 CONFIG_HID_IN = generic
53 CONFIG_HID_OUT = generic
64 # Default framebuffer mode
65 CONFIG_BFB_MODE = 1024x768
67 # Default framebuffer depth
70 # Dynamic linking support
73 # Build shared libraries
74 CONFIG_BUILD_SHARED_LIBS = y
76 # Link against shared libraries
77 CONFIG_USE_SHARED_LIBS = y
79 # Include userspace unit tests (PCUT)
82 # Include development files (headers, libraries)
83 CONFIG_DEVEL_FILES = y
85 # OHCI root hub power switch, ganged is enough
86 OHCI_POWER_SWITCH = ganged
88 # GRUB boot loader architecture