Update README.md

This commit is contained in:
Ian A Mason 2018-05-23 16:05:09 -07:00 committed by GitHub
parent e65f41c4e7
commit 19202b7ef6
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -43,8 +43,6 @@ sudo apt-get install -y flex bison bc libncurses5-dev
sudo apt-get install -y libelf-dev libssl-dev sudo apt-get install -y libelf-dev libssl-dev
echo ". /vagrant/bash_profile" >> /home/vagrant/.bashrc echo ". /vagrant/bash_profile" >> /home/vagrant/.bashrc
bash /vagrant/init_script.sh
``` ```
## Shell Settings ## Shell Settings
@ -151,7 +149,8 @@ Though using a tarball is faster, and seemingly more reliable.
# Building a bootable kernel from bitcode # 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 ## Building the kernel with gclang