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'
