Subversion Repositories HelenOS

Rev

Rev 4402 | Only display areas with differences | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 4402 Rev 4662
1
# Platform
1
# Platform
2
PLATFORM = amd64
2
PLATFORM = amd64
3
 
3
 
4
# Ramdisk format
4
# Ramdisk format
5
RDFMT = fat
5
RDFMT = fat
6
 
6
 
7
# Compiler
7
# Compiler
8
COMPILER = gcc_cross
8
COMPILER = gcc_cross
9
 
9
 
10
# Debug build
10
# Debug build
11
CONFIG_DEBUG = y
11
CONFIG_DEBUG = y
12
 
12
 
13
# Deadlock detection support for spinlocks
13
# Deadlock detection support for spinlocks
14
CONFIG_DEBUG_SPINLOCK = y
14
CONFIG_DEBUG_SPINLOCK = y
15
 
15
 
16
# Support for SMP
16
# Support for SMP
17
CONFIG_SMP = y
17
CONFIG_SMP = y
18
 
18
 
19
# Lazy FPU context switching
19
# Lazy FPU context switching
20
CONFIG_FPU_LAZY = y
20
CONFIG_FPU_LAZY = y
21
 
21
 
22
# Support for userspace debuggers
22
# Support for userspace debuggers
23
CONFIG_UDEBUG = y
23
CONFIG_UDEBUG = y
24
 
24
 
25
# Kernel console support
25
# Kernel console support
26
CONFIG_KCONSOLE = y
26
CONFIG_KCONSOLE = y
27
 
27
 
28
# Kernel symbol information
28
# Kernel symbol information
29
CONFIG_SYMTAB = y
29
CONFIG_SYMTAB = y
30
 
30
 
31
# Detailed kernel logging
31
# Detailed kernel logging
32
CONFIG_LOG = n
32
CONFIG_LOG = n
33
 
33
 
34
# Compile kernel tests
34
# Compile kernel tests
35
CONFIG_TEST = y
35
CONFIG_TEST = y
36
 
36
 
37
# Input device class
37
# Input device class
38
CONFIG_HID_IN = generic
38
CONFIG_HID_IN = generic
39
 
39
 
40
# Output device class
40
# Output device class
41
CONFIG_HID_OUT = generic
41
CONFIG_HID_OUT = generic
42
 
42
 
43
# PC keyboard support
43
# PC keyboard support
44
CONFIG_PC_KBD = y
44
CONFIG_PC_KBD = y
45
 
45
 
46
# EGA support
46
# EGA support
47
CONFIG_EGA = y
47
CONFIG_EGA = y
48
 
48
 
49
# Framebuffer support
49
# Framebuffer support
50
CONFIG_FB = y
50
CONFIG_FB = y
51
 
51
 
52
# Default framebuffer mode
52
# Default framebuffer mode
53
CONFIG_VESA_MODE = 800x600
53
CONFIG_VESA_MODE = 800x600
54
 
54
 
55
# Default framebuffer depth
55
# Default framebuffer depth
56
CONFIG_VESA_BPP = 16
56
CONFIG_VESA_BPP = 16
-
 
57
 
-
 
58
# Load disk drivers on startup
-
 
59
CONFIG_START_BD = n
-
 
60
 
-
 
61
# Mount /data on startup
-
 
62
CONFIG_MOUNT_DATA = n
57
 
63