Changeset 98a4e76 in mainline for HelenOS.config

Timestamp:

2009-02-12T20:12:51Z (16 years ago)

Author:

Martin Decky <martin@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

54b2e74

Parents:

fa024ce

Message:

centralize configuration data
use a header file for passing most of the configuration directives

File:

• HelenOS.config (modified) (6 diffs)

HelenOS.config

@@ -1 +1 @@
 #
 # Copyright (c) 2006 Ondrej Palkovsky
+# Copyright (c) 2009 Martin Decky
 # All rights reserved.
 #
@@ -75 +76 @@
 
 
+## 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
 
@@ -108 +237 @@
 
 
+## 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=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)&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
@@ -120 +291 @@
 
 % Lazy FPU context switching
-! [(PLATFORM=mips32&MACHINE!=msim&MACHINE!=simics)|PLATFORM=amd64|PLATFORM=ia32|PLATFORM=ia64|PLATFORM=sparc64] CONFIG_FPU_LAZY (y/n)
+! [CONFIG_FPU=y] CONFIG_FPU_LAZY (y/n)
 
 % Use VHPT
@@ -134 +305 @@
 ! [PLATFORM=sparc64|(PLATFORM=ia64&MACHINE!=ski)] CONFIG_NS16550 (n/y)
 
+% IOSapic on default address support
+! [PLATFORM=ia64&MACHINE!=ski] CONFIG_IOSAPIC (y/n)
+
+% Interrupt-driven driver for Legacy Keyboard
+! [CONFIG_NS16550=n&CONFIG_IOSAPIC=y&MACHINE!=ski] CONFIG_I8042_INTERRUPT_DRIVEN (y/n)
+
+% 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)
 
-% IOSapic on default address support
-! [PLATFORM=ia64&MACHINE!=ski] CONFIG_IOSAPIC (y/n)
-
-% Interrupt-driven driver for Legacy Keyboard
-! [CONFIG_NS16550=n&CONFIG_IOSAPIC=y&MACHINE!=ski] CONFIG_I8042_INTERRUPT_DRIVEN (y/n)
-
-% Interrupt-driven driver for NS16550
-! [CONFIG_NS16550=y&((PLATFORM!=ia64)|CONFIG_IOSAPIC=y)&MACHINE!=ski] CONFIG_NS16550_INTERRUPT_DRIVEN (y/n)
-
 % Virtually indexed D-cache support
 ! [PLATFORM=sparc64] CONFIG_VIRT_IDX_DCACHE (y/n)
@@ -175 +346 @@
 % Framebuffer support
 ! [(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