1# SPDX-License-Identifier: GPL-2.0-only 2# 3# Makefile for the RB532 board specific parts of the kernel 4# 5 6obj-$(CONFIG_SERIAL_8250_CONSOLE) += serial.o 7 8obj-y += irq.o time.o setup.o prom.o gpio.o devices.o 9