# 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_lib_ext" rsource "Kconfig.device_io" rsource "Kconfig.fd_mgmt" 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" rsource "Kconfig.xsi" rsource "Kconfig.compat" rsource "Kconfig.deprecated" rsource "Kconfig.toolchain" endmenu # "POSIX Options"