# SPDX-License-Identifier: GPL-2.0-only
piggy_data
vmlinux
vmlinux.lds