1// SPDX-License-Identifier: GPL-2.0
2//
3// Copyright (c) 2024 Andrea Righi <andrea.righi@linux.dev>
45// This software may be used and distributed according to the terms of the
6// GNU General Public License version 2.
78include!(concat!(env!("OUT_DIR"), "/bpf_skel.rs"));