1 | CONFIG_MUTEK_MEMALLOC_ALGO_FIRSTFIT = 'defined' |
---|
2 | CONFIG_VFS_STATS = 'undefined' |
---|
3 | CONFIG_NETWORK_SOCKET_PACKET = 'undefined' |
---|
4 | CONFIG_DRIVER_FS_FAT_RW = 'undefined' |
---|
5 | CONFIG_DRIVER_BLOCK_EMU_BLOCKSIZE = 'undefined' |
---|
6 | CONFIG_SRL_SOCLIB = 'undefined' |
---|
7 | CONFIG_DRIVER_BLOCK_EMU = 'undefined' |
---|
8 | CONFIG_CPU_RESET_ADDR = '0xbfc00000' |
---|
9 | CONFIG_ARCH_SIMPLE_HW_INIT = 'undefined' |
---|
10 | CONFIG_DRIVER_SPI = 'undefined' |
---|
11 | CONFIG_LICENSE_APP_PROPRIETARY = 'undefined' |
---|
12 | CONFIG_HET_BUILD = 'undefined' |
---|
13 | CONFIG_DEBUG = 'undefined' |
---|
14 | CONFIG_DRIVER_BLOCK_RAMDISK_SIZE = 'undefined' |
---|
15 | CONFIG_LIBCRYPTO_MD5 = 'undefined' |
---|
16 | CONFIG_DRIVER_FS_FAT = 'undefined' |
---|
17 | CONFIG_DRIVER_I2C_TWI6061A = 'undefined' |
---|
18 | CONFIG_HEXO_INTTYPES_DEPRECATED = 'undefined' |
---|
19 | CONFIG_DRIVER_BLOCK_SOCLIB = 'undefined' |
---|
20 | CONFIG_VFS_VERBOSE = 'undefined' |
---|
21 | CONFIG_CPU_X86_64_EMU = 'undefined' |
---|
22 | CONFIG_ARCH_NAME = 'soclib' |
---|
23 | CONFIG_DRIVER_NET_NE2000 = 'undefined' |
---|
24 | CONFIG_CPU_MIPS_ABI_N32 = 'undefined' |
---|
25 | CONFIG_ARCH_SIMPLE_SAM7 = 'undefined' |
---|
26 | CONFIG_DRIVER_FS_RAMFS = 'undefined' |
---|
27 | CONFIG_MUTEK_PRINTK = 'defined' |
---|
28 | CONFIG_DRIVER_ICU_MIPS = 'defined' |
---|
29 | CONFIG_MUTEK_SCHEDULER_IDLE_STACK_SIZE = '2048' |
---|
30 | CONFIG_DRIVER_ICU_8259 = 'undefined' |
---|
31 | CONFIG_PTHREAD_JOIN = 'defined' |
---|
32 | CONFIG_MUTEK_MEMALLOC_GUARD_SIZE = 'undefined' |
---|
33 | CONFIG_ROM_SIZE = '0x01000000' |
---|
34 | CONFIG_LICENSE_USE_GPL = 'undefined' |
---|
35 | CONFIG_NETWORK_AUTOALIGN = 'undefined' |
---|
36 | CONFIG_DRIVER_LCD_S1D15G00 = 'undefined' |
---|
37 | CONFIG_VMEM_KERNEL_ALLOC = 'undefined' |
---|
38 | CONFIG_ARCH_SIMPLE_OLIMEX_SAM7_EX256 = 'undefined' |
---|
39 | CONFIG_ARCH_HW_INIT = 'undefined' |
---|
40 | CONFIG_VMEM = 'undefined' |
---|
41 | CONFIG_LICENSE_APP_LGPL = 'defined' |
---|
42 | CONFIG_CPU_ARM_FPU = 'undefined' |
---|
43 | CONFIG_CPU_RESET_HANDLER = 'defined' |
---|
44 | CONFIG_DRIVER_BLOCK = 'undefined' |
---|
45 | CONFIG_CPU_USER = 'undefined' |
---|
46 | CONFIG_NETWORK_NFS = 'undefined' |
---|
47 | CONFIG_VMEM_PHYS_ALLOC = 'undefined' |
---|
48 | CONFIG_MUTEK_MEMALLOC_GUARD_INSTRUMENT = 'undefined' |
---|
49 | CONFIG_MWMR_USE_RAMLOCKS = 'undefined' |
---|
50 | CONFIG_DRIVER_NET_NE2000_FRAGMENT = 'undefined' |
---|
51 | CONFIG_CPU_CACHE_LINE = '4' |
---|
52 | CONFIG_HEXO_ARCH_MMU = 'undefined' |
---|
53 | CONFIG_DRIVER_BLOCK_CACHE_SIZE = 'undefined' |
---|
54 | CONFIG_NETWORK_SOCKET = 'undefined' |
---|
55 | CONFIG_DRIVER_CHAR_SOCLIBTTY = 'defined' |
---|
56 | CONFIG_LIBCRYPTO_CRC32_SMALL = 'undefined' |
---|
57 | CONFIG_DRIVER_BLOCK_RAMDISK_BLOCKSIZE = 'undefined' |
---|
58 | CONFIG_CPU_CACHE_COHERENCY = 'undefined' |
---|
59 | CONFIG_MUTEK_MEMALLOC_SIGNED = 'undefined' |
---|
60 | CONFIG_DRIVER_FS_DEVFS = 'undefined' |
---|
61 | CONFIG_NETWORK_PACKET_ASM = 'undefined' |
---|
62 | CONFIG_COMPILE_SIZEOF_INT = '4' |
---|
63 | CONFIG_NETWORK_FORWARDING = 'undefined' |
---|
64 | CONFIG_CLUSTER = 'undefined' |
---|
65 | CONFIG_MUTEK_MAIN = 'defined' |
---|
66 | CONFIG_UNIX_STACK_VADDR = 'undefined' |
---|
67 | CONFIG_NETWORK_SOCKET_RAW = 'undefined' |
---|
68 | CONFIG_LIBELF_DEBUG = 'undefined' |
---|
69 | CONFIG_DRIVER_FS_ISO9660 = 'undefined' |
---|
70 | CONFIG_DRIVER_I2C = 'undefined' |
---|
71 | CONFIG_ARCH_IBMPC_DMA = 'undefined' |
---|
72 | CONFIG_CPU_ENDIAN_LITTLE = 'defined' |
---|
73 | CONFIG_LIBC_SEMAPHORE = 'defined' |
---|
74 | CONFIG_UNIX_START_VADDR = 'undefined' |
---|
75 | CONFIG_ARCH_EMU = 'undefined' |
---|
76 | CONFIG_SOCLIB_MEMCHECK = 'undefined' |
---|
77 | CONFIG_DRIVER_FB = 'undefined' |
---|
78 | CONFIG_CPU_MIPS_ABI_O32 = 'defined' |
---|
79 | CONFIG_DRIVER_MEM_MEMORY = 'defined' |
---|
80 | CONFIG_DRIVER_FB_SOCLIB = 'undefined' |
---|
81 | CONFIG_ARCH_EMU_DARWIN = 'undefined' |
---|
82 | CONFIG_ROM_ADDR = '0x61100000' |
---|
83 | CONFIG_DRIVER_ENUM_ROOT = 'defined' |
---|
84 | CONFIG_DRIVER_TIMER_SOCLIB = 'undefined' |
---|
85 | CONFIG_COMPILE_FRAMEPTR = 'defined' |
---|
86 | CONFIG_LIBDSRL_DEBUG = 'undefined' |
---|
87 | CONFIG_DRIVER_CHAR_NULL = 'undefined' |
---|
88 | CONFIG_MWMR_PTHREAD = 'undefined' |
---|
89 | CONFIG_MWMR_LOCKFREE = 'undefined' |
---|
90 | CONFIG_DRIVER_FS_FAT32 = 'undefined' |
---|
91 | CONFIG_DRIVER_BLOCK_SD_MMC = 'undefined' |
---|
92 | CONFIG_NETWORK_UDP = 'undefined' |
---|
93 | CONFIG_NETWORK_IPV4 = 'undefined' |
---|
94 | CONFIG_HEXO_MMU_PAGESIZE = 'undefined' |
---|
95 | CONFIG_CPU_X86_EMU = 'undefined' |
---|
96 | CONFIG_NETWORK_DHCLIENT = 'undefined' |
---|
97 | CONFIG_CPU_CACHE = 'defined' |
---|
98 | CONFIG_LICENSE_APP_PUBLIC = 'undefined' |
---|
99 | CONFIG_LIBTERMUI = 'undefined' |
---|
100 | CONFIG_MUTEK_MEMALLOC_DEBUG = 'undefined' |
---|
101 | CONFIG_CPU_AVR_GCCMCU = 'undefined' |
---|
102 | CONFIG_ARCH_SOCLIB_RAMLOCK = 'undefined' |
---|
103 | CONFIG_VFS_NAMELEN = 'undefined' |
---|
104 | CONFIG_ARCH_SIMPLE_SAM7X256 = 'undefined' |
---|
105 | CONFIG_DRIVER_CHAR_UART8250 = 'undefined' |
---|
106 | CONFIG_CPU_ARM_7TDMI = 'undefined' |
---|
107 | CONFIG_CPU_NAME = 'mips' |
---|
108 | CONFIG_DRIVER_CHAR_VGATTY_KEYBOARD = 'undefined' |
---|
109 | CONFIG_DRIVER_BLOCK_ATA = 'undefined' |
---|
110 | CONFIG_MUTEK_CONSOLE = 'defined' |
---|
111 | CONFIG_LIBELF = 'undefined' |
---|
112 | CONFIG_DRIVER_LCD = 'undefined' |
---|
113 | CONFIG_DRIVER_CHAR_SAM7DBGU = 'undefined' |
---|
114 | CONFIG_LICENSE_USE_PUBLIC = 'undefined' |
---|
115 | CONFIG_DRIVER_ENUM_PCI = 'undefined' |
---|
116 | CONFIG_DRIVER_GPIO = 'undefined' |
---|
117 | CONFIG_CPU_RESET_SIZE = '0x2000' |
---|
118 | CONFIG_SRL_STD = 'undefined' |
---|
119 | CONFIG_LIBC_STREAM = 'defined' |
---|
120 | CONFIG_ARCH_EMU_LINUX = 'undefined' |
---|
121 | CONFIG_CPU_AVR = 'undefined' |
---|
122 | CONFIG_LICENSE_APP_BSD = 'undefined' |
---|
123 | CONFIG_NETWORK_TCP = 'undefined' |
---|
124 | CONFIG_CPU_PPC = 'undefined' |
---|
125 | CONFIG_ARCH_SIMPLE_RESET_ADDR = 'undefined' |
---|
126 | CONFIG_ARCH_IBMPC = 'undefined' |
---|
127 | CONFIG_CPU_NONALIGNED_ACCESS = 'undefined' |
---|
128 | CONFIG_CPU_EXCEPTION_ALIGN = '0x00001000' |
---|
129 | CONFIG_MUTEK_NUMA = 'undefined' |
---|
130 | CONFIG_DRIVER_ICU_SOCLIB = 'undefined' |
---|
131 | CONFIG_DRIVER_ENUM_FDT = 'defined' |
---|
132 | CONFIG_MUTEK_SCHEDULER_CANDIDATE_FCN = 'undefined' |
---|
133 | CONFIG_DRIVER_BLOCK_CACHE = 'undefined' |
---|
134 | CONFIG_COMPILE_SAVETEMPS = 'defined' |
---|
135 | CONFIG_HEXO_MMU_VADDR = 'undefined' |
---|
136 | CONFIG_HETROM_SIZE = 'undefined' |
---|
137 | CONFIG_DRIVER_ICU_ARM = 'undefined' |
---|
138 | CONFIG_PRINTF_ARG_EXT = 'defined' |
---|
139 | CONFIG_LIBELF_DYNAMIC = 'undefined' |
---|
140 | CONFIG_DRIVER_FS_FAT16 = 'undefined' |
---|
141 | CONFIG_DRIVER_CHAR_US6089C_UART = 'undefined' |
---|
142 | CONFIG_DRIVER_ICU = 'defined' |
---|
143 | CONFIG_SRL_MULTI_TTY = 'undefined' |
---|
144 | CONFIG_COMPILE_INSTRUMENT = 'undefined' |
---|
145 | CONFIG_CPU_MIPS_ABI_O64 = 'undefined' |
---|
146 | CONFIG_DRIVER_CHAR_VGATTY_ANSI = 'undefined' |
---|
147 | CONFIG_FDT = 'defined' |
---|
148 | CONFIG_CPU_EXCEPTION_FIXED_ADDRESS = 'undefined' |
---|
149 | CONFIG_ARCH_SIMPLE = 'undefined' |
---|
150 | CONFIG_SOCLIB_VMEM_MALLOC_REGION_SIZE = '0x8000' |
---|
151 | CONFIG_HEXO_CPU_MMU = 'undefined' |
---|
152 | CONFIG_CPU_MAXCOUNT = '4' |
---|
153 | CONFIG_DRIVER_NET = 'undefined' |
---|
154 | CONFIG_DRIVER_BLOCK_PARTITION_MAXCOUNT = '32' |
---|
155 | CONFIG_DRIVER_ICU_SOCLIB_XICU = 'defined' |
---|
156 | CONFIG_ARCH_DEVICE_TREE = 'defined' |
---|
157 | CONFIG_CPU_AVR_IRQ_COUNT = 'undefined' |
---|
158 | CONFIG_PTHREAD = 'defined' |
---|
159 | CONFIG_VFS_GLOBAL_CWD = 'undefined' |
---|
160 | CONFIG_CPU_MIPS = 'defined' |
---|
161 | CONFIG_COMPILE_SOFTFLOAT = 'defined' |
---|
162 | CONFIG_NETWORK_RARP = 'undefined' |
---|
163 | CONFIG_PTHREAD_CANCEL = 'defined' |
---|
164 | CONFIG_CPU_ARM_M_PROFILE = 'undefined' |
---|
165 | CONFIG_MUTEK_MEMALLOC_SIMPLE = 'undefined' |
---|
166 | CONFIG_LIBCRYPTO = 'defined' |
---|
167 | CONFIG_DRIVER_TTY = 'defined' |
---|
168 | CONFIG_LIBC_ASSERT = 'defined' |
---|
169 | CONFIG_CPU_ARM_TLS_IN_C15 = 'undefined' |
---|
170 | CONFIG_CPU_AVR_ENHANCED = 'undefined' |
---|
171 | CONFIG_DRIVER_TIMER_PITC_6079A = 'undefined' |
---|
172 | CONFIG_DRIVER_ENUM_ISAPNP = 'undefined' |
---|
173 | CONFIG_CPU_ENDIAN_BIG = 'undefined' |
---|
174 | CONFIG_CPU_X86 = 'undefined' |
---|
175 | CONFIG_MWMR = 'undefined' |
---|
176 | CONFIG_MUTEK_MEMALLOC_GUARD = 'undefined' |
---|
177 | CONFIG_LICENSE_USE_PROPRIETARY = 'undefined' |
---|
178 | CONFIG_DRIVER_FB_VGA = 'undefined' |
---|
179 | CONFIG_PTHREAD_CHECK = 'undefined' |
---|
180 | CONFIG_ARCH_SOCLIB_VCACHE_40 = 'undefined' |
---|
181 | CONFIG_CPU_MIPS_ABI_EABI = 'undefined' |
---|
182 | CONFIG_ARCH_SOCLIB = 'defined' |
---|
183 | CONFIG_CPU_MIPS_VERSION = '32' |
---|
184 | CONFIG_DRIVER_NET_TUNTAP = 'undefined' |
---|
185 | CONFIG_CPU_ARM_THUMB = 'undefined' |
---|
186 | CONFIG_ARCH_SOCLIB_VCACHE_32 = 'undefined' |
---|
187 | CONFIG_HEXO_IRQ = 'defined' |
---|
188 | CONFIG_CPU_X86_ALIGNCHECK = 'undefined' |
---|
189 | CONFIG_DRIVER_ICU_SAM7 = 'undefined' |
---|
190 | CONFIG_ARCH_IBMPC_MEMORY = 'undefined' |
---|
191 | CONFIG_LICENSE_APP_META = 'defined' |
---|
192 | CONFIG_HEXO_MMU_PADDR = 'undefined' |
---|
193 | CONFIG_ARCH_EMU_MEMORY = 'undefined' |
---|
194 | CONFIG_UNIX = 'undefined' |
---|
195 | CONFIG_MUTEK_MEMALLOC_ALGO_BESTFIT = 'undefined' |
---|
196 | CONFIG_ARCH_SIMPLE_ATMEGA = 'undefined' |
---|
197 | CONFIG_RAM_ADDR = '0x71600000' |
---|
198 | CONFIG_PRINTF_ARG_SIMPLE = 'undefined' |
---|
199 | CONFIG_MUTEK_MEMALLOC_ALIGN = '0x20' |
---|
200 | CONFIG_NETWORK_FILTER = 'undefined' |
---|
201 | CONFIG_LIBLUA = 'undefined' |
---|
202 | CONFIG_LICENSE_APP_GPL = 'undefined' |
---|
203 | CONFIG_LICENSE_USE_MIT = 'undefined' |
---|
204 | CONFIG_MUTEK_MEMALLOC_SMART = 'defined' |
---|
205 | CONFIG_LIBELF_RTLD = 'undefined' |
---|
206 | CONFIG_SOCLIB_EARLY_CONSOLE = '0x90600000' |
---|
207 | CONFIG_COMPILE_PIC = 'defined' |
---|
208 | CONFIG_DRIVER_SPI_SPI6088D = 'undefined' |
---|
209 | CONFIG_DRIVER_FS_FAT_LFN = 'undefined' |
---|
210 | CONFIG_MUTEK_MEMALLOC_STATS = 'undefined' |
---|
211 | CONFIG_NETWORK_PROFILING = 'undefined' |
---|
212 | CONFIG_CPU_ARM_SOCLIB = 'undefined' |
---|
213 | CONFIG_DRIVER_BLOCK_RAMDISK = 'undefined' |
---|
214 | CONFIG_MUTEK_SCHEDULER_PREEMPT = 'undefined' |
---|
215 | CONFIG_DRIVER_ENUM = 'defined' |
---|
216 | CONFIG_DRIVER_CHAR_EMUTTY = 'undefined' |
---|
217 | CONFIG_LICENSE_USE_LGPL = 'defined' |
---|
218 | CONFIG_DRIVER_SOUND = 'undefined' |
---|
219 | CONFIG_ARCH_EMU_PAGESIZE = 'undefined' |
---|
220 | CONFIG_MUTEK_SCHEDULER = 'defined' |
---|
221 | CONFIG_SRL = 'undefined' |
---|
222 | CONFIG_DRIVER_CHAR_ZERO = 'undefined' |
---|
223 | CONFIG_MWMR_INSTRUMENTATION = 'undefined' |
---|
224 | CONFIG_PTHREAD_MUTEX_ATTR = 'defined' |
---|
225 | CONFIG_DRIVER_ICU_PPC = 'undefined' |
---|
226 | CONFIG_LIBC_STREAM_BUFFER_SIZE = '256' |
---|
227 | CONFIG_LICENSE_USE_BSD = 'undefined' |
---|
228 | CONFIG_PTHREAD_ATTRIBUTES = 'defined' |
---|
229 | CONFIG_CPU_X86_SYSENTER = 'undefined' |
---|
230 | CONFIG_SOCLIB_MEMCHECK_ADDRESS = 'undefined' |
---|
231 | CONFIG_DRIVER_INPUT_8042 = 'undefined' |
---|
232 | CONFIG_MODULES = 'splash_radix:/home/share/dcis_scme/THESES/GUTHMULLER/tsar/platforms/tsarv3_mutekh/splash_radix libfdt:/home/guthmuller/dev/mutekh/libfdt libpthread:/home/guthmuller/dev/mutekh/libpthread cpu:/home/guthmuller/dev/mutekh/cpu/mips libcrypto:/home/guthmuller/dev/mutekh/libcrypto arch:/home/guthmuller/dev/mutekh/arch/soclib' |
---|
233 | CONFIG_HEXO_MMU = 'undefined' |
---|
234 | CONFIG_DEBUG_SPINLOCK_LIMIT = 'undefined' |
---|
235 | CONFIG_DRIVER_FS_ISO9660_ROCKRIDGE = 'undefined' |
---|
236 | CONFIG_COMPILE_COLLECT = 'undefined' |
---|
237 | CONFIG_LIBC_STRING_ASM = 'undefined' |
---|
238 | CONFIG_LIBCRYPTO_ARC4 = 'undefined' |
---|
239 | CONFIG_MUTEK_TIMERMS = 'undefined' |
---|
240 | CONFIG_DRIVER_BLOCK_PARTITION = 'undefined' |
---|
241 | CONFIG_MWMR_SOCLIB = 'undefined' |
---|
242 | CONFIG_DRIVER_KEYBOARD = 'undefined' |
---|
243 | CONFIG_SMP = 'defined' |
---|
244 | CONFIG_LICENSE_APP_MIT = 'undefined' |
---|
245 | CONFIG_COMPILE_DEBUG = 'defined' |
---|
246 | CONFIG_HEXO_IPI = 'defined' |
---|
247 | CONFIG_DRIVER_TIMER = 'undefined' |
---|
248 | CONFIG_NETWORK = 'undefined' |
---|
249 | CONFIG_DRIVER_UART = 'undefined' |
---|
250 | CONFIG_SRL_VERBOSITY = 'undefined' |
---|
251 | CONFIG_UNIX_DEBUG = 'undefined' |
---|
252 | CONFIG_DRIVER_MEM = 'defined' |
---|
253 | CONFIG_DRIVER_CHAR_RANDOM = 'undefined' |
---|
254 | CONFIG_LIBELF_RTLD_KERNEL = 'undefined' |
---|
255 | CONFIG_MUTEK_LOGO = 'undefined' |
---|
256 | CONFIG_CPU_ARM_ARCH = 'undefined' |
---|
257 | CONFIG_MUTEK_SMP_APP_START = 'defined' |
---|
258 | CONFIG_MUTEK_SCHEDULER_STATIC = 'undefined' |
---|
259 | CONFIG_DRIVER_LCD_PCF8833 = 'undefined' |
---|
260 | CONFIG_ARCH_SIMPLE_ATMEGA128 = 'undefined' |
---|
261 | CONFIG_ARCH_HW_INIT_USER = 'undefined' |
---|
262 | CONFIG_HETROM_ADDR = 'undefined' |
---|
263 | CONFIG_DRIVER_FS_FAT_TYPE_FROM_STRING = 'undefined' |
---|
264 | CONFIG_LIBCRYPTO_CRC32 = 'undefined' |
---|
265 | CONFIG_COMPILE_OPTIMIZE = '2' |
---|
266 | CONFIG_MUTEK_RWLOCK = 'defined' |
---|
267 | CONFIG_DATA_FROM_ROM = 'defined' |
---|
268 | CONFIG_MUTEK_SCHEDULER_MIGRATION_AFFINITY = 'undefined' |
---|
269 | CONFIG_DRIVER_GPIO_SAM7 = 'undefined' |
---|
270 | CONFIG_MUTEK_MEM_REGION = 'undefined' |
---|
271 | CONFIG_DRIVER_TIMER_8253 = 'undefined' |
---|
272 | CONFIG_DRIVER_TIMER_EMU = 'undefined' |
---|
273 | CONFIG_CPU_ARM_CPU = 'undefined' |
---|
274 | CONFIG_DRIVER_INPUT_MT5F = 'undefined' |
---|
275 | CONFIG_DRIVER_CHAR_VGATTY = 'undefined' |
---|
276 | CONFIG_DEVICE_TREE = 'defined' |
---|
277 | CONFIG_NETWORK_PING = 'undefined' |
---|
278 | CONFIG_RAM_SIZE = '0x01000000' |
---|
279 | CONFIG_VFS_GLOBAL_ROOT = 'undefined' |
---|
280 | CONFIG_LIBC_STREAM_STD = 'undefined' |
---|
281 | CONFIG_LIBELF_RTLD_TLS = 'undefined' |
---|
282 | CONFIG_UNIX_KSTACK_SIZE = 'undefined' |
---|
283 | CONFIG_LIBM = 'undefined' |
---|
284 | CONFIG_CPU_ARM = 'undefined' |
---|
285 | CONFIG_MUTEK_SCHEDULER_MIGRATION = 'defined' |
---|
286 | CONFIG_VFS = 'undefined' |
---|
287 | CONFIG_PTHREAD_STACK_SIZE = '4096' |
---|
288 | CONFIG_LIBDSRL = 'undefined' |
---|