# Copyright (c) 2018 Intel Corporation
# Copyright (c) 2023 Meta
# Copyright (c) 2024 Tenstorrent AI ULC
#
# SPDX-License-Identifier: Apache-2.0

menu "POSIX Options"

rsource "Kconfig.profile"

rsource "Kconfig.aio"
rsource "Kconfig.barrier"
rsource "Kconfig.c_lang_r"
rsource "Kconfig.c_lib_ext"
rsource "Kconfig.device_io"
rsource "Kconfig.fd_mgmt"
rsource "Kconfig.file_system_r"
rsource "Kconfig.fs"
rsource "Kconfig.mem"
rsource "Kconfig.mqueue"
rsource "Kconfig.net"
rsource "Kconfig.proc1"
rsource "Kconfig.procN"
rsource "Kconfig.pthread"
rsource "Kconfig.rwlock"
rsource "Kconfig.sched"
rsource "Kconfig.semaphore"
rsource "Kconfig.signal"
rsource "Kconfig.spinlock"
rsource "Kconfig.sync_io"
rsource "Kconfig.timer"

menu "X/Open system interfaces"

rsource "Kconfig.xsi_realtime"
rsource "Kconfig.xsi_single_process"
rsource "Kconfig.xsi_streams"
rsource "Kconfig.xsi_system_logging"
rsource "Kconfig.xsi_threads_ext"

endmenu # "X/Open system interfaces"

rsource "Kconfig.compat"

rsource "Kconfig.toolchain"

endmenu # "POSIX Options"
