1# SPDX-License-Identifier: GPL-2.0-only
2pss_boot.h
3trix_boot.h
4