Merge as_t structure into one and leave the differring parts in as_genarch_t.
[helenos.git] / kernel / kernel.config
blobddbba5bc011928d308c108655da47201672483b2
1 ## General configuration directives
3 # Architecture
4 @ "amd64" AMD64/Intel EM64T
5 @ "ia32" Intel IA-32
6 @ "ia32xen" Intel IA-32 on Xen hypervisor
7 @ "ia64" Intel IA-64
8 @ "mips32" MIPS 32-bit
9 @ "ppc32" PowerPC 32-bit
10 @ "ppc64" PowerPC 64-bit
11 @ "sparc64" Sun UltraSPARC 64-bit
12 ! ARCH (choice)
14 # Compiler
15 @ "cross" Cross-compiler
16 @ "native" Native
17 ! COMPILER (choice)
19 # CPU type
20 @ "pentium4" Pentium 4
21 @ "pentium3" Pentium 3
22 @ "athlon-xp" Athlon XP
23 @ "athlon-mp" Athlon MP
24 @ "prescott" Prescott
25 ! [ARCH=ia32|ARCH=ia32xen] MACHINE (choice)
27 # CPU type
28 @ "opteron" Opteron
29 ! [ARCH=amd64] MACHINE (choice)
31 # Machine type
32 @ "msim" MSIM Simulator
33 @ "simics" Virtutech Simics simulator
34 @ "lgxemul" GXEmul Little Endian
35 @ "bgxemul" GXEmul Big Endian
36 @ "indy" SGI Indy
37 ! [ARCH=mips32] MACHINE (choice)
39 # Machine type
40 @ "ski" Ski ia64 simulator
41 @ "i460GX" i460GX chipset machine
42 ! [ARCH=ia64] MACHINE (choice)
45 # Framebuffer support
46 ! [(ARCH=mips32&MACHINE=lgxemul)|(ARCH=mips32&MACHINE=bgxemul)|(ARCH=ia32)|(ARCH=amd64)] CONFIG_FB (y/n)
48 # Framebuffer width
49 @ "640"
50 @ "800"
51 @ "1024"
52 @ "1152"
53 @ "1280"
54 @ "1400"
55 @ "1440"
56 @ "1600"
57 @ "2048"
58 ! [(ARCH=ia32|ARCH=amd64)&CONFIG_FB=y] CONFIG_VESA_WIDTH (choice)
60 # Framebuffer height
61 @ "480"
62 @ "600"
63 @ "768"
64 @ "852"
65 @ "900"
66 @ "960"
67 @ "1024"
68 @ "1050"
69 @ "1200"
70 @ "1536"
71 ! [(ARCH=ia32|ARCH=amd64)&CONFIG_FB=y] CONFIG_VESA_HEIGHT (choice)
73 # Framebuffer depth
74 @ "8"
75 @ "16"
76 @ "24"
77 ! [(ARCH=ia32|ARCH=amd64)&CONFIG_FB=y] CONFIG_VESA_BPP (choice)
79 # Support for SMP
80 ! [ARCH=ia32|ARCH=amd64|ARCH=ia32xen|ARCH=sparc64] CONFIG_SMP (y/n)
82 # Improved support for hyperthreading
83 ! [(ARCH=ia32|ARCH=amd64|ARCH=ia32xen)&CONFIG_SMP=y] CONFIG_HT (y/n)
85 # Simics BIOS AP boot fix
86 ! [(ARCH=ia32|ARCH=amd64)&CONFIG_SMP=y] CONFIG_SIMICS_FIX (y/n)
88 # Lazy FPU context switching
89 ! [(ARCH=mips32&MACHINE!=msim&MACHINE!=simics)|ARCH=amd64|ARCH=ia32|ARCH=ia64|ARCH=sparc64|ARCH=ia32xen] CONFIG_FPU_LAZY (y/n)
91 # Power off on halt
92 ! [ARCH=ppc32] CONFIG_POWEROFF (n/y)
94 # Use VHPT
95 ! [ARCH=ia64] CONFIG_VHPT (n/y)
97 # Use TSB
98 ! [ARCH=sparc64] CONFIG_TSB (y/n)
100 # Support for Z8530 serial port
101 ! [ARCH=sparc64] CONFIG_Z8530 (y/n)
103 # Support for NS16550 serial port
104 ! [ARCH=sparc64] CONFIG_NS16550 (y/n)
106 # Virtually indexed D-cache support
107 ! [ARCH=sparc64] CONFIG_VIRT_IDX_DCACHE (y/n)
110 ## Debugging configuration directives
112 # General debuging and assert checking
113 ! CONFIG_DEBUG (y/n)
115 # Deadlock detection support for spinlocks
116 ! [CONFIG_DEBUG=y&CONFIG_SMP=y] CONFIG_DEBUG_SPINLOCK (y/n)
118 # Watchpoint on rewriting AS with zero
119 ! [CONFIG_DEBUG=y&(ARCH=amd64|ARCH=ia32|ARCH=ia32xen)] CONFIG_DEBUG_AS_WATCHPOINT (y/n)
121 # Save all interrupt registers
122 ! [CONFIG_DEBUG=y&(ARCH=amd64|ARCH=mips32|ARCH=ia32|ARCH=ia32xen)] CONFIG_DEBUG_ALLREGS (y/n)
125 ## Run-time configuration directives
127 # Compile kernel tests
128 ! CONFIG_TEST (y/n)