-
Notifications
You must be signed in to change notification settings - Fork 3
/
.config.old
145 lines (135 loc) · 3.26 KB
/
.config.old
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
#
# Automatically generated make config: don't edit
# Project Configuration
# Mon Feb 12 23:03:44 2018
#
#
# seL4 Kernel
#
# CONFIG_ARCH_ARM_V6 is not set
CONFIG_ARCH_ARM_V7A=y
CONFIG_KERNEL_STABLE=y
CONFIG_WORD_SIZE=32
#
# seL4 System
#
# CONFIG_ARCH_X86 is not set
CONFIG_ARCH_ARM=y
# CONFIG_ARM1136JF_S is not set
# CONFIG_ARM_CORTEX_A8 is not set
CONFIG_ARM_CORTEX_A9=y
# CONFIG_ARM_CORTEX_A15 is not set
# CONFIG_PLAT_EXYNOS54XX is not set
# CONFIG_PLAT_EXYNOS4 is not set
CONFIG_PLAT_IMX6=y
# CONFIG_PLAT_ZYNQ7000 is not set
# CONFIG_EXPORT_PMU_USER is not set
#
# seL4 System Parameters
#
CONFIG_ROOT_CNODE_SIZE_BITS=12
CONFIG_TIMER_TICK_MS=20
CONFIG_TIME_SLICE=5
CONFIG_RETYPE_FAN_OUT_LIMIT=256
CONFIG_MAX_NUM_WORK_UNITS_PER_PREEMPTION=100
CONFIG_MAX_NUM_BOOTINFO_UNTYPED_CAPS=800
CONFIG_FASTPATH=y
CONFIG_NUM_DOMAINS=1
CONFIG_DOMAIN_SCHEDULE=""
CONFIG_NUM_PRIORITIES=256
CONFIG_BENCHMARK=y
CONFIG_AEP_BINDING=y
# CONFIG_ALLOW_NULL_CSPACE is not set
#
# Build Options
#
CONFIG_DEBUG_BUILD=y
# CONFIG_RELEASE_PRINTF is not set
# CONFIG_RELEASE_BUILD is not set
CONFIG_IRQ_REPORTING=y
# CONFIG_OPTIMISATION_Os is not set
# CONFIG_OPTIMISATION_O0 is not set
# CONFIG_OPTIMISATION_O1 is not set
# CONFIG_OPTIMISATION_O2 is not set
CONFIG_OPTIMISATION_O3=y
# CONFIG_DANGEROUS_CODE_INJECTION is not set
# CONFIG_DEBUG_DISABLE_L2_CACHE is not set
# CONFIG_DEBUG_DISABLE_BRANCH_PREDICTION is not set
#
# Boot options
#
#
# Errata
#
#
# seL4 Libraries
#
CONFIG_LIB_MUSL_C=y
CONFIG_LIB_MUSL_C_USE_PREBUILT=y
CONFIG_HAVE_LIBC=y
CONFIG_LIB_SEL4=y
# CONFIG_LIB_SEL4_STUBS_USE_IPC_BUFFER_ONLY is not set
CONFIG_LIB_SEL4_CSPACE=y
CONFIG_LIB_LWIP=y
CONFIG_LIB_SERIAL=y
CONFIG_LIB_NFS=y
CONFIG_LIB_CLOCK=y
CONFIG_LIB_ELF=y
CONFIG_LIB_CPIO=y
CONFIG_LIB_ETHIF=y
CONFIG_LIB_ETHDRIVER_RX_DESC_COUNT=32
CONFIG_LIB_ETHDRIVER_TX_DESC_COUNT=32
CONFIG_LIB_ETHDRIVER_NUM_PREALLOCATED_BUFFERS=512
CONFIG_LIB_ETHDRIVER_PREALLOCATED_BUF_SIZE=2048
CONFIG_LIB_UTILS=y
# CONFIG_LIB_UTILS_NO_STATIC_ASSERT is not set
CONFIG_LIB_PLATSUPPORT=y
CONFIG_LIB_SOS=y
CONFIG_LIB_SEL4_SYNC=y
#
# seL4 Applications
#
CONFIG_APP_SOS=y
# CONFIG_SOS_DHCP is not set
CONFIG_SOS_NETMASK="225.225.225.0"
CONFIG_SOS_IP="192.168.0.200"
CONFIG_SOS_GATEWAY="192.168.0.1"
CONFIG_SOS_REMOTE="192.168.0.201"
CONFIG_SOS_NFS_DIR=""
CONFIG_SOS_STARTUP_APP=""
CONFIG_APP_WEB=y
CONFIG_APP_TEMP_CONTROL=y
CONFIG_APP_ALARM=y
# CONFIG_APP_FAN is not set
# CONFIG_APP_SENSOR is not set
CONFIG_APP_PROXY=y
CONFIG_APP_PROXY_MAX_NUM_CLIENTS=16
# CONFIG_APP_PROXY_TEMP_CONTROL is not set
CONFIG_APP_PROXY_SENSOR=y
CONFIG_APP_PROXY_FAN=y
#
# Tools
#
CONFIG_LIB_ELFLOADER=y
CONFIG_ARM_ERRATA_764369=y
#
# Toolchain Options
#
CONFIG_CROSS_COMPILER_PREFIX="arm-linux-gnueabi-"
CONFIG_KERNEL_COMPILER=""
CONFIG_KERNEL_CFLAGS=""
CONFIG_KERNEL_EXTRA_CPPFLAGS=""
CONFIG_USER_DEBUG_INFO=y
CONFIG_USER_EXTRA_CFLAGS="-D_POSIX_SOURCE"
CONFIG_USER_CFLAGS=""
CONFIG_BUILDSYS_USE_CCACHE=y
# CONFIG_USER_OPTIMISATION_Os is not set
# CONFIG_USER_OPTIMISATION_O0 is not set
# CONFIG_USER_OPTIMISATION_O1 is not set
CONFIG_USER_OPTIMISATION_O2=y
# CONFIG_USER_OPTIMISATION_O3 is not set
# CONFIG_LINK_TIME_OPTIMISATIONS is not set
# CONFIG_WHOLE_PROGRAM_OPTIMISATIONS_USER is not set
# CONFIG_WHOLE_PROGRAM_OPTIMISATIONS_KERNEL is not set
CONFIG_USER_DEBUG_BUILD=y
# CONFIG_BUILDSYS_CPP_SEPARATE is not set