/*
 * This file has been generated by the configuration script.
 */

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