1 files changed, 3 insertions, 3 deletions

diff --git a/doc/book-enea-linux-user-guide/doc/using_eclipse.xml b/doc/book-enea-linux-user-guide/doc/using_eclipse.xml
index f6c7759..f354399 100644
--- a/doc/book-enea-linux-user-guide/doc/using_eclipse.xml
+++ b/doc/book-enea-linux-user-guide/doc/using_eclipse.xml
@@ -877,7 +877,7 @@ root 329 0.0 0.2 1864824 2600 ? Ssl 12:47 0:08 /usr/sbin/tcf-agent -d -L- -l0</p
                 <para>Under the <emphasis role="bold">Debugger</emphasis> tab,
                 fill in the <literal>GDB Debugger</literal> field with the
                 path to the GDB binary from the SDK. Example path:
-                <filename>&lt;extsdkdir&gt;/tmp/sysroots/x86_64-linux/usr/bin/&lt;arch&gt;-enea-linux/&lt;arch&gt;-enea-linux-gdb</filename></para>
+                <filename>&lt;extsdkdir&gt;/tmp/sysroots/x86_64/usr/bin/&lt;arch&gt;-enea-linux/&lt;arch&gt;-enea-linux-gdb</filename></para>
               </listitem>
 
               <listitem>
@@ -900,7 +900,7 @@ root 329 0.0 0.2 1864824 2600 ? Ssl 12:47 0:08 /usr/sbin/tcf-agent -d -L- -l0</p
     <para>In this section you learn to set up Eclipse for KGDB<indexterm>
         <primary>KGDB</primary>
       </indexterm> kernel debugging over the serial port, with examples for
-    the <literal>raspberrypi3</literal> target. This is only given as an
+    the <literal>intel-corei7-64</literal> target. This is only given as an
     example, your Enea Linux distribution may contain other targets. The
     corresponding instruction for debugging outside Eclipse is available in
     Debugging the Linux Kernel (KGDB) from Command Line.<remark>LATER: Merge
@@ -934,7 +934,7 @@ root 329 0.0 0.2 1864824 2600 ? Ssl 12:47 0:08 /usr/sbin/tcf-agent -d -L- -l0</p
         you can find it in the rootfs under the <literal>/boot</literal>
         folder. If you build your own kernel using bitbake, it should be
         available in your build folder. Located in, for example:
-        <filename><filename>tmp/work/raspberrypi3_64-enea-linux/linux-raspberrypi/1_4.9.59+gitAUTOINC+meta_machine-r0/image/boot/vmlinux-4.9.59</filename></filename></para>
+        <filename><filename>tmp/work/corei7-64-intel-common-enea-linux/linux-intel/4.14.66+gitAUTOINC+d64aec9793_dd6a8b48d4-r0/linux-corei7-64-intel-common-standard-build/vmlinux</filename></filename></para>
       </listitem>
 
       <listitem>