pw_sync_zephyr/Kconfig

# Copyright 2021 The Pigweed Authors
#
# Licensed under the Apache License, Version 2.0 (the "License"); you may not
# use this file except in compliance with the License. You may obtain a copy of
# the License at
#
#     https://www.apache.org/licenses/LICENSE-2.0
#
# Unless required by applicable law or agreed to in writing, software
# distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
# WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the
# License for the specific language governing permissions and limitations under
# the License.

config PIGWEED_SYNC
    bool
    select PIGWEED_CHRONO_SYSTEM_CLOCK
    select PIGWEED_PREPROCESSOR
    select PIGWEED_INTERRUPT_CONTEXT

config PIGWEED_SYNC_MUTEX
    bool "Enable Pigweed mutex library (pw_sync.mutex)"
    select PIGWEED_SYNC
    select PIGWEED_POLYFILL

config PIGWEED_SYNC_BINARY_SEMAPHORE
    bool "Enable Pigweed binary semaphore library (pw_sync.binary_semaphore)"
    select PIGWEED_SYNC

config PIGWEED_SYNC_INTERRUPT_SPIN_LOCK
    bool "Link pw_sync.interrupt_spin_lock and set the Zephyr backend"

config PIGWEED_SYNC_THREAD_NOTIFICATION
    bool "Link pw_sync.thread_notification and set the Zephyr backend"
    select PIGWEED_SYNC_BINARY_SEMAPHORE

config PIGWEED_SYNC_TIMED_THREAD_NOTIFICATION
    bool "Link pw_sync.timed_thread_notification and set the Zephyr backend"
    select PIGWEED_SYNC_BINARY_SEMAPHORE