Subversion Repositories HelenOS

## General configuration directives

# Architecture

@ "amd64" AMD64/Intel EM64T

@ "ia32" Intel IA-32

@ "ia32xen" Intel IA-32 on Xen hypervisor

@ "ia64" Intel IA-64

@ "mips32" MIPS 32-bit

@ "ppc32" PowerPC 32-bit

@ "ppc64" PowerPC 64-bit

@ "sparc64" Sun UltraSPARC 64-bit

! ARCH (choice)

# Compiler

@ "cross" Cross-compiler

@ "native" Native

! COMPILER (choice)

# CPU type

@ "pentium4" Pentium 4

@ "pentium3" Pentium 3

@ "athlon-xp" Athlon XP

@ "athlon-mp" Athlon MP

@ "prescott" Prescott

! [ARCH=ia32|ARCH=ia32xen] MACHINE (choice)

# CPU type

@ "opteron" Opteron

! [ARCH=amd64] MACHINE (choice)

# Machine type

@ "msim" MSIM Simulator

@ "simics" Virtutech Simics simulator

@ "lgxemul" GXEmul Little Endian

@ "bgxemul" GXEmul Big Endian

@ "indy" SGI Indy

! [ARCH=mips32] MACHINE (choice)

# Framebuffer support

! [(ARCH=mips32&MACHINE=lgxemul)|(ARCH=mips32&MACHINE=bgxemul)|(ARCH=ia32)|(ARCH=amd64)] CONFIG_FB (y/n)

# Framebuffer width

@ "640"

@ "800"

@ "1024"

@ "1152"

@ "1280"

@ "1400"

@ "1440"

@ "1600"

@ "2048"

! [(ARCH=ia32|ARCH=amd64)&CONFIG_FB=y] CONFIG_VESA_WIDTH (choice)

# Framebuffer height

@ "480"

@ "600"

@ "768"

@ "852"

@ "900"

@ "960"

@ "1024"

@ "1050"

@ "1200"

@ "1536"

! [(ARCH=ia32|ARCH=amd64)&CONFIG_FB=y] CONFIG_VESA_HEIGHT (choice)

# Framebuffer depth

@ "8"

@ "16"

@ "24"

! [(ARCH=ia32|ARCH=amd64)&CONFIG_FB=y] CONFIG_VESA_BPP (choice)

# Support for SMP

! [ARCH=ia32|ARCH=amd64|ARCH=ia32xen|ARCH=sparc64] CONFIG_SMP (y/n)

# Improved support for hyperthreading

! [(ARCH=ia32|ARCH=amd64|ARCH=ia32xen)&CONFIG_SMP=y] CONFIG_HT (y/n)

# Simics BIOS AP boot fix

! [(ARCH=ia32|ARCH=amd64)&CONFIG_SMP=y] CONFIG_SIMICS_FIX (y/n)

# Lazy FPU context switching

! [(ARCH=mips32&MACHINE!=msim&MACHINE!=simics)|ARCH=amd64|ARCH=ia32|ARCH=ia64|ARCH=sparc64|ARCH=ia32xen] CONFIG_FPU_LAZY (y/n)

# Power off on halt

! [ARCH=ppc32] CONFIG_POWEROFF (n/y)

# Use VHPT

! [ARCH=ia64] CONFIG_VHPT (n/y)

# Use TSB

! [ARCH=sparc64] CONFIG_TSB (y/n)

# Support for Z8530 serial port

! [ARCH=sparc64] CONFIG_Z8530 (y/n)

# Support for NS16550 serial port

! [ARCH=sparc64] CONFIG_NS16550 (y/n)

# Virtually indexed D-cache support

! [ARCH=sparc64] CONFIG_VIRT_IDX_DCACHE (y/n)

## Debugging configuration directives

# General debuging and assert checking

! CONFIG_DEBUG (y/n)

# Deadlock detection support for spinlocks

! [CONFIG_DEBUG=y&CONFIG_SMP=y] CONFIG_DEBUG_SPINLOCK (y/n)

# Watchpoint on rewriting AS with zero

! [CONFIG_DEBUG=y&(ARCH=amd64|ARCH=ia32|ARCH=ia32xen)] CONFIG_DEBUG_AS_WATCHPOINT (y/n)

# Save all interrupt registers

! [CONFIG_DEBUG=y&(ARCH=amd64|ARCH=mips32|ARCH=ia32|ARCH=ia32xen)] CONFIG_DEBUG_ALLREGS (y/n)

## Run-time configuration directives

# Compile kernel tests

! CONFIG_TEST (y/n)

# Benchmark tests

! [CONFIG_TEST=y] CONFIG_BENCH (y/n)