| /tags/0.4.1/defaults/ia64/Makefile.config |
|---|
| 0,0 → 1,50 |
|---|
| # Platform |
| PLATFORM = ia64 |
| |
| # Ramdisk format |
| RDFMT = fat |
| |
| # Compiler |
| COMPILER = gcc_cross |
| |
| # Debug build |
| CONFIG_DEBUG = y |
| |
| # Deadlock detection support for spinlocks |
| CONFIG_DEBUG_SPINLOCK = y |
| |
| # Support for SMP |
| CONFIG_SMP = y |
| |
| # Lazy FPU context switching |
| CONFIG_FPU_LAZY = y |
| |
| # Use VHPT |
| CONFIG_VHPT = n |
| |
| # Support for userspace debuggers |
| CONFIG_UDEBUG = y |
| |
| # Kernel console support |
| CONFIG_KCONSOLE = y |
| |
| # Kernel symbol information |
| CONFIG_SYMTAB = y |
| |
| # Detailed kernel logging |
| CONFIG_LOG = n |
| |
| # Compile kernel tests |
| CONFIG_TEST = y |
| |
| # Input device class |
| CONFIG_HID_IN = generic |
| |
| # Output device class |
| CONFIG_HID_OUT = generic |
| |
| # Load disk drivers on startup |
| CONFIG_START_BD = n |
| |
| # Mount /data on startup |
| CONFIG_MOUNT_DATA = n |