# SPDX-License-Identifier: GPL-2.0
# Copyright (C) 2024 The Android Open Source Project

exports_files(glob(["*/*/kernel.afdo"]))