I have written the following Makefile to build and install a simple Linux Kernel module built from a single file src/vmm.c. The build
Makefile
src/vmm.c
build