18c2ecf20Sopenharmony_ci# SPDX-License-Identifier: GPL-2.0-only 28c2ecf20Sopenharmony_ciobj-$(CONFIG_XENFS) += xenfs.o 38c2ecf20Sopenharmony_ci 48c2ecf20Sopenharmony_cixenfs-y = super.o 58c2ecf20Sopenharmony_cixenfs-$(CONFIG_XEN_DOM0) += xenstored.o 68c2ecf20Sopenharmony_cixenfs-$(CONFIG_XEN_SYMS) += xensyms.o 7