| # Copyright (c) 2023 Meta |
| # |
| # SPDX-License-Identifier: Apache-2.0 |
| |
| rsource "Kconfig.template.with_url" |
| |
| # This is mainly for TIMER currently. |
| menuconfig $(TYPE) |
| bool "$(type) support" |
| help |
| For more info, see |
| $(posix-url-base)/$(type-function).html |
| |
| if $(TYPE) |
| |
| # eventually, this size should be defaulted to 0 as a safe value |
| config MAX_$(TYPE)_COUNT |
| int "Maximum number of $(type)" |
| default 5 |
| help |
| Maximum simultaneously active $(type) in a POSIX application. |
| |
| rsource "Kconfig.template.with_logging" |
| |
| endif # $(TYPE) |