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