18c2ecf20Sopenharmony_ci# SPDX-License-Identifier: GPL-2.0-only 28c2ecf20Sopenharmony_ci# 38c2ecf20Sopenharmony_ci# Makefile for the RB532 board specific parts of the kernel 48c2ecf20Sopenharmony_ci# 58c2ecf20Sopenharmony_ci 68c2ecf20Sopenharmony_ciobj-$(CONFIG_SERIAL_8250_CONSOLE) += serial.o 78c2ecf20Sopenharmony_ci 88c2ecf20Sopenharmony_ciobj-y += irq.o time.o setup.o prom.o gpio.o devices.o 9