Subversion Repositories HelenOS-historic

Rev

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