1# SPDX-License-Identifier: GPL-2.0 2# Copyright (C) 2024 The Android Open Source Project 3 4exports_files(glob(["*/*/kernel.afdo"])) 5