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" |