Subversion Repositories HelenOS-historic

Rev

Rev 549 | Rev 551 | 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
4
@ "ia32" Intel IA32
5
@ "amd64" Intel ET64/AMD64
6
@ "ia64" Intel IA64
7
@ "mips32" MIPS 32-bit
8
@ "ppc32" PowerPC 32-bit
9
@ "sparc64" Sun UltraSparc 64-bit
10
! ARCH (choice)
11
 
12
%ASKDEFAULT
13
 
14
# IA32 Compiler
15
@ "cross" Cross-compiler
16
@ "native" Native
17
! [ARCH=ia32] IA32_COMPILER (choice)
18
% [ARCH=ia32] SAVEAS IA32_COMPILER COMPILER
19
 
20
# AMD64 Compiler
21
@ "cross" Cross-compiler
22
@ "native" Native
23
! [ARCH=amd64] AMD64_COMPILER (choice)
24
% [ARCH=amd64] SAVEAS AMD64_COMPILER COMPILER
25
 
26
# Compiler
27
@ "cross" Cross-compiler
28
@ "native" Native
29
! [(ARCH!=amd64)&(ARCH!=ia32)] OTHER_COMPILER (choice)
30
% [(ARCH!=amd64)&(ARCH!=ia32)] SAVEAS OTHER_COMPILER COMPILER
31
 
32
 
33
# CPU type
34
@ "pentium4" Pentium 4
35
@ "pentium3" Pentium 3
36
@ "athlon-xp" Athlon XP
37
@ "athlon-mp" Athlon MP
38
@ "prescott" Prescott
39
! [ARCH=ia32] IA32_CPU (choice)
40
 
549 palkovsky 41
# Support for SMP
545 palkovsky 42
! CONFIG_SMP (y/n)
328 jermar 43
 
545 palkovsky 44
# Improved support for hyperthreading
550 palkovsky 45
! [(ARCH=ia32|ARCH=amd64)&CONFIG_SMP=y] CONFIG_HT (y/n)
545 palkovsky 46
 
549 palkovsky 47
# Lazy FPU context switching
545 palkovsky 48
! CONFIG_FPU_LAZY (y/n)
49
 
550 palkovsky 50
# MIPS Machine Type
51
@ "msim" MSIM Simulator
52
@ "msim4kc" MSIM Simulator with 4kc instruction set
53
@ "simics" Virtutech Simics simulator
54
@ "lgxemul" GXEmul Little Endian
55
@ "bgxemul" GXEmul Big Endian
56
@ "indy" SGI Indy
57
! [ARCH=mips32] MIPS_MACHINE (choice)
58
 
452 decky 59
## Debugging configuration directives
423 decky 60
 
545 palkovsky 61
# General debuging and assert checking
62
! CONFIG_DEBUG (y/n)
459 decky 63
 
545 palkovsky 64
# Deadlock detection support for spinlocks
547 palkovsky 65
! [CONFIG_DEBUG=y] CONFIG_DEBUG_SPINLOCK (y/n)
545 palkovsky 66
 
459 decky 67
## Run-time configuration directives
68
 
545 palkovsky 69
# Enable user space support
70
! CONFIG_USERSPACE (n/y)
71
 
72
# Kernel test type
73
@ "" No test
74
@ "synch/rwlock1" Read write test 1
75
@ "synch/rwlock2" Read write test 2
76
@ "synch/rwlock3" Read write test 3
77
@ "synch/rwlock4" Read write test 4
78
@ "synch/rwlock5" Read write test 5
79
@ "synch/semaphore1" Semaphore test 1
80
@ "synch/semaphore2" Sempahore test 2
547 palkovsky 81
@ [ARCH=ia32|ARCH=amd64] "fpu/fpu1" Intel fpu test 1
82
@ [ARCH=ia32|ARCH=amd64] "fpu/sse1" Intel Sse test 1
83
@ [ARCH=mips] "fpu/mips1" Mips FPU test 1
545 palkovsky 84
@ "print/print1" Printf test 1
85
@ "thread/trhead1" Thread test 1
548 jermar 86
@ "mm/mapping1" Mapping test 1
545 palkovsky 87
! CONFIG_TEST (choice)