linux/tools/verification/rv/src/Build

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