2018-04-30 18:58:19 +02:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
|
2018-05-07 18:41:38 +02:00
|
|
|
### building from a git clone with gllvm
|
|
|
|
|
|
2018-04-30 18:58:19 +02:00
|
|
|
go get github.com/SRI-CSL/gllvm/cmd/...
|
|
|
|
|
|
2018-05-07 18:29:31 +02:00
|
|
|
cd ${HOME}
|
2018-04-30 18:58:19 +02:00
|
|
|
git clone git://git.kernel.org/pub/scm/linux/kernel/git/stable/linux-stable.git
|
|
|
|
|
|
|
|
|
|
cd linux-stable
|
2018-05-07 20:34:36 +02:00
|
|
|
git checkout tags/v4.14.39
|
2018-04-30 18:58:19 +02:00
|
|
|
cp /vagrant/tinyconfig64 .config
|
|
|
|
|
|
|
|
|
|
make CC=gclang HOSTCC=gclang
|
|
|
|
|
|
|
|
|
|
get-bc -m -b built-in.o
|
|
|
|
|
get-bc -m vmlinux
|
