#!/bin/bash # SPDX-License-Identifier: GPL-2.0 . "$(dirname $0)/lib/get_workload_pids.sh" rtla_pid=$(echo $(ps -o ppid= $$)) rtla_cgroup=$(