##
## 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

