# SPDX-License-Identifier: GPL-2.0 obj-$([31mCONFIG_HVC_CONSOLE[0m) += hvc_vio.o hvsi_lib.o obj-$([31mCONFIG_HVC_OPAL[0m) += hvc_opal.o hvsi_lib.o obj-$([31mCONFIG_HVC_OLD_HVSI[0m) += hvsi.o obj-$([31mCONFIG_HVC_RTAS[0m) += hvc_rtas.o obj-$([31mCONFIG_HVC_DCC[0m) += hvc_dcc.o obj-$([31mCONFIG_HVC_DRIVER[0m) += hvc_console.o obj-$([31mCONFIG_HVC_IRQ[0m) += hvc_irq.o obj-$([31mCONFIG_HVC_XEN[0m) += hvc_xen.o obj-$([31mCONFIG_HVC_IUCV[0m) += hvc_iucv.o obj-$([31mCONFIG_HVC_UDBG[0m) += hvc_udbg.o obj-$([31mCONFIG_HVC_RISCV_SBI[0m) += hvc_riscv_sbi.o obj-$([31mCONFIG_HVCS[0m) += hvcs.o |