Go to most recent revision | Details | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line |
|---|---|---|---|
| 3807 | decky | 1 | # Platform |
| 2 | PLATFORM = ia64 |
||
| 3 | |||
| 4 | # Machine type |
||
| 5 | MACHINE = i460GX |
||
| 6 | |||
| 7 | # Ramdisk format |
||
| 8 | RDFMT = tmpfs |
||
| 9 | |||
| 10 | # Compiler |
||
| 11 | COMPILER = gcc_cross |
||
| 12 | |||
| 13 | # Debug build |
||
| 14 | CONFIG_DEBUG = y |
||
| 15 | |||
| 16 | # Support for SMP |
||
| 17 | CONFIG_SMP = y |
||
| 18 | |||
| 19 | # Lazy FPU context switching |
||
| 20 | CONFIG_FPU_LAZY = y |
||
| 21 | |||
| 22 | # Use VHPT |
||
| 23 | CONFIG_VHPT = n |
||
| 24 | |||
| 25 | # Support for NS16550 serial port |
||
| 26 | CONFIG_NS16550 = y |
||
| 27 | |||
| 28 | # IOSapic on default address support |
||
| 29 | CONFIG_IOSAPIC = y |
||
| 30 | |||
| 31 | # Interrupt-driven driver for NS16550? |
||
| 32 | CONFIG_NS16550_INTERRUPT_DRIVEN = y |
||
| 33 | |||
| 34 | # Support for userspace debuggers |
||
| 35 | CONFIG_UDEBUG = n |
||
| 36 | |||
| 37 | # Kernel console support |
||
| 38 | CONFIG_KCONSOLE = y |
||
| 39 | |||
| 40 | # Detailed kernel logging |
||
| 41 | CONFIG_LOG = n |
||
| 42 | |||
| 43 | # Deadlock detection support for spinlocks |
||
| 44 | CONFIG_DEBUG_SPINLOCK = y |
||
| 45 | |||
| 46 | # Compile kernel tests |
||
| 47 | CONFIG_TEST = y |