Subversion Repositories HelenOS-historic

Rev

Rev 561 | Rev 568 | 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 
 
549 palkovsky 39 
# Support for SMP
545 palkovsky 40 
! CONFIG_SMP (y/n)
328 jermar 41 
 
545 palkovsky 42 
# Improved support for hyperthreading
550 palkovsky 43 
! [(ARCH=ia32|ARCH=amd64)&CONFIG_SMP=y] CONFIG_HT (y/n)
545 palkovsky 44 
 
549 palkovsky 45 
# Lazy FPU context switching
545 palkovsky 46 
! CONFIG_FPU_LAZY (y/n)
47 
 
550 palkovsky 48 
# MIPS Machine Type
49 
@ "msim" MSIM Simulator
50 
@ "msim4kc" MSIM Simulator with 4kc instruction set
51 
@ "simics" Virtutech Simics simulator
52 
@ "lgxemul" GXEmul Little Endian
53 
@ "bgxemul" GXEmul Big Endian
54 
@ "indy" SGI Indy
55 
! [ARCH=mips32] MIPS_MACHINE (choice)
56 
 
452 decky 57 
## Debugging configuration directives
423 decky 58 
 
545 palkovsky 59 
# General debuging and assert checking
60 
! CONFIG_DEBUG (y/n)
459 decky 61 
 
545 palkovsky 62 
# Deadlock detection support for spinlocks
547 palkovsky 63 
! [CONFIG_DEBUG=y] CONFIG_DEBUG_SPINLOCK (y/n)
545 palkovsky 64 
 
459 decky 65 
## Run-time configuration directives
66 
 
545 palkovsky 67 
# Enable user space support
68 
! CONFIG_USERSPACE (n/y)
69 
 
70 
# Kernel test type
71 
@ "" No test
72 
@ "synch/rwlock1" Read write test 1
73 
@ "synch/rwlock2" Read write test 2
74 
@ "synch/rwlock3" Read write test 3
75 
@ "synch/rwlock4" Read write test 4
76 
@ "synch/rwlock5" Read write test 5
77 
@ "synch/semaphore1" Semaphore test 1
78 
@ "synch/semaphore2" Sempahore test 2
547 palkovsky 79 
@ [ARCH=ia32|ARCH=amd64] "fpu/fpu1" Intel fpu test 1
80 
@ [ARCH=ia32|ARCH=amd64] "fpu/sse1" Intel Sse test 1
566 palkovsky 81 
@ [ARCH=mips32&MIPS_MACHINE!=msim&MIPS_MACHINE!=msim4kc] "fpu/mips1" Mips FPU test 1
545 palkovsky 82 
@ "print/print1" Printf test 1
83 
@ "thread/trhead1" Thread test 1
548 jermar 84 
@ "mm/mapping1" Mapping test 1
545 palkovsky 85 
! CONFIG_TEST (choice)