diff --git a/documentation/kernel-dev/kernel-dev-intro.xml b/documentation/kernel-dev/kernel-dev-intro.xml
index 2523b74b7d..67d8d93f08 100644
--- a/documentation/kernel-dev/kernel-dev-intro.xml
+++ b/documentation/kernel-dev/kernel-dev-intro.xml
@@ -11,9 +11,15 @@
         chances are you are going to need to work with the Linux kernel.
         The Yocto Project provides a powerful set of tools for managing
         Linux kernel sources and configuration data.
-        If you want to make a single configuration change, apply a couple
-        of patches, or work with your own sources, this tooling can
-        help you.
+        You can use this tooling to help you make a single configuration change,
+        apply a couple of patches, or work with your own sources.
+    </para>
+
+    <para>
+        The Yocto Project Kernel Development Manual describes common tasks
+        you can perform using the kernel tooling as well as provides information
+        about the metadata needed to work with the kernel inside the
+        Yocto Project.
     </para>
 
     <section id='kernel-dev-background'>