tools/verification/rv/src/Build - linux - Git at Google

 rv-y += trace.o
 rv-y += utils.o
 rv-y += in_kernel.o
 rv-y += rv.o
	rv-y += trace.o
	rv-y += utils.o
	rv-y += in_kernel.o
	rv-y += rv.o