2018-05-23 01:43:53 +02:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
|
|
|
|
|
### building from a tarball with gllvm
|
|
|
|
|
|
|
|
|
|
go get github.com/SRI-CSL/gllvm/cmd/...
|
|
|
|
|
|
|
|
|
|
cd ${HOME}
|
|
|
|
|
wget https://cdn.kernel.org/pub/linux/kernel/v4.x/linux-4.14.39.tar.xz
|
|
|
|
|
tar xf linux-4.14.39.tar.xz
|
|
|
|
|
mv linux-4.14.39 linux-stable
|
|
|
|
|
cd linux-stable
|
|
|
|
|
|
2018-05-24 01:47:37 +02:00
|
|
|
cp /vagrant/link-vmlinux.sh scripts/ #to retain a copy of kallsyms.o
|
2018-05-23 01:43:53 +02:00
|
|
|
cp /vagrant/parse-bi.py .
|
|
|
|
|
cp /vagrant/make-script.sh .
|
|
|
|
|
|
|
|
|
|
make defconfig
|
2018-05-24 01:47:37 +02:00
|
|
|
bash make-script.sh
|
