| 1,5 → 1,6 |
|---|
| # |
| # Copyright (c) 2006 Ondrej Palkovsky |
| # Copyright (c) 2009 Martin Decky |
| # All rights reserved. |
| # |
| # Redistribution and use in source and binary forms, with or without |
| 33,11 → 34,9 |
|---|
| @ "amd64" AMD64/Intel EM64T (PC) |
| @ "arm32" ARM 32-bit |
| @ "ia32" Intel IA-32 (PC) |
| @ "ia32xen" Intel IA-32 on Xen hypervisor |
| @ "ia64" Intel IA-64 |
| @ "mips32" MIPS 32-bit |
| @ "ppc32" PowerPC 32-bit (iMac G4) |
| @ "ppc64" PowerPC 64-bit (iMac G5) |
| @ "sparc64" Sun UltraSPARC 64-bit |
| ! PLATFORM (choice) |
| |
| 59,7 → 58,7 |
|---|
| @ "core" Core Solo/Duo |
| @ "athlon-xp" Athlon XP |
| @ "athlon-mp" Athlon MP |
| ! [PLATFORM=ia32|PLATFORM=ia32xen] MACHINE (choice) |
| ! [PLATFORM=ia32] MACHINE (choice) |
| |
| % CPU type |
| @ "opteron" Opteron |
| 76,6 → 75,134 |
|---|
| ! RDFMT (choice) |
| |
| |
| ## Mapping between platform and kernel architecture |
| |
| % Kernel architecture |
| @ "amd64" |
| ! [PLATFORM=amd64] KARCH (choice) |
| |
| % Kernel architecture |
| @ "arm32" |
| ! [PLATFORM=arm32] KARCH (choice) |
| |
| % Kernel architecture |
| @ "ia32" |
| ! [PLATFORM=ia32] KARCH (choice) |
| |
| % Kernel architecture |
| @ "ia32xen" |
| ! [PLATFORM=ia32xen] KARCH (choice) |
| |
| % Kernel architecture |
| @ "ia64" |
| ! [PLATFORM=ia64] KARCH (choice) |
| |
| % Kernel architecture |
| @ "mips32" |
| ! [PLATFORM=mips32] KARCH (choice) |
| |
| % Kernel architecture |
| @ "ppc32" |
| ! [PLATFORM=ppc32] KARCH (choice) |
| |
| % Kernel architecture |
| @ "ppc64" |
| ! [PLATFORM=ppc64] KARCH (choice) |
| |
| % Kernel architecture |
| @ "sparc64" |
| ! [PLATFORM=sparc64] KARCH (choice) |
| |
| |
| ## Mapping between platform and user space architecture |
| |
| % User space architecture |
| @ "amd64" |
| ! [PLATFORM=amd64] UARCH (choice) |
| |
| % User space architecture |
| @ "arm32" |
| ! [PLATFORM=arm32] UARCH (choice) |
| |
| % User space architecture |
| @ "ia32" |
| ! [PLATFORM=ia32|PLATFORM=ia32xen] UARCH (choice) |
| |
| % User space architecture |
| @ "ia64" |
| ! [PLATFORM=ia64] UARCH (choice) |
| |
| % User space architecture |
| @ "mips32" |
| ! [PLATFORM=mips32&(MACHINE=msim|MACHINE=simics|MACHINE=lgxemul)] UARCH (choice) |
| |
| % User space architecture |
| @ "mips32eb" |
| ! [PLATFORM=mips32&(MACHINE=bgxemul)] UARCH (choice) |
| |
| % User space architecture |
| @ "ppc32" |
| ! [PLATFORM=ppc32] UARCH (choice) |
| |
| % User space architecture |
| @ "ppc64" |
| ! [PLATFORM=ppc64] UARCH (choice) |
| |
| % User space architecture |
| @ "sparc64" |
| ! [PLATFORM=sparc64] UARCH (choice) |
| |
| |
| ## Mapping between platform and boot architecture |
| |
| % Boot architecture |
| @ "amd64" |
| ! [PLATFORM=amd64] BARCH (choice) |
| |
| % Boot architecture |
| @ "arm32" |
| ! [PLATFORM=arm32] BARCH (choice) |
| |
| % Boot architecture |
| @ "ia32" |
| ! [PLATFORM=ia32] BARCH (choice) |
| |
| % Boot architecture |
| @ "ia32xen" |
| ! [PLATFORM=ia32xen] BARCH (choice) |
| |
| % Boot architecture |
| @ "ia64" |
| ! [PLATFORM=ia64] BARCH (choice) |
| |
| % Boot architecture |
| @ "mips32" |
| ! [PLATFORM=mips32] BARCH (choice) |
| |
| % Boot architecture |
| @ "ppc32" |
| ! [PLATFORM=ppc32] BARCH (choice) |
| |
| % Boot architecture |
| @ "ppc64" |
| ! [PLATFORM=ppc64] BARCH (choice) |
| |
| % Boot architecture |
| @ "sparc64" |
| ! [PLATFORM=sparc64] BARCH (choice) |
| |
| |
| ## Mapping between platform and image format |
| |
| % Image format |
| @ "binary" |
| ! [PLATFORM=mips32&MACHINE=msim] IMAGE (choice) |
| |
| % Image format |
| @ "ecoff" |
| ! [PLATFORM=mips32&(MACHINE=simics|MACHINE=bgxemul|MACHINE=lgxemul)] IMAGE (choice) |
| |
| |
| ## Compiler options |
| |
| % Compiler |
| 83,7 → 210,7 |
|---|
| @ "gcc_native" GCC Native |
| @ "icc_native" ICC Native |
| @ "suncc_native" Sun Studio C Compiler |
| ! [PLATFORM=amd64|PLATFORM=ia32|PLATFORM=ia32xen] COMPILER (choice) |
| ! [PLATFORM=amd64|PLATFORM=ia32] COMPILER (choice) |
| |
| % Compiler |
| @ "gcc_cross" GCC Cross-compiler |
| 100,7 → 227,7 |
|---|
| % Compiler |
| @ "gcc_cross" GCC Cross-compiler |
| @ "gcc_native" GCC Native |
| ! [PLATFORM=arm32|PLATFORM=mips32|PLATFORM=ppc32|PLATFORM=ppc64] COMPILER (choice) |
| ! [PLATFORM=arm32|PLATFORM=mips32|PLATFORM=ppc32] COMPILER (choice) |
| |
| |
| ## Debug build options |
| 109,19 → 236,61 |
|---|
| ! CONFIG_DEBUG (y/n) |
| |
| |
| ## Kernel configuration |
| |
| % Fences |
| ! [PLATFORM=ia32&(MACHINE=athlon-xp|MACHINE=athlon-mp|MACHINE=pentium3)] CONFIG_FENCES_P3 (y) |
| |
| % Fences |
| ! [(PLATFORM=ia32&(MACHINE=pentium4|MACHINE=core))|PLATFORM=amd64] CONFIG_FENCES_P4 (y) |
| |
| % ACPI support |
| ! [PLATFORM=ia32|PLATFORM=amd64] CONFIG_ACPI (y) |
| |
| % Hierarchical page tables support |
| ! [PLATFORM=ia32|PLATFORM=amd64|PLATFORM=arm32|PLATFORM=mips32|PLATFORM=ppc32] CONFIG_PAGE_PT (y) |
| |
| % Page hash table support |
| ! [PLATFORM=ia64|PLATFORM=sparc64] CONFIG_PAGE_HT (y) |
| |
| % i8042 controller support |
| ! [PLATFORM=ia32|PLATFORM=amd64|(PLATFORM=ia64&MACHINE=i460GX)] CONFIG_I8042 (y) |
| |
| % Sun keyboard support |
| ! [PLATFORM=sparc64] CONFIG_SUN_KBD (y) |
| |
| % EGA support |
| ! [PLATFORM=ia32|PLATFORM=amd64|(PLATFORM=ia64&MACHINE=i460GX)] CONFIG_EGA (y) |
| |
| % Software integer division support |
| ! [PLATFORM=ia32|PLATFORM=arm32|PLATFORM=ia64|PLATFORM=mips32|PLATFORM=ppc32] CONFIG_SOFTINT (y) |
| |
| % ASID support |
| ! [PLATFORM=ia64|PLATFORM=mips32|PLATFORM=ppc32|PLATFORM=sparc64] CONFIG_ASID (y) |
| |
| % ASID FIFO support |
| ! [PLATFORM=ia64|PLATFORM=mips32|PLATFORM=ppc32|PLATFORM=sparc64] CONFIG_ASID_FIFO (y) |
| |
| % OpenFirmware tree support |
| ! [PLATFORM=sparc64] CONFIG_OFW_TREE (y) |
| |
| % FPU support |
| ! [PLATFORM=ia32|PLATFORM=amd64|PLATFORM=ia64|PLATFORM=sparc64|(PLATFORM=mips32&(MACHINE=lgxemul|MACHINE=bgxemul))] CONFIG_FPU (y) |
| |
| |
| ## Kernel features options |
| |
| % Support for SMP |
| ! [PLATFORM=ia32|PLATFORM=amd64|PLATFORM=ia32xen|PLATFORM=sparc64|PLATFORM=ia64] CONFIG_SMP (y/n) |
| ! [(PLATFORM=ia32&MACHINE!=athlon-xp)|PLATFORM=amd64|PLATFORM=sparc64|PLATFORM=ia64] CONFIG_SMP (y/n) |
| |
| % Improved support for hyperthreading |
| ! [(PLATFORM=ia32|PLATFORM=amd64|PLATFORM=ia32xen)&CONFIG_SMP=y] CONFIG_HT (y/n) |
| ! [((PLATFORM=ia32&MACHINE!=athlon-xp&MACHINE!=athlon-mp&MACHINE!=pentium3)|PLATFORM=amd64)&CONFIG_SMP=y] CONFIG_HT (y/n) |
| |
| % Simics BIOS AP boot fix |
| ! [(PLATFORM=ia32|PLATFORM=amd64)&CONFIG_SMP=y] CONFIG_SIMICS_FIX (y/n) |
| |
| % Lazy FPU context switching |
| ! [(PLATFORM=mips32&MACHINE!=msim&MACHINE!=simics)|PLATFORM=amd64|PLATFORM=ia32|PLATFORM=ia64|PLATFORM=sparc64|PLATFORM=ia32xen] CONFIG_FPU_LAZY (y/n) |
| ! [CONFIG_FPU=y] CONFIG_FPU_LAZY (y/n) |
| |
| % Use VHPT |
| ! [PLATFORM=ia64] CONFIG_VHPT (n/y) |
| 135,9 → 304,6 |
|---|
| % Support for NS16550 serial port |
| ! [PLATFORM=sparc64|(PLATFORM=ia64&MACHINE!=ski)] CONFIG_NS16550 (n/y) |
| |
| % Support for Serengeti console |
| ! [PLATFORM=sparc64] CONFIG_SGCN (y/n) |
| |
| % IOSapic on default address support |
| ! [PLATFORM=ia64&MACHINE!=ski] CONFIG_IOSAPIC (y/n) |
| |
| 147,6 → 313,9 |
|---|
| % Interrupt-driven driver for NS16550 |
| ! [CONFIG_NS16550=y&((PLATFORM!=ia64)|CONFIG_IOSAPIC=y)&MACHINE!=ski] CONFIG_NS16550_INTERRUPT_DRIVEN (y/n) |
| |
| % Support for Serengeti console |
| ! [PLATFORM=sparc64] CONFIG_SGCN (y/n) |
| |
| % Virtually indexed D-cache support |
| ! [PLATFORM=sparc64] CONFIG_VIRT_IDX_DCACHE (y/n) |
| |
| 163,10 → 332,10 |
|---|
| ! [CONFIG_DEBUG=y&CONFIG_SMP=y] CONFIG_DEBUG_SPINLOCK (y/n) |
| |
| % Watchpoint on rewriting AS with zero |
| ! [CONFIG_DEBUG=y&(PLATFORM=amd64|PLATFORM=ia32|PLATFORM=ia32xen)] CONFIG_DEBUG_AS_WATCHPOINT (y/n) |
| ! [CONFIG_DEBUG=y&(PLATFORM=amd64|PLATFORM=ia32)] CONFIG_DEBUG_AS_WATCHPOINT (y/n) |
| |
| % Save all interrupt registers |
| ! [CONFIG_DEBUG=y&(PLATFORM=amd64|PLATFORM=mips32|PLATFORM=ia32|PLATFORM=ia32xen)] CONFIG_DEBUG_ALLREGS (y/n) |
| ! [CONFIG_DEBUG=y&(PLATFORM=amd64|PLATFORM=mips32|PLATFORM=ia32)] CONFIG_DEBUG_ALLREGS (y/n) |
| |
| % Compile kernel tests |
| ! CONFIG_TEST (y/n) |
| 175,8 → 344,11 |
|---|
| ## Hardware support |
| |
| % Framebuffer support |
| ! [(PLATFORM=mips32&MACHINE=lgxemul)|(PLATFORM=mips32&MACHINE=bgxemul)|(PLATFORM=ia32)|(PLATFORM=amd64)|(PLATFORM=arm32)] CONFIG_FB (y/n) |
| ! [(PLATFORM=mips32&MACHINE=lgxemul)|(PLATFORM=mips32&MACHINE=bgxemul)|(PLATFORM=ia32)|(PLATFORM=amd64)|(PLATFORM=arm32)|(PLATFORM=sparc64&MACHINE=us3)] CONFIG_FB (y/n) |
| |
| % Framebuffer support |
| ! [PLATFORM=ppc32|(PLATFORM=sparc64&MACHINE=us)] CONFIG_FB (y) |
| |
| % Framebuffer width |
| @ "640" |
| @ "800" |