## ## This file has been generated by the configuration script. ## # configuration options CONFIG_MUTEK_MEMALLOC_ALGO_FIRSTFIT=defined CONFIG_VFS_STATS=undefined CONFIG_NETWORK_SOCKET_PACKET=undefined CONFIG_DRIVER_FS_FAT_RW=undefined CONFIG_DRIVER_BLOCK_EMU_BLOCKSIZE=undefined CONFIG_SRL_SOCLIB=undefined CONFIG_DRIVER_BLOCK_EMU=undefined CONFIG_CPU_RESET_ADDR=0xbfc00000 CONFIG_ARCH_SIMPLE_HW_INIT=undefined CONFIG_DRIVER_SPI=undefined CONFIG_LICENSE_APP_PROPRIETARY=undefined CONFIG_HET_BUILD=undefined CONFIG_DEBUG=undefined CONFIG_DRIVER_BLOCK_RAMDISK_SIZE=undefined CONFIG_LIBCRYPTO_MD5=undefined CONFIG_DRIVER_FS_FAT=undefined CONFIG_DRIVER_I2C_TWI6061A=undefined CONFIG_HEXO_INTTYPES_DEPRECATED=undefined CONFIG_DRIVER_BLOCK_SOCLIB=undefined CONFIG_VFS_VERBOSE=undefined CONFIG_CPU_X86_64_EMU=undefined CONFIG_ARCH_NAME=soclib CONFIG_DRIVER_NET_NE2000=undefined CONFIG_CPU_MIPS_ABI_N32=undefined CONFIG_ARCH_SIMPLE_SAM7=undefined CONFIG_DRIVER_FS_RAMFS=undefined CONFIG_MUTEK_PRINTK=defined CONFIG_DRIVER_ICU_MIPS=defined CONFIG_MUTEK_SCHEDULER_IDLE_STACK_SIZE=2048 CONFIG_DRIVER_ICU_8259=undefined CONFIG_PTHREAD_JOIN=defined CONFIG_MUTEK_MEMALLOC_GUARD_SIZE=undefined CONFIG_ROM_SIZE=0x01000000 CONFIG_LICENSE_USE_GPL=undefined CONFIG_NETWORK_AUTOALIGN=undefined CONFIG_DRIVER_LCD_S1D15G00=undefined CONFIG_VMEM_KERNEL_ALLOC=undefined CONFIG_ARCH_SIMPLE_OLIMEX_SAM7_EX256=undefined CONFIG_ARCH_HW_INIT=undefined CONFIG_VMEM=undefined CONFIG_LICENSE_APP_LGPL=defined CONFIG_CPU_ARM_FPU=undefined CONFIG_CPU_RESET_HANDLER=defined CONFIG_DRIVER_BLOCK=undefined CONFIG_CPU_USER=undefined CONFIG_NETWORK_NFS=undefined CONFIG_VMEM_PHYS_ALLOC=undefined CONFIG_MUTEK_MEMALLOC_GUARD_INSTRUMENT=undefined CONFIG_MWMR_USE_RAMLOCKS=undefined CONFIG_DRIVER_NET_NE2000_FRAGMENT=undefined CONFIG_CPU_CACHE_LINE=4 CONFIG_HEXO_ARCH_MMU=undefined CONFIG_DRIVER_BLOCK_CACHE_SIZE=undefined CONFIG_NETWORK_SOCKET=undefined CONFIG_DRIVER_CHAR_SOCLIBTTY=defined CONFIG_LIBCRYPTO_CRC32_SMALL=undefined CONFIG_DRIVER_BLOCK_RAMDISK_BLOCKSIZE=undefined CONFIG_CPU_CACHE_COHERENCY=undefined CONFIG_MUTEK_MEMALLOC_SIGNED=undefined CONFIG_DRIVER_FS_DEVFS=undefined CONFIG_NETWORK_PACKET_ASM=undefined CONFIG_COMPILE_SIZEOF_INT=4 CONFIG_NETWORK_FORWARDING=undefined CONFIG_CLUSTER=undefined CONFIG_MUTEK_MAIN=defined CONFIG_UNIX_STACK_VADDR=undefined CONFIG_NETWORK_SOCKET_RAW=undefined CONFIG_LIBELF_DEBUG=undefined CONFIG_DRIVER_FS_ISO9660=undefined CONFIG_DRIVER_I2C=undefined CONFIG_ARCH_IBMPC_DMA=undefined CONFIG_CPU_ENDIAN_LITTLE=defined CONFIG_LIBC_SEMAPHORE=defined CONFIG_UNIX_START_VADDR=undefined CONFIG_ARCH_EMU=undefined CONFIG_SOCLIB_MEMCHECK=undefined CONFIG_DRIVER_FB=undefined CONFIG_CPU_MIPS_ABI_O32=defined CONFIG_DRIVER_MEM_MEMORY=defined CONFIG_DRIVER_FB_SOCLIB=undefined CONFIG_ARCH_EMU_DARWIN=undefined CONFIG_ROM_ADDR=0x61100000 CONFIG_DRIVER_ENUM_ROOT=defined CONFIG_DRIVER_TIMER_SOCLIB=undefined CONFIG_COMPILE_FRAMEPTR=defined CONFIG_LIBDSRL_DEBUG=undefined CONFIG_DRIVER_CHAR_NULL=undefined CONFIG_MWMR_PTHREAD=undefined CONFIG_MWMR_LOCKFREE=undefined CONFIG_DRIVER_FS_FAT32=undefined CONFIG_DRIVER_BLOCK_SD_MMC=undefined CONFIG_NETWORK_UDP=undefined CONFIG_NETWORK_IPV4=undefined CONFIG_HEXO_MMU_PAGESIZE=undefined CONFIG_CPU_X86_EMU=undefined CONFIG_NETWORK_DHCLIENT=undefined CONFIG_CPU_CACHE=defined CONFIG_LICENSE_APP_PUBLIC=undefined CONFIG_LIBTERMUI=undefined CONFIG_MUTEK_MEMALLOC_DEBUG=undefined CONFIG_CPU_AVR_GCCMCU=undefined CONFIG_ARCH_SOCLIB_RAMLOCK=undefined CONFIG_VFS_NAMELEN=undefined CONFIG_ARCH_SIMPLE_SAM7X256=undefined CONFIG_DRIVER_CHAR_UART8250=undefined CONFIG_CPU_ARM_7TDMI=undefined CONFIG_CPU_NAME=mips CONFIG_DRIVER_CHAR_VGATTY_KEYBOARD=undefined CONFIG_DRIVER_BLOCK_ATA=undefined CONFIG_MUTEK_CONSOLE=defined CONFIG_LIBELF=undefined CONFIG_DRIVER_LCD=undefined CONFIG_DRIVER_CHAR_SAM7DBGU=undefined CONFIG_LICENSE_USE_PUBLIC=undefined CONFIG_DRIVER_ENUM_PCI=undefined CONFIG_DRIVER_GPIO=undefined CONFIG_CPU_RESET_SIZE=0x2000 CONFIG_SRL_STD=undefined CONFIG_LIBC_STREAM=defined CONFIG_ARCH_EMU_LINUX=undefined CONFIG_CPU_AVR=undefined CONFIG_LICENSE_APP_BSD=undefined CONFIG_NETWORK_TCP=undefined CONFIG_CPU_PPC=undefined CONFIG_ARCH_SIMPLE_RESET_ADDR=undefined CONFIG_ARCH_IBMPC=undefined CONFIG_CPU_NONALIGNED_ACCESS=undefined CONFIG_CPU_EXCEPTION_ALIGN=0x00001000 CONFIG_MUTEK_NUMA=undefined CONFIG_DRIVER_ICU_SOCLIB=undefined CONFIG_DRIVER_ENUM_FDT=defined CONFIG_MUTEK_SCHEDULER_CANDIDATE_FCN=undefined CONFIG_DRIVER_BLOCK_CACHE=undefined CONFIG_COMPILE_SAVETEMPS=defined CONFIG_HEXO_MMU_VADDR=undefined CONFIG_HETROM_SIZE=undefined CONFIG_DRIVER_ICU_ARM=undefined CONFIG_PRINTF_ARG_EXT=defined CONFIG_LIBELF_DYNAMIC=undefined CONFIG_DRIVER_FS_FAT16=undefined CONFIG_DRIVER_CHAR_US6089C_UART=undefined CONFIG_DRIVER_ICU=defined CONFIG_SRL_MULTI_TTY=undefined CONFIG_COMPILE_INSTRUMENT=undefined CONFIG_CPU_MIPS_ABI_O64=undefined CONFIG_DRIVER_CHAR_VGATTY_ANSI=undefined CONFIG_FDT=defined CONFIG_CPU_EXCEPTION_FIXED_ADDRESS=undefined CONFIG_ARCH_SIMPLE=undefined CONFIG_SOCLIB_VMEM_MALLOC_REGION_SIZE=0x8000 CONFIG_HEXO_CPU_MMU=undefined CONFIG_CPU_MAXCOUNT=4 CONFIG_DRIVER_NET=undefined CONFIG_DRIVER_BLOCK_PARTITION_MAXCOUNT=32 CONFIG_DRIVER_ICU_SOCLIB_XICU=defined CONFIG_ARCH_DEVICE_TREE=defined CONFIG_CPU_AVR_IRQ_COUNT=undefined CONFIG_PTHREAD=defined CONFIG_VFS_GLOBAL_CWD=undefined CONFIG_CPU_MIPS=defined CONFIG_COMPILE_SOFTFLOAT=defined CONFIG_NETWORK_RARP=undefined CONFIG_PTHREAD_CANCEL=defined CONFIG_CPU_ARM_M_PROFILE=undefined CONFIG_MUTEK_MEMALLOC_SIMPLE=undefined CONFIG_LIBCRYPTO=defined CONFIG_DRIVER_TTY=defined CONFIG_LIBC_ASSERT=defined CONFIG_CPU_ARM_TLS_IN_C15=undefined CONFIG_CPU_AVR_ENHANCED=undefined CONFIG_DRIVER_TIMER_PITC_6079A=undefined CONFIG_DRIVER_ENUM_ISAPNP=undefined CONFIG_CPU_ENDIAN_BIG=undefined CONFIG_CPU_X86=undefined CONFIG_MWMR=undefined CONFIG_MUTEK_MEMALLOC_GUARD=undefined CONFIG_LICENSE_USE_PROPRIETARY=undefined CONFIG_DRIVER_FB_VGA=undefined CONFIG_PTHREAD_CHECK=undefined CONFIG_ARCH_SOCLIB_VCACHE_40=undefined CONFIG_CPU_MIPS_ABI_EABI=undefined CONFIG_ARCH_SOCLIB=defined CONFIG_CPU_MIPS_VERSION=32 CONFIG_DRIVER_NET_TUNTAP=undefined CONFIG_CPU_ARM_THUMB=undefined CONFIG_ARCH_SOCLIB_VCACHE_32=undefined CONFIG_HEXO_IRQ=defined CONFIG_CPU_X86_ALIGNCHECK=undefined CONFIG_DRIVER_ICU_SAM7=undefined CONFIG_ARCH_IBMPC_MEMORY=undefined CONFIG_LICENSE_APP_META=defined CONFIG_HEXO_MMU_PADDR=undefined CONFIG_ARCH_EMU_MEMORY=undefined CONFIG_UNIX=undefined CONFIG_MUTEK_MEMALLOC_ALGO_BESTFIT=undefined CONFIG_ARCH_SIMPLE_ATMEGA=undefined CONFIG_RAM_ADDR=0x71600000 CONFIG_PRINTF_ARG_SIMPLE=undefined CONFIG_MUTEK_MEMALLOC_ALIGN=0x20 CONFIG_NETWORK_FILTER=undefined CONFIG_LIBLUA=undefined CONFIG_LICENSE_APP_GPL=undefined CONFIG_LICENSE_USE_MIT=undefined CONFIG_MUTEK_MEMALLOC_SMART=defined CONFIG_LIBELF_RTLD=undefined CONFIG_SOCLIB_EARLY_CONSOLE=0x90600000 CONFIG_COMPILE_PIC=defined CONFIG_DRIVER_SPI_SPI6088D=undefined CONFIG_DRIVER_FS_FAT_LFN=undefined CONFIG_MUTEK_MEMALLOC_STATS=undefined CONFIG_NETWORK_PROFILING=undefined CONFIG_CPU_ARM_SOCLIB=undefined CONFIG_DRIVER_BLOCK_RAMDISK=undefined CONFIG_MUTEK_SCHEDULER_PREEMPT=undefined CONFIG_DRIVER_ENUM=defined CONFIG_DRIVER_CHAR_EMUTTY=undefined CONFIG_LICENSE_USE_LGPL=defined CONFIG_DRIVER_SOUND=undefined CONFIG_ARCH_EMU_PAGESIZE=undefined CONFIG_MUTEK_SCHEDULER=defined CONFIG_SRL=undefined CONFIG_DRIVER_CHAR_ZERO=undefined CONFIG_MWMR_INSTRUMENTATION=undefined CONFIG_PTHREAD_MUTEX_ATTR=defined CONFIG_DRIVER_ICU_PPC=undefined CONFIG_LIBC_STREAM_BUFFER_SIZE=256 CONFIG_LICENSE_USE_BSD=undefined CONFIG_PTHREAD_ATTRIBUTES=defined CONFIG_CPU_X86_SYSENTER=undefined CONFIG_SOCLIB_MEMCHECK_ADDRESS=undefined CONFIG_DRIVER_INPUT_8042=undefined 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 CONFIG_HEXO_MMU=undefined CONFIG_DEBUG_SPINLOCK_LIMIT=undefined CONFIG_DRIVER_FS_ISO9660_ROCKRIDGE=undefined CONFIG_COMPILE_COLLECT=undefined CONFIG_LIBC_STRING_ASM=undefined CONFIG_LIBCRYPTO_ARC4=undefined CONFIG_MUTEK_TIMERMS=undefined CONFIG_DRIVER_BLOCK_PARTITION=undefined CONFIG_MWMR_SOCLIB=undefined CONFIG_DRIVER_KEYBOARD=undefined CONFIG_SMP=defined CONFIG_LICENSE_APP_MIT=undefined CONFIG_COMPILE_DEBUG=defined CONFIG_HEXO_IPI=defined CONFIG_DRIVER_TIMER=undefined CONFIG_NETWORK=undefined CONFIG_DRIVER_UART=undefined CONFIG_SRL_VERBOSITY=undefined CONFIG_UNIX_DEBUG=undefined CONFIG_DRIVER_MEM=defined CONFIG_DRIVER_CHAR_RANDOM=undefined CONFIG_LIBELF_RTLD_KERNEL=undefined CONFIG_MUTEK_LOGO=undefined CONFIG_CPU_ARM_ARCH=undefined CONFIG_MUTEK_SMP_APP_START=defined CONFIG_MUTEK_SCHEDULER_STATIC=undefined CONFIG_DRIVER_LCD_PCF8833=undefined CONFIG_ARCH_SIMPLE_ATMEGA128=undefined CONFIG_ARCH_HW_INIT_USER=undefined CONFIG_HETROM_ADDR=undefined CONFIG_DRIVER_FS_FAT_TYPE_FROM_STRING=undefined CONFIG_LIBCRYPTO_CRC32=undefined CONFIG_COMPILE_OPTIMIZE=2 CONFIG_MUTEK_RWLOCK=defined CONFIG_DATA_FROM_ROM=defined CONFIG_MUTEK_SCHEDULER_MIGRATION_AFFINITY=undefined CONFIG_DRIVER_GPIO_SAM7=undefined CONFIG_MUTEK_MEM_REGION=undefined CONFIG_DRIVER_TIMER_8253=undefined CONFIG_DRIVER_TIMER_EMU=undefined CONFIG_CPU_ARM_CPU=undefined CONFIG_DRIVER_INPUT_MT5F=undefined CONFIG_DRIVER_CHAR_VGATTY=undefined CONFIG_DEVICE_TREE=defined CONFIG_NETWORK_PING=undefined CONFIG_RAM_SIZE=0x01000000 CONFIG_VFS_GLOBAL_ROOT=undefined CONFIG_LIBC_STREAM_STD=undefined CONFIG_LIBELF_RTLD_TLS=undefined CONFIG_UNIX_KSTACK_SIZE=undefined CONFIG_LIBM=undefined CONFIG_CPU_ARM=undefined CONFIG_MUTEK_SCHEDULER_MIGRATION=defined CONFIG_VFS=undefined CONFIG_PTHREAD_STACK_SIZE=4096 CONFIG_LIBDSRL=undefined # configuration variables