# SPDX-License-Identifier: GPL-2.0-only # # Copyright (C) 2019 Kalray Inc. # obj-y += cpuinfo.o board.o dtb.o poweroff.o bootm.o