#!/usr/bin/bash -e
# SPDX-License-Identifier: GPL-2.0-or-later
[ -e /sys/kernel/realtime ]