Subversion Repositories HelenOS-historic

Rev

Rev 550 | Rev 560 | 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 
%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)