drivers/video/fbdev/vermilion/Makefile - hafnium/third_party/linux - Git at Google

 # SPDX-License-Identifier: GPL-2.0-only
 obj-$(CONFIG_FB_LE80578) += vmlfb.o
 obj-$(CONFIG_FB_CARILLO_RANCH) += crvml.o

 vmlfb-objs := vermilion.o
 crvml-objs := cr_pll.o
	# SPDX-License-Identifier: GPL-2.0-only
	obj-$(CONFIG_FB_LE80578) += vmlfb.o
	obj-$(CONFIG_FB_CARILLO_RANCH) += crvml.o

	vmlfb-objs := vermilion.o
	crvml-objs := cr_pll.o