1# SPDX-License-Identifier: GPL-2.0-only 2boot/compressed/vmlinux 3tools/test_get_len 4tools/insn_sanity 5tools/insn_decoder_test 6purgatory/kexec-purgatory.c 7purgatory/purgatory.ro 8 9
1# SPDX-License-Identifier: GPL-2.0-only 2boot/compressed/vmlinux 3tools/test_get_len 4tools/insn_sanity 5tools/insn_decoder_test 6purgatory/kexec-purgatory.c 7purgatory/purgatory.ro 8 9