coreboot-libre-fam15h-rdimm/3rdparty/opensbi/platform/ariane-fpga/objects.mk

#
# SPDX-License-Identifier: GPL-2.0
#
# Copyright (C) 2019 FORTH-ICS/CARV
#		Panagiotis Peristerakis <perister@ics.forth.gr>
#

platform-objs-y += platform.o