1CONFIG_PTHREAD_IPC=y 2CONFIG_POSIX_API=y 3CONFIG_MAX_PTHREAD_COUNT=20 4CONFIG_ZTEST=y 5CONFIG_SEM_VALUE_MAX=32767 6CONFIG_POSIX_MQUEUE=y 7CONFIG_HEAP_MEM_POOL_SIZE=4096 8CONFIG_MAX_THREAD_BYTES=4 9CONFIG_THREAD_NAME=y 10 11CONFIG_SMP=n 12