From 19202b7ef61d6c54080b8c2df355bd90b4c19da9 Mon Sep 17 00:00:00 2001 From: Ian A Mason Date: Wed, 23 May 2018 16:05:09 -0700 Subject: [PATCH] Update README.md --- examples/linux-kernel/README.md | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/examples/linux-kernel/README.md b/examples/linux-kernel/README.md index c0a847d..521c7fd 100644 --- a/examples/linux-kernel/README.md +++ b/examples/linux-kernel/README.md @@ -43,8 +43,6 @@ sudo apt-get install -y flex bison bc libncurses5-dev sudo apt-get install -y libelf-dev libssl-dev echo ". /vagrant/bash_profile" >> /home/vagrant/.bashrc - -bash /vagrant/init_script.sh ``` ## Shell Settings @@ -151,7 +149,8 @@ Though using a tarball is faster, and seemingly more reliable. # Building a bootable kernel from bitcode -The init_script.sh script will build a bootable kernel from mostly bitcode (drivers and ext4 file system are currently not translated). + +The [init_script.sh](init_script.sh) script will build a bootable kernel from mostly bitcode (drivers and ext4 file system are currently not translated). ## Building the kernel with gclang