# SPDX-License-Identifier: GPL-2.0-only
#
# ia64/platform/hp/common/Makefile
#
# Copyright (C) 2002 Hewlett Packard
# Copyright (C) Alex Williamson (alex_williamson@hp.com)
#
obj-$([31mCONFIG_IA64_HP_SBA_IOMMU[0m) += sba_iommu.o
obj-$([31mCONFIG_IA64_HP_AML_NFW[0m) += aml_nfw.o