-
Notifications
You must be signed in to change notification settings - Fork 1
/
.config
151 lines (138 loc) · 3.73 KB
/
.config
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
#
# Automatically generated make config: don't edit
#Nautilus:
# Sun Sep 9 10:52:13 2018
#
#
# Platform
#
NAUT_CONFIG_X86_64_HOST=y
# NAUT_CONFIG_XEON_PHI is not set
# NAUT_CONFIG_HVM_HRT is not set
# NAUT_CONFIG_GEM5 is not set
NAUT_CONFIG_MAX_CPUS=256
NAUT_CONFIG_MAX_IOAPICS=16
# NAUT_CONFIG_PALACIOS is not set
#
# Build
#
NAUT_CONFIG_USE_NAUT_BUILTINS=y
# NAUT_CONFIG_CXX_SUPPORT is not set
NAUT_CONFIG_TOOLCHAIN_ROOT=""
#
# Configuration
#
NAUT_CONFIG_MAX_THREADS=1024
NAUT_CONFIG_THREAD_EXIT_KEYCODE=196
# NAUT_CONFIG_USE_TICKETLOCKS is not set
# NAUT_CONFIG_VIRTUAL_CONSOLE_CHARDEV_CONSOLE is not set
NAUT_CONFIG_VIRTUAL_CONSOLE_SERIAL_MIRROR=y
NAUT_CONFIG_VIRTUAL_CONSOLE_SERIAL_MIRROR_ALL=y
#
# Scheduler Options
#
NAUT_CONFIG_UTILIZATION_LIMIT=99
NAUT_CONFIG_SPORADIC_RESERVATION=10
NAUT_CONFIG_APERIODIC_RESERVATION=10
NAUT_CONFIG_HZ=10
NAUT_CONFIG_INTERRUPT_REINJECTION_DELAY_NS=10000
# NAUT_CONFIG_AUTO_REAP is not set
# NAUT_CONFIG_WORK_STEALING is not set
# NAUT_CONFIG_TASK_IN_SCHED is not set
# NAUT_CONFIG_TASK_THREAD is not set
# NAUT_CONFIG_TASK_IN_IDLE is not set
# NAUT_CONFIG_INTERRUPT_THREAD is not set
# NAUT_CONFIG_APERIODIC_DYNAMIC_QUANTUM is not set
# NAUT_CONFIG_APERIODIC_DYNAMIC_LIFETIME is not set
# NAUT_CONFIG_APERIODIC_LOTTERY is not set
NAUT_CONFIG_APERIODIC_ROUND_ROBIN=y
# NAUT_CONFIG_REAL_MODE_INTERFACE is not set
# NAUT_CONFIG_ISOCORE is not set
# NAUT_CONFIG_CACHEPART is not set
#
# Garbage Collection Options
#
# NAUT_CONFIG_GARBAGE_COLLECTION is not set
#
# Optimizations
#
NAUT_CONFIG_FPU_SAVE=y
# NAUT_CONFIG_KICK_SCHEDULE is not set
# NAUT_CONFIG_HALT_WHILE_IDLE is not set
# NAUT_CONFIG_THREAD_OPTIMIZE is not set
#
# Debugging
#
NAUT_CONFIG_DEBUG_INFO=y
NAUT_CONFIG_DEBUG_PRINTS=y
NAUT_CONFIG_ENABLE_ASSERTS=y
# NAUT_CONFIG_PROFILE is not set
# NAUT_CONFIG_SILENCE_UNDEF_ERR is not set
# NAUT_CONFIG_ENABLE_STACK_CHECK is not set
# NAUT_CONFIG_ENABLE_REMOTE_DEBUGGING is not set
# NAUT_CONFIG_DEBUG_PAGING is not set
# NAUT_CONFIG_DEBUG_BOOTMEM is not set
# NAUT_CONFIG_DEBUG_BUDDY is not set
# NAUT_CONFIG_DEBUG_KMEM is not set
# NAUT_CONFIG_DEBUG_FPU is not set
# NAUT_CONFIG_DEBUG_SMP is not set
# NAUT_CONFIG_DEBUG_SFI is not set
# NAUT_CONFIG_DEBUG_CXX is not set
# NAUT_CONFIG_DEBUG_THREADS is not set
# NAUT_CONFIG_DEBUG_GROUP is not set
# NAUT_CONFIG_DEBUG_SCHED is not set
# NAUT_CONFIG_DEBUG_GROUP_SCHED is not set
# NAUT_CONFIG_DEBUG_TIMERS is not set
# NAUT_CONFIG_DEBUG_SEMAPHORES is not set
# NAUT_CONFIG_DEBUG_MSG_QUEUES is not set
# NAUT_CONFIG_DEBUG_SYNCH is not set
# NAUT_CONFIG_DEBUG_BARRIER is not set
# NAUT_CONFIG_DEBUG_NUMA is not set
# NAUT_CONFIG_DEBUG_VIRTUAL_CONSOLE is not set
# NAUT_CONFIG_DEBUG_DEV is not set
# NAUT_CONFIG_DEBUG_FILESYSTEM is not set
# NAUT_CONFIG_DEBUG_LOADER is not set
# NAUT_CONFIG_DEBUG_PMC is not set
#
# Runtimes
#
# NAUT_CONFIG_NESL_RT is not set
# NAUT_CONFIG_OMP_RT is not set
# NAUT_CONFIG_RACKET_RT is not set
NAUT_CONFIG_APP=y
#
# Devices
#
#
# Serial Options
#
NAUT_CONFIG_SERIAL_REDIRECT=y
NAUT_CONFIG_SERIAL_REDIRECT_PORT=2
# NAUT_CONFIG_APIC_FORCE_XAPIC_MODE is not set
# NAUT_CONFIG_APIC_TIMER_CALIBRATE_INDEPENDENTLY is not set
# NAUT_CONFIG_DEBUG_APIC is not set
# NAUT_CONFIG_DEBUG_IOAPIC is not set
# NAUT_CONFIG_DEBUG_PCI is not set
NAUT_CONFIG_DISABLE_PS2_MOUSE=y
NAUT_CONFIG_DEBUG_PS2=y
# NAUT_CONFIG_GPIO is not set
# NAUT_CONFIG_DEBUG_PIT is not set
# NAUT_CONFIG_HPET is not set
# NAUT_CONFIG_VIRTIO_PCI is not set
# NAUT_CONFIG_E1000_PCI is not set
# NAUT_CONFIG_RAMDISK is not set
# NAUT_CONFIG_ATA is not set
#
# Filesystems
#
# NAUT_CONFIG_EXT2_FILESYSTEM_DRIVER is not set
# NAUT_CONFIG_FAT32_FILESYSTEM_DRIVER is not set
#
# Networking
#
# NAUT_CONFIG_NET_ETHERNET is not set
# NAUT_CONFIG_NET_COLLECTIVE is not set
#
# Languages
#
# NAUT_CONFIG_LOAD_LUA is not set