1# SPDX-License-Identifier: GPL-2.0-only
2purgatory.chk
3purgatory.ro
4kexec-purgatory.c
5