Build « src « rv « verification « tools - linux.git - Unnamed repository; edit this file 'description' to name the repository.

index : linux.git

Unnamed repository; edit this file 'description' to name the repository.

git

about summary refs log tree commit diff

path: root/tools/verification/rv/src/Build

blob: d781983c1a79e105747ba624824b90e71fc50861 (plain)

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