diff --git a/documentation/dev-manual/dev-manual.xml b/documentation/dev-manual/dev-manual.xml
index 97bcf9a829..f61e39be24 100644
--- a/documentation/dev-manual/dev-manual.xml
+++ b/documentation/dev-manual/dev-manual.xml
@@ -58,10 +58,10 @@
 
     <xi:include href="dev-manual-model.xml"/>
 
-    <xi:include href="dev-manual-cases.xml"/>
-
     <xi:include href="dev-manual-bsp-appendix.xml"/>
 
+    <xi:include href="dev-manual-kernel-appendix.xml"/>
+
 <!--    <index id='index'>
       <title>Index</title>
     </index>