1# SPDX-License-Identifier: GPL-2.0-only 2# 3# Makefile for TOSHIBA JMR-TX3927 board 4# 5 6obj-y += prom.o irq.o setup.o 7