# Copyright (c) 2023 Meta
#
# SPDX-License-Identifier: Apache-2.0

rsource "Kconfig.template.with_url"

# Not user configurable (i.e. private for now)
menuconfig $(TYPE)
	bool "$(type) support"
	depends on PTHREAD_IPC
	default y
	help
	  Support for $(TYPE)
	  For more info, see
	  $(posix-url-base)/$(type-function).html

if $(TYPE)

# eventually, this size should be defaulted to 0
config MAX_$(TYPE)_COUNT
	int "Maximum number of $(type)"
	default 5
	depends on $(TYPE)
	help
	  Maximum simultaneously active $(type) in a POSIX application.

rsource "Kconfig.template.with_logging"

endif # $(TYPE)