# SPDX-License-Identifier: GPL-2.0+

obj-y	+= pvmfw-arm64.o
obj-y	+= lowlevel_init.o
