1 files changed, 14 insertions, 12 deletions

diff --git a/doc/book-enea-linux-user-guide/doc/using_enea_linux.xml b/doc/book-enea-linux-user-guide/doc/using_enea_linux.xml
index d609069..6a1614e 100644
--- a/doc/book-enea-linux-user-guide/doc/using_enea_linux.xml
+++ b/doc/book-enea-linux-user-guide/doc/using_enea_linux.xml
@@ -270,10 +270,12 @@ label device01
         </listitem>
 
         <listitem>
-          <para>Copy <filename>pxelinux.0</filename> and
-          <filename>vesamenu.c32</filename> from the build directory, e.g.
-          from
-          <filename>&lt;build_dir&gt;tmp/work/corei7-64-enea-linux/syslinux/6.04-pre2-r0/image/usr/share/syslinux/</filename>.</para>
+          <para>Copy <filename>pxelinux.0</filename> and <filename>vesamenu.c32
+          </filename> from the official  <ulink 
+          url="https://mirrors.edge.kernel.org/pub/linux/utils/boot/syslinux/">
+          Syslinux archive</ulink>. The files are located under 
+          <filename>./bios/core/</filename> respectively 
+          <filename>./bios/com32/</filename> subfolders.</para>
         </listitem>
 
         <listitem>
@@ -307,7 +309,7 @@ label device01
       your board model to find the appropriate key.</para>
     </section>
 
-    <section id="boot_from_ram">
+    <section id="boot_from_ram" condition="hidden">
       <title>Boot from RAM</title>
 
       <para>This example requires that a TFTP server is set up at IP address
@@ -340,11 +342,11 @@ U-Boot&gt; booti 0x01000000 0x03000000 0x02000000</programlisting>
       <title>Boot from SD card</title>
 
       <para>Copy the
-      <filename>enea-image-standard-raspberrypi3-64.rpi-sdimg</filename> image
+      <filename>enea-image-standard-intel-corei7-64.wic</filename> image
       to the SD card using the Linux dd tool or Win32DiskImager in Windows,
-      and insert it into the RPi. The Raspberry Pi will not start without a
-      properly formatted SD Card, containing the bootloader, kernel image and
-      rootfs.</para>
+      and insert it into the Intel Xeon D board. The board will not start 
+      without a properly formatted SD Card, containing the bootloader, 
+      kernel image and rootfs.</para>
 
       <para>Below you can find two methods of how to format an SD Card:</para>
 
@@ -357,7 +359,7 @@ U-Boot&gt; booti 0x01000000 0x03000000 0x02000000</programlisting>
           the format of the data in the process, according to the operands
           specified:</para>
 
-          <programlisting>sudo dd bs=4M if=enea-image-standard-sdk-raspberrypi3-64.rpi-sdimg of=/dev/sdg</programlisting>
+          <programlisting>sudo dd bs=4M if=enea-image-standard-intel-corei7-64.wic of=/dev/sdg</programlisting>
 
           <note>
             <para>Use <command>dd</command> cautiously - improper usage or
@@ -386,7 +388,7 @@ U-Boot&gt; booti 0x01000000 0x03000000 0x02000000</programlisting>
 
             <listitem>
               <para>Select the image
-              <filename>enea-image-standard-raspberrypi3-64.rpi-sdimg</filename>.</para>
+              <filename>enea-image-standard-intel-corei7-64.wic</filename>.</para>
             </listitem>
 
             <listitem>
@@ -398,7 +400,7 @@ U-Boot&gt; booti 0x01000000 0x03000000 0x02000000</programlisting>
             </listitem>
 
             <listitem>
-              <para>Plug the card into your Raspberry Pi.</para>
+              <para>Plug the card into your Intel Xeon D board.</para>
             </listitem>
           </orderedlist>