HelenOSHelenOS-docHelenOS-historic

Català-Valencià – Catalan中文 – Chinese (Simplified)中文 – Chinese (Traditional)Česky – CzechDansk – DanishNederlands – DutchEnglish – EnglishSuomi – FinnishFrançais – FrenchDeutsch – Germanעברית – Hebrewहिंदी – HindiMagyar – HungarianBahasa Indonesia – IndonesianItaliano – Italian日本語 – Japanese한국어 – KoreanМакедонски – Macedonianमराठी – MarathiNorsk – NorwegianPolski – PolishPortuguês – PortuguesePortuguês – Portuguese (Brazil)Русский – RussianSlovenčina – SlovakSlovenščina – SlovenianEspañol – SpanishSvenska – SwedishTürkçe – TurkishУкраїнська – UkrainianOëzbekcha – Uzbek

Compare Revisions

• This comparison shows the changes necessary to convert path

  → /trunk/HelenOS.config @ 3883

  → /trunk/HelenOS.config @ 3884

  ↔ Reverse comparison

• Compare Path:	Rev

  With Path:	Rev

Ignore whitespace Rev 3883 → Rev 3884

/trunk/HelenOS.config
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
74,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
107,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=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
! [(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] CONFIG_FPU_LAZY (y/n)
! [CONFIG_FPU=y] CONFIG_FPU_LAZY (y/n)
% Use VHPT
! [PLATFORM=ia64] CONFIG_VHPT (n/y)
133,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)
145,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)
175,6 → 346,9
% 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
@ "640"
@ "800"