18c2ecf20Sopenharmony_ci# SPDX-License-Identifier: GPL-2.0 28c2ecf20Sopenharmony_ci 38c2ecf20Sopenharmony_ciobj-y += ptdump.o 48c2ecf20Sopenharmony_ci 58c2ecf20Sopenharmony_ciobj-$(CONFIG_4xx) += shared.o 68c2ecf20Sopenharmony_ciobj-$(CONFIG_PPC_8xx) += 8xx.o 78c2ecf20Sopenharmony_ciobj-$(CONFIG_PPC_BOOK3E_MMU) += shared.o 88c2ecf20Sopenharmony_ciobj-$(CONFIG_PPC_BOOK3S_32) += shared.o bats.o segment_regs.o 98c2ecf20Sopenharmony_ciobj-$(CONFIG_PPC_BOOK3S_64) += book3s64.o hashpagetable.o 10