From e9ec812391be76b8be35526f369d2fd038bc6f7c Mon Sep 17 00:00:00 2001
From: Ian A Mason <ian.mason@sri.com>
Date: Mon, 30 Apr 2018 13:47:38 -0700
Subject: [PATCH 1/4] Update README.md

---
 examples/linux-kernel/README.md | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/examples/linux-kernel/README.md b/examples/linux-kernel/README.md
index e1e6522..23f275c 100644
--- a/examples/linux-kernel/README.md
+++ b/examples/linux-kernel/README.md
@@ -6,7 +6,7 @@ the relatively simple task. We assume familiarity with Vagrant.
 
 ## Vagrantfile
 
-```
+```ruby
 # -*- mode: ruby -*-
 # vi: set ft=ruby :
 
@@ -28,7 +28,7 @@ end
 
 ## Bootstrapping 
 
-```
+```bash
 #!/usr/bin/env bash
 
 sudo apt-get update
@@ -63,7 +63,7 @@ The file `tinyconfig64` is generated ...
 The build process is carried out by running the `build_linux_gllvm.sh`
 script.
 
-```
+```bash
 #!/usr/bin/env bash
 
 export GOPATH=/vagrant/go

From 888bb5031de2c703824e65cad2f58b313fc3a3f1 Mon Sep 17 00:00:00 2001
From: Ian A Mason <ian.mason@sri.com>
Date: Mon, 30 Apr 2018 16:43:08 -0700
Subject: [PATCH 2/4] Update README.md

---
 examples/linux-kernel/README.md | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)

diff --git a/examples/linux-kernel/README.md b/examples/linux-kernel/README.md
index 23f275c..ce13fc8 100644
--- a/examples/linux-kernel/README.md
+++ b/examples/linux-kernel/README.md
@@ -54,6 +54,24 @@ echo ". /vagrant/bash_profile" >> /home/vagrant/.bashrc
 
 ```
 
+## Shell Settings
+
+```bash
+####  llvm
+export LLVM_HOME=/usr/lib/llvm-5.0
+export GOPATH=/vagrant/go
+
+######## gllvm/wllvm configuration #############
+
+export LLVM_COMPILER=clang
+export WLLVM_OUTPUT_LEVEL=WARNING
+export WLLVM_OUTPUT_FILE=/vagrant/wrapper.log
+export PATH=${GOPATH}/bin:${PATH}
+
+```
+
+
+
 ## Configuration stuff.
 
 The file `tinyconfig64` is generated ...

From ea7f12b4bbc30283af2c836d1a89f467fa13b060 Mon Sep 17 00:00:00 2001
From: paul-naert <paul_naert@hotmail.fr>
Date: Mon, 30 Apr 2018 16:44:58 -0700
Subject: [PATCH 3/4] Update README.md

---
 examples/linux-kernel/README.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/examples/linux-kernel/README.md b/examples/linux-kernel/README.md
index ce13fc8..1f17865 100644
--- a/examples/linux-kernel/README.md
+++ b/examples/linux-kernel/README.md
@@ -104,3 +104,5 @@ get-bc -m vmlinux
 
 ```
 
+## Extracting the bitcode
+

From 96329fb0bf8c61f64ba07fb5767b07559a0c8344 Mon Sep 17 00:00:00 2001
From: Ian A Mason <ian.mason@sri.com>
Date: Wed, 2 May 2018 06:27:08 -0700
Subject: [PATCH 4/4] Update README.md

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index e2b1c89..f11d7b0 100644
--- a/README.md
+++ b/README.md
@@ -4,7 +4,7 @@
 [![Go Report Card](https://goreportcard.com/badge/github.com/SRI-CSL/gllvm)](https://goreportcard.com/report/github.com/SRI-CSL/gllvm)
 
 **TL; DR:**  A drop-in replacement for [wllvm](https://github.com/SRI-CSL/whole-program-llvm), that builds the
-bitcode in parallel, and is faster.
+bitcode in parallel, and is faster. A comparison between the two tools can be gleaned from building the [Linux kernel.](https://github.com/SRI-CSL/gllvm/tree/master/examples/linux-kernel)
 
 ## Quick Start Comparison Table