# SPDX-License-Identifier: MIT
if [ "$KARCH" = "x86_64" ] || [ "$KARCH" = "i386" ]; then
    kconf non-hardware debug-pm-trace-rtc.cfg
fi