Updated the kernel version to 4.14.12 and added new mandatory build dependency. The buuild is stable.

README.md

@@ -46,7 +46,7 @@ The section below is for Ubuntu and other Debian based distros.
 
 ```
 # Resove build dependencies
-sudo apt install wget make gawk gcc bc xorriso
+sudo apt install wget make gawk gcc bc libelf-dev xorriso
 
 # Build everything and produce ISO image.
 ./build_minimal_linux_live.sh

docs/www/index.html

@@ -67,7 +67,7 @@
             Resolve the build dependencies (e.g. GCC, make, etc.). On <a target="_blank" href="http://www.ubuntu.com/">Ubuntu</a> you can use the following command:
             <div style="font-size: 10%;">&nbsp;</div>
             &nbsp;&nbsp;&nbsp;&nbsp;
-            <code>sudo apt install wget make gawk gcc bc xorriso</code>
+            <code>sudo apt install wget make gawk gcc bc libelf-dev xorriso</code>
           </li>
           <li>
             Execute the script <strong>build_minimal_linux_live.sh</strong> and get some coffee. The whole build process should take less than 30 minutes on a modern computer.

src/.config

@@ -11,7 +11,7 @@
 #
 #   http://kernel.org
 #
-KERNEL_SOURCE_URL=http://kernel.org/pub/linux/kernel/v4.x/linux-4.14.8.tar.xz
+KERNEL_SOURCE_URL=http://kernel.org/pub/linux/kernel/v4.x/linux-4.14.12.tar.xz
 
 # You can find the latest GNU C library source bundles here:
 #

src/README

@@ -10,7 +10,7 @@ configured. Check the project website for more information:
 For Ubuntu and other Debian based operating systems you can use the following
 command in order to resolve the required build dependencies:
 
-  sudo apt install wget make gawk gcc bc xorriso
+  sudo apt install wget make gawk gcc bc libelf-dev xorriso
 
 Once you have your ISO image up and running perhaps you'd like to examine the
 configuration file '.config' and see what options you have there. For example,