From 9648083167c069940ce279370f9d6ba2d5d557c0 Mon Sep 17 00:00:00 2001 From: "Ian A. Mason" Date: Mon, 7 May 2018 09:56:48 -0700 Subject: [PATCH] README.md tweaks. --- examples/linux-kernel/README.md | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) diff --git a/examples/linux-kernel/README.md b/examples/linux-kernel/README.md index e438a03..b7d635c 100644 --- a/examples/linux-kernel/README.md +++ b/examples/linux-kernel/README.md @@ -66,7 +66,8 @@ export PATH=${GOPATH}/bin:${LLVM_HOME}/bin:${PATH} ## Configuration stuff. -The file `tinyconfig64` is generated ... +The file [`tinyconfig64`](https://github.com/SRI-CSL/gllvm/blob/master/examples/linux-kernel/tinyconfig64) is generated +by `make tinyconfig` and the using `make menuconfig` to specialize the build to 64 bits. ## The Tarball Build with gllvm @@ -125,7 +126,3 @@ You can also build from a [git clone using gllvm,](https://github.com/SRI-CSL/gl or build from a [git clone using wllvm.](https://github.com/SRI-CSL/gllvm/blob/master/examples/linux-kernel/build_linux_wllvm_git.sh) Though using a tarball is faster, and seemingly more reliable. - - -## Extracting the bitcode -