# CONFIG_UCLIBCXX_EXCEPTION is not set CONFIG_ARCH="sim" CONFIG_ARCH_BOARD="sim" CONFIG_ARCH_BOARD_SIM=y CONFIG_ARCH_FLOAT_H=y CONFIG_ARCH_SIM=y CONFIG_BOARD_LOOPSPERMSEC=100 CONFIG_DISABLE_POLL=y CONFIG_TESTING_CXXTEST=y CONFIG_HAVE_CXX=y CONFIG_IDLETHREAD_STACKSIZE=4096 CONFIG_LIBM=y CONFIG_MAX_TASKS=64 CONFIG_NFILE_DESCRIPTORS=32 CONFIG_PTHREAD_MUTEX_TYPES=y CONFIG_PTHREAD_STACK_DEFAULT=8192 CONFIG_RAM_START=0x00000000 CONFIG_SCHED_ONEXIT=y CONFIG_SCHED_ONEXIT_MAX=4 CONFIG_SDCLONE_DISABLE=y CONFIG_START_DAY=27 CONFIG_START_MONTH=2 CONFIG_START_YEAR=2007 CONFIG_UCLIBCXX=y CONFIG_USERMAIN_STACKSIZE=4096 CONFIG_USER_ENTRYPOINT="cxxtest_main"