# SPDX-License-Identifier: MIT
CONFIG_PROVE_LOCKING=y