/
usr
/
src
/
linux-aws-7.0-headers-7.0.0-1012
/
tools
/
verification
/
rvgen
/
/usr/src/linux-aws-7.0-headers-7.0.0-1012/tools/verification/rvgen
mkdir
upload
Name
Size
Mode
Actions
rvgen/
-
0755
rm
Makefile
950
0644
edit
dl
rm
cmd:
run