1 files changed, 4 insertions, 4 deletions

diff --git a/documentation/dev-manual/dev-manual-start.xml b/documentation/dev-manual/dev-manual-start.xml
index 37576537b4..09b13c7783 100644
--- a/documentation/dev-manual/dev-manual-start.xml
+++ b/documentation/dev-manual/dev-manual-start.xml
@@ -199,10 +199,10 @@
         <title>Setting Up to Work on a Kernel</title>
 
         <para>
-            Kernel development is best accomplished using the
-            <filename>devtool</filename> tool and not through traditional
-            kernel workflow methods.
-            This section provides procedures for both.
+            Kernel development is best accomplished using
+            <ulink url='&YOCTO_DOCS_SDK_URL;#using-devtool-in-your-sdk-workflow'><filename>devtool</filename></ulink>
+            and not through traditional kernel workflow methods.
+            This section provides procedures to set up for both.
         </para>
 
         <section id='getting-ready-to-develop-using-devtool'>