| 0,0 → 1,47 |
|---|
| # Platform |
| PLATFORM = ia64 |
| |
| # Machine type |
| MACHINE = i460GX |
| |
| # Ramdisk format |
| RDFMT = tmpfs |
| |
| # Compiler |
| COMPILER = gcc_cross |
| |
| # Debug build |
| CONFIG_DEBUG = y |
| |
| # Support for SMP |
| CONFIG_SMP = y |
| |
| # Lazy FPU context switching |
| CONFIG_FPU_LAZY = y |
| |
| # Use VHPT |
| CONFIG_VHPT = n |
| |
| # Support for NS16550 serial port |
| CONFIG_NS16550 = y |
| |
| # IOSapic on default address support |
| CONFIG_IOSAPIC = y |
| |
| # Interrupt-driven driver for NS16550? |
| CONFIG_NS16550_INTERRUPT_DRIVEN = y |
| |
| # Support for userspace debuggers |
| CONFIG_UDEBUG = n |
| |
| # Kernel console support |
| CONFIG_KCONSOLE = y |
| |
| # Detailed kernel logging |
| CONFIG_LOG = n |
| |
| # Deadlock detection support for spinlocks |
| CONFIG_DEBUG_SPINLOCK = y |
| |
| # Compile kernel tests |
| CONFIG_TEST = y |