xref: /linux-6.15/tools/verification/rv/src/Build (revision 19d7c3ad) 
1rv-y += trace.o
2rv-y += utils.o
3rv-y += in_kernel.o
4rv-y += rv.o
5