CONFIG_NET_TEST=y CONFIG_ZTEST=y CONFIG_ENTROPY_GENERATOR=y CONFIG_TEST_RANDOM_GENERATOR=y CONFIG_SYSTEM_WORKQUEUE_STACK_SIZE=2048 CONFIG_NETWORKING=y CONFIG_NET_L2_DUMMY=y CONFIG_NET_IPV4=y CONFIG_NET_IPV6=n CONFIG_NET_UDP=y CONFIG_NET_DHCPV4_SERVER=y # Reduce probe/decline timeout to speed up tests CONFIG_NET_DHCPV4_SERVER_ICMP_PROBE_TIMEOUT=10 CONFIG_NET_DHCPV4_SERVER_ADDR_DECLINE_TIME=1 # We need to set POSIX_API and use picolibc for eventfd to work CONFIG_POSIX_API=y CONFIG_PICOLIBC=y