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