# CONFIG_INET is not set
