Subversion Repositories HelenOS

Rev

Rev 1160 | Rev 1231 | Go to most recent revision | Details | Compare with Previous | Last modification | View Log | RSS feed

Rev Author Line No. Line
452 decky 1
## General configuration directives
1 jermar 2
 
550 palkovsky 3
# Architecture
551 jermar 4
@ "ia32" Intel IA-32
5
@ "amd64" AMD64/Intel EM64T
6
@ "ia64" Intel IA-64
550 palkovsky 7
@ "mips32" MIPS 32-bit
8
@ "ppc32" PowerPC 32-bit
1160 decky 9
@ "ppc64" PowerPC 64-bit
551 jermar 10
@ "sparc64" Sun UltraSPARC
550 palkovsky 11
! ARCH (choice)
12
 
13
# IA32 Compiler
14
@ "cross" Cross-compiler
15
@ "native" Native
16
! [ARCH=ia32] IA32_COMPILER (choice)
17
% [ARCH=ia32] SAVEAS IA32_COMPILER COMPILER
18
 
19
# AMD64 Compiler
20
@ "cross" Cross-compiler
21
@ "native" Native
22
! [ARCH=amd64] AMD64_COMPILER (choice)
23
% [ARCH=amd64] SAVEAS AMD64_COMPILER COMPILER
24
 
25
# Compiler
26
@ "cross" Cross-compiler
27
@ "native" Native
28
! [(ARCH!=amd64)&(ARCH!=ia32)] OTHER_COMPILER (choice)
29
% [(ARCH!=amd64)&(ARCH!=ia32)] SAVEAS OTHER_COMPILER COMPILER
30
 
31
 
32
# CPU type
33
@ "pentium4" Pentium 4
34
@ "pentium3" Pentium 3
35
@ "athlon-xp" Athlon XP
36
@ "athlon-mp" Athlon MP
37
@ "prescott" Prescott
38
! [ARCH=ia32] IA32_CPU (choice)
39
 
40
# MIPS Machine Type
41
@ "msim" MSIM Simulator
42
@ "simics" Virtutech Simics simulator
43
@ "lgxemul" GXEmul Little Endian
44
@ "bgxemul" GXEmul Big Endian
45
@ "indy" SGI Indy
46
! [ARCH=mips32] MIPS_MACHINE (choice)
47
 
836 palkovsky 48
# Framebuffer support
843 palkovsky 49
! [(ARCH=mips32&MIPS_MACHINE=lgxemul)|(ARCH=mips32&MIPS_MACHINE=bgxemul)] CONFIG_FB (y/n)
836 palkovsky 50
 
568 palkovsky 51
# Support for SMP
52
! [ARCH=ia32|ARCH=amd64] CONFIG_SMP (y/n)
53
 
54
# Improved support for hyperthreading
55
! [(ARCH=ia32|ARCH=amd64)&CONFIG_SMP=y] CONFIG_HT (y/n)
56
 
778 palkovsky 57
# Simics BIOS AP boot fix
58
! [(ARCH=ia32|ARCH=amd64)&CONFIG_SMP=y] CONFIG_SIMICS_FIX (y/n)
59
 
568 palkovsky 60
# Lazy FPU context switching
1023 vana 61
! [(ARCH=mips32&MIPS_MACHINE!=msim&MIPS_MACHINE!=simics)|ARCH=amd64|ARCH=ia32|ARCH=ia64] CONFIG_FPU_LAZY (y/n)
568 palkovsky 62
 
1004 decky 63
# Power off on halt
64
! [ARCH=ppc32] CONFIG_POWEROFF (y/n)
65
 
452 decky 66
## Debugging configuration directives
423 decky 67
 
545 palkovsky 68
# General debuging and assert checking
69
! CONFIG_DEBUG (y/n)
459 decky 70
 
545 palkovsky 71
# Deadlock detection support for spinlocks
626 palkovsky 72
! [CONFIG_DEBUG=y&CONFIG_SMP=y] CONFIG_DEBUG_SPINLOCK (y/n)
545 palkovsky 73
 
1072 palkovsky 74
# Watchpoint on rewriting AS with zero
1074 palkovsky 75
! [CONFIG_DEBUG=y&(ARCH=amd64|ARCH=ia32)] CONFIG_DEBUG_AS_WATCHPOINT (y/n)
1072 palkovsky 76
 
1094 palkovsky 77
# Save all interrupt registers
1100 palkovsky 78
! [CONFIG_DEBUG=y&(ARCH=amd64|ARCH=mips32|ARCH=ia32)] CONFIG_DEBUG_ALLREGS (y/n)
1094 palkovsky 79
 
1210 vana 80
# Use VHPT
81
! [ARCH=ia64] CONFIG_VHPT (y/n)
82
 
459 decky 83
## Run-time configuration directives
84
 
545 palkovsky 85
# Kernel test type
86
@ "" No test
1024 jermar 87
@ "atomic/atomic1" Test of atomic operations.
1101 jermar 88
@ "btree/btree1" B-tree test.
545 palkovsky 89
@ "synch/rwlock1" Read write test 1
90
@ "synch/rwlock2" Read write test 2
91
@ "synch/rwlock3" Read write test 3
92
@ "synch/rwlock4" Read write test 4
93
@ "synch/rwlock5" Read write test 5
94
@ "synch/semaphore1" Semaphore test 1
95
@ "synch/semaphore2" Sempahore test 2
1023 vana 96
@ [ARCH=ia32|ARCH=amd64|ARCH=ia64] "fpu/fpu1" Intel fpu test 1
547 palkovsky 97
@ [ARCH=ia32|ARCH=amd64] "fpu/sse1" Intel Sse test 1
595 palkovsky 98
@ [ARCH=mips32&MIPS_MACHINE!=msim&MIPS_MACHINE!=simics] "fpu/mips1" Mips FPU test 1
545 palkovsky 99
@ "print/print1" Printf test 1
592 palkovsky 100
@ "thread/thread1" Thread test 1
548 jermar 101
@ "mm/mapping1" Mapping test 1
689 bondari 102
@ "mm/falloc1" Frame Allocation test 1
692 bondari 103
@ "mm/falloc2" Frame Allocation test 2
767 palkovsky 104
@ "mm/slab1" SLAB test1 - No CPU-cache
105
@ "mm/slab2" SLAB test2 - SMP CPU cache
892 vana 106
@ "fault/fault1" Write to NULL (maybe page fault)
929 palkovsky 107
@ [ARCH=ia64] "mm/purge1" Itanium TLB purge test
609 palkovsky 108
@ [ARCH=mips32] "debug/mips1" Mips breakpoint-debug test 
545 palkovsky 109
! CONFIG_TEST (choice)