diff --git a/documentation/dev-manual/dev-manual-model.xml b/documentation/dev-manual/dev-manual-model.xml
index 12a4069296..286e2a5ae2 100644
--- a/documentation/dev-manual/dev-manual-model.xml
+++ b/documentation/dev-manual/dev-manual-model.xml
@@ -270,6 +270,9 @@
linux-yocto-3.2 - The
stable Yocto Project kernel to use with the Yocto Project Release 1.2. This kernel
is based on the Linux 3.2 released kernel.
+ linux-yocto-3.4 - The
+ stable Yocto Project kernel to use with the Yocto Project Release 1.3. This kernel
+ is based on the Linux 3.4 released kernel.
linux-yocto-dev - A development
kernel based on the latest upstream release candidate available.