# SPDX-License-Identifier: MIT
kconf non-hardware debug-wwmutex-selftest.cfg