As a convenience, and good practice, let's set up an environment variable to point to the location of the root of our kernel source tree: export LLKD_KSRC=${HOME ...