diff options
Diffstat (limited to 'tools/rmq/Makefile')
| -rw-r--r-- | tools/rmq/Makefile | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/tools/rmq/Makefile b/tools/rmq/Makefile new file mode 100644 index 0000000..f58e4d9 --- /dev/null +++ b/tools/rmq/Makefile @@ -0,0 +1,19 @@ +# rmq - RM query tool (userspace RM API client) +# +# Queries the host NVIDIA Resource Manager via /dev/nvidia0 ioctls. +# Used as an "oracle" to extract ground-truth static GPU data (device info +# tables, static config) from the host's real GSP-RM for the GSP-RM emulation +# layer (kernel/gsp_rm_emulation.c). + +CC ?= gcc +CFLAGS ?= -O2 -Wall + +all: rmq + +rmq: rmq.c + $(CC) $(CFLAGS) -o $@ $< + +clean: + rm -f rmq + +.PHONY: all clean |