diff --git a/documentation/kernel-dev/kernel-dev-common.xml b/documentation/kernel-dev/kernel-dev-common.xml
index 90a4f3876f..e16b9e79a4 100644
--- a/documentation/kernel-dev/kernel-dev-common.xml
+++ b/documentation/kernel-dev/kernel-dev-common.xml
@@ -477,9 +477,9 @@
the compile.
Once compilation is successful, you can inspect and test
the resulting build (i.e. kernel, modules, and so forth) from
- the Build Directory:
+ the following build directory:
- ${WORKDIR}/linux-${MACHINE}-${KTYPE}-build
+ ${WORKDIR}/linux-${PACKAGE_ARCH}-${LINUX_KERNEL_TYPE}-build
Alternatively, you can run the deploy
command to place the kernel image in the