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