#!/usr/bin/env bash # SPDX-License-Identifier: GPL-2.0-only # Created by Tobias Powalowski build () { add_checked_modules '/hv/hv_*' } help () { cat<