1# SPDX-License-Identifier: GPL-2.0-only
2vdso32.lds
3vdso32.so.dbg
4vdso64.lds
5vdso64.so.dbg
6