# SPDX-License-Identifier: GPL-2.0-only
#
# Copyright (C) 2019 Kalray Inc.
#

obj-y	+= cpuinfo.o board.o dtb.o poweroff.o bootm.o
