---

# CONFIG_USB_BC12 is not set
CONFIG_UDC_DRIVER=y
CONFIG_UDC_DRIVER_HAS_HIGH_SPEED_SUPPORT=y
CONFIG_UDC_DRIVER_HIGH_SPEED_SUPPORT_ENABLED=y
CONFIG_UDC_BUF_COUNT=16
CONFIG_UDC_BUF_POOL_SIZE=1024
CONFIG_UDC_BUF_FORCE_NOCACHE=y
# CONFIG_UDC_ENABLE_SOF is not set
CONFIG_UDC_WORKQUEUE=y
CONFIG_UDC_WORKQUEUE_STACK_SIZE=512
CONFIG_UDC_WORKQUEUE_PRIORITY=-1
# CONFIG_UDC_DRIVER_LOG_LEVEL_OFF is not set
# CONFIG_UDC_DRIVER_LOG_LEVEL_ERR is not set
# CONFIG_UDC_DRIVER_LOG_LEVEL_WRN is not set
# CONFIG_UDC_DRIVER_LOG_LEVEL_INF is not set
# CONFIG_UDC_DRIVER_LOG_LEVEL_DBG is not set
CONFIG_UDC_DRIVER_LOG_LEVEL_DEFAULT=y
CONFIG_UDC_DRIVER_LOG_LEVEL=3
CONFIG_UDC_NXP_EHCI=y
CONFIG_UDC_NXP_EVENT_COUNT=4
# CONFIG_UHC_DRIVER is not set
# CONFIG_UVB is not set
# CONFIG_USB_DEVICE_DRIVER is not set

#
# USB common
#
# CONFIG_NRF_USBD_COMMON_LOG_LEVEL_OFF is not set
# CONFIG_NRF_USBD_COMMON_LOG_LEVEL_ERR is not set
# CONFIG_NRF_USBD_COMMON_LOG_LEVEL_WRN is not set
# CONFIG_NRF_USBD_COMMON_LOG_LEVEL_INF is not set
# CONFIG_NRF_USBD_COMMON_LOG_LEVEL_DBG is not set
CONFIG_NRF_USBD_COMMON_LOG_LEVEL_DEFAULT=y
CONFIG_NRF_USBD_COMMON_LOG_LEVEL=3
# end of USB common

# CONFIG_USBC_TCPC_DRIVER is not set
# CONFIG_USBC_LOG_LEVEL_OFF is not set
# CONFIG_USBC_LOG_LEVEL_ERR is not set
# CONFIG_USBC_LOG_LEVEL_WRN is not set
# CONFIG_USBC_LOG_LEVEL_INF is not set
# CONFIG_USBC_LOG_LEVEL_DBG is not set
CONFIG_USBC_LOG_LEVEL_DEFAULT=y
CONFIG_USBC_LOG_LEVEL=3
# CONFIG_USBC_VBUS_DRIVER is not set
# CONFIG_USBC_PPC_DRIVER is not set
# CONFIG_VIDEO is not set
# CONFIG_VIRTIO is not set
# CONFIG_VIRTIO_LOG_LEVEL_OFF is not set
# CONFIG_VIRTIO_LOG_LEVEL_ERR is not set
# CONFIG_VIRTIO_LOG_LEVEL_WRN is not set
# CONFIG_VIRTIO_LOG_LEVEL_INF is not set
# CONFIG_VIRTIO_LOG_LEVEL_DBG is not set
CONFIG_VIRTIO_LOG_LEVEL_DEFAULT=y
CONFIG_VIRTIO_LOG_LEVEL=3
# CONFIG_VIRTUALIZATION is not set
# CONFIG_W1 is not set
CONFIG_NET_TCP_WORKQ_STACK_SIZE=1024
CONFIG_NET_MGMT_EVENT_STACK_SIZE=800
CONFIG_NET_TC_TX_COUNT=0
CONFIG_NET_INTERFACE_NAME_LEN=8
CONFIG_NET_MGMT_EVENT_QUEUE_SIZE=5
# CONFIG_TEE is not set
# end of Device Drivers

CONFIG_REQUIRES_FULL_LIBC=y
CONFIG_REQUIRES_FLOAT_PRINTF=y
# CONFIG_LIBC_ALLOW_LESS_THAN_64BIT_TIME is not set
CONFIG_FULL_LIBC_SUPPORTED=y
CONFIG_MINIMAL_LIBC_SUPPORTED=y
CONFIG_NEWLIB_LIBC_SUPPORTED=y
CONFIG_PICOLIBC_SUPPORTED=y
CONFIG_NATIVE_LIBC_INCOMPATIBLE=y

#
# C Library
#
CONFIG_PICOLIBC=y
# CONFIG_NEWLIB_LIBC is not set
# CONFIG_EXTERNAL_LIBC is not set
CONFIG_HAS_NEWLIB_LIBC_NANO=y
CONFIG_COMMON_LIBC_ABORT=y
# CONFIG_COMMON_LIBC_ASCTIME_R is not set
# CONFIG_COMMON_LIBC_CTIME_R is not set
CONFIG_COMMON_LIBC_TIME=y
CONFIG_COMMON_LIBC_MALLOC=y
CONFIG_COMMON_LIBC_CALLOC=y
CONFIG_COMMON_LIBC_REALLOCARRAY=y
CONFIG_COMMON_LIBC_THRD=y
CONFIG_COMMON_LIBC_REMOVE=y
# CONFIG_PICOLIBC_USE_MODULE is not set
CONFIG_PICOLIBC_USE_TOOLCHAIN=y
CONFIG_PICOLIBC_IO_FLOAT=y
CONFIG_STDOUT_CONSOLE=y
CONFIG_NEED_LIBC_MEM_PARTITION=y
# end of C Library

#
# C++ Language Support
#
# CONFIG_CPP is not set
# end of C++ Language Support

# CONFIG_CRC is not set

#
# Additional libraries
#

#
# Hash Function Support
#
CONFIG_SYS_HASH_FUNC32=y
CONFIG_SYS_HASH_FUNC32_DJB2=y
CONFIG_SYS_HASH_FUNC32_MURMUR3=y
# CONFIG_SYS_HASH_FUNC32_CHOICE_DJB2 is not set
CONFIG_SYS_HASH_FUNC32_CHOICE_MURMUR3=y
# CONFIG_SYS_HASH_FUNC32_CHOICE_IDENTITY is not set
# end of Hash Function Support

#
# Hashmap (Hash Table) Support
#
# CONFIG_SYS_HASH_MAP is not set
# end of Hashmap (Hash Table) Support

#
# Heap and Memory Allocation
#
CONFIG_SYS_HEAP_VALIDATE=y
# CONFIG_SYS_HEAP_STRESS is not set
# CONFIG_SYS_HEAP_INFO is not set
CONFIG_SYS_HEAP_ALLOC_LOOPS=3
CONFIG_SYS_HEAP_RUNTIME_STATS=y
CONFIG_SYS_HEAP_ARRAY_SIZE=0
# CONFIG_SYS_HEAP_LISTENER is not set
# CONFIG_SYS_HEAP_SMALL_ONLY is not set
# CONFIG_SYS_HEAP_BIG_ONLY is not set
CONFIG_SYS_HEAP_AUTO=y
# CONFIG_MULTI_HEAP is not set
# CONFIG_SHARED_MULTI_HEAP is not set
# end of Heap and Memory Allocation

#
# Memory Blocks
#
# CONFIG_SYS_MEM_BLOCKS is not set
# end of Memory Blocks

CONFIG_NET_BUF=y
# CONFIG_NET_BUF_LOG is not set
# CONFIG_NET_BUF_LOG_LEVEL_OFF is not set
# CONFIG_NET_BUF_LOG_LEVEL_ERR is not set
# CONFIG_NET_BUF_LOG_LEVEL_WRN is not set
# CONFIG_NET_BUF_LOG_LEVEL_INF is not set
# CONFIG_NET_BUF_LOG_LEVEL_DBG is not set
CONFIG_NET_BUF_LOG_LEVEL_DEFAULT=y
CONFIG_NET_BUF_LOG_LEVEL=3
# CONFIG_NET_BUF_POOL_USAGE is not set
CONFIG_NET_BUF_ALIGNMENT=0

#
# OS Support Library
#
CONFIG_FDTABLE=y
CONFIG_ZVFS_OPEN_MAX=8
# CONFIG_PRINTK_SYNC is not set
CONFIG_MPSC_PBUF=y
# CONFIG_SPSC_PBUF is not set
# CONFIG_MPSC_CLEAR_ALLOCATED is not set
CONFIG_CBPRINTF_COMPLETE=y
# CONFIG_CBPRINTF_NANO is not set
CONFIG_CBPRINTF_FULL_INTEGRAL=y
# CONFIG_CBPRINTF_REDUCED_INTEGRAL is not set
CONFIG_CBPRINTF_FP_SUPPORT=y
# CONFIG_CBPRINTF_FP_A_SUPPORT is not set
# CONFIG_CBPRINTF_LIBC_SUBSTS is not set
# CONFIG_CBPRINTF_PACKAGE_LOG_LEVEL_OFF is not set
# CONFIG_CBPRINTF_PACKAGE_LOG_LEVEL_ERR is not set
# CONFIG_CBPRINTF_PACKAGE_LOG_LEVEL_WRN is not set
# CONFIG_CBPRINTF_PACKAGE_LOG_LEVEL_INF is not set
# CONFIG_CBPRINTF_PACKAGE_LOG_LEVEL_DBG is not set
CONFIG_CBPRINTF_PACKAGE_LOG_LEVEL_DEFAULT=y
CONFIG_CBPRINTF_PACKAGE_LOG_LEVEL=3
# CONFIG_CBPRINTF_PACKAGE_LONGDOUBLE is not set
CONFIG_CBPRINTF_CONVERT_CHECK_PTR=y
CONFIG_ZVFS=y
CONFIG_ZVFS_EVENTFD=y
CONFIG_ZVFS_EVENTFD_MAX=1
CONFIG_ZVFS_POLL=y
CONFIG_ZVFS_POLL_MAX=4
CONFIG_ZVFS_SELECT=y
# end of OS Support Library

#
# POSIX API Support
#

#
# POSIX Options
#
CONFIG_POSIX_SYSTEM_HEADERS=y
CONFIG_POSIX_API=y
CONFIG_POSIX_AEP_CHOICE_NONE=y
# CONFIG_POSIX_AEP_CHOICE_BASE is not set
# CONFIG_POSIX_AEP_CHOICE_PSE51 is not set
# CONFIG_POSIX_AEP_CHOICE_PSE52 is not set
# CONFIG_POSIX_AEP_CHOICE_PSE53 is not set
CONFIG_POSIX_BASE_DEFINITIONS=y
CONFIG_POSIX_AEP_REALTIME_MINIMAL=y
CONFIG_POSIX_ASYNCHRONOUS_IO=y
CONFIG_POSIX_BARRIERS=y
CONFIG_MAX_PTHREAD_BARRIER_COUNT=5
# CONFIG_PTHREAD_CREATE_BARRIER is not set
# CONFIG_PTHREAD_BARRIER_LOG_LEVEL_OFF is not set
# CONFIG_PTHREAD_BARRIER_LOG_LEVEL_ERR is not set
# CONFIG_PTHREAD_BARRIER_LOG_LEVEL_WRN is not set
# CONFIG_PTHREAD_BARRIER_LOG_LEVEL_INF is not set
# CONFIG_PTHREAD_BARRIER_LOG_LEVEL_DBG is not set
CONFIG_PTHREAD_BARRIER_LOG_LEVEL_DEFAULT=y
CONFIG_PTHREAD_BARRIER_LOG_LEVEL=3
CONFIG_POSIX_C_LANG_SUPPORT_R=y
CONFIG_POSIX_C_LIB_EXT=y
# CONFIG_GETOPT_LONG is not set

#
# POSIX device I/O
#
CONFIG_POSIX_DEVICE_IO=y
CONFIG_POSIX_OPEN_MAX=8
# end of POSIX device I/O

CONFIG_POSIX_FD_MGMT=y
CONFIG_POSIX_FILE_SYSTEM_R=y
CONFIG_POSIX_FILE_SYSTEM=y

#
# POSIX memory
#
CONFIG_POSIX_PAGE_SIZE=0x40
CONFIG_POSIX_SHARED_MEMORY_OBJECTS=y
CONFIG_POSIX_MAPPED_FILES=y
CONFIG_POSIX_MEMLOCK=y
CONFIG_POSIX_MEMLOCK_RANGE=y
CONFIG_POSIX_MEMORY_PROTECTION=y
# end of POSIX memory

# CONFIG_POSIX_MESSAGE_PASSING is not set
CONFIG_POSIX_NETWORKING=y
CONFIG_POSIX_HOST_NAME_MAX=63
# CONFIG_POSIX_IPV6 is not set
# CONFIG_POSIX_RAW_SOCKETS is not set
CONFIG_POSIX_SINGLE_PROCESS=y
CONFIG_POSIX_SYSCONF_IMPL_MACRO=y
# CONFIG_POSIX_SYSCONF_IMPL_FULL is not set
CONFIG_POSIX_UNAME_VERSION_LEN=70
CONFIG_POSIX_UNAME_NODENAME_LEN=6
# CONFIG_POSIX_ENV_LOG_LEVEL_OFF is not set
# CONFIG_POSIX_ENV_LOG_LEVEL_ERR is not set
# CONFIG_POSIX_ENV_LOG_LEVEL_WRN is not set
# CONFIG_POSIX_ENV_LOG_LEVEL_INF is not set
# CONFIG_POSIX_ENV_LOG_LEVEL_DBG is not set
CONFIG_POSIX_ENV_LOG_LEVEL_DEFAULT=y
CONFIG_POSIX_ENV_LOG_LEVEL=3
CONFIG_POSIX_MULTI_PROCESS=y
CONFIG_POSIX_MULTI_PROCESS_ALIAS_GETPID=y
CONFIG_POSIX_THREADS=y
CONFIG_HEAP_MEM_POOL_ADD_SIZE_POSIX_THREADS=256
CONFIG_POSIX_THREAD_THREADS_MAX=10
CONFIG_MAX_PTHREAD_MUTEX_COUNT=100
CONFIG_MAX_PTHREAD_COND_COUNT=5
CONFIG_POSIX_THREAD_KEYS_MAX=5
CONFIG_PTHREAD_RECYCLER_DELAY_MS=100
CONFIG_POSIX_THREAD_ATTR_STACKADDR=y
CONFIG_POSIX_THREAD_ATTR_STACKSIZE=y
# CONFIG_POSIX_THREADS_EXT is not set
CONFIG_POSIX_THREAD_PRIORITY_SCHEDULING=y
CONFIG_POSIX_PTHREAD_ATTR_STACKSIZE_BITS=23
CONFIG_POSIX_PTHREAD_ATTR_GUARDSIZE_BITS=9
CONFIG_POSIX_PTHREAD_ATTR_GUARDSIZE_DEFAULT=0
CONFIG_POSIX_THREAD_PRIO_INHERIT=y
CONFIG_POSIX_THREAD_PRIO_PROTECT=y
CONFIG_POSIX_THREAD_SAFE_FUNCTIONS=y
# CONFIG_PTHREAD_LOG_LEVEL_OFF is not set
# CONFIG_PTHREAD_LOG_LEVEL_ERR is not set
# CONFIG_PTHREAD_LOG_LEVEL_WRN is not set
# CONFIG_PTHREAD_LOG_LEVEL_INF is not set
# CONFIG_PTHREAD_LOG_LEVEL_DBG is not set
CONFIG_PTHREAD_LOG_LEVEL_DEFAULT=y
CONFIG_PTHREAD_LOG_LEVEL=3