Commit fd8c2237 authored by anonym's avatar anonym
Browse files

Recommend the backported kernel when building on Debian Stable.

parent e86332de
......@@ -55,6 +55,19 @@ Debian Stretch, and one of Tails' repos until [[!debbug 823395]] is fixed:
sudo apt-get update
If you run Debian Stable we strongly recommend installing the
backported Linux kernel. The builder virtual machine will use that
version, and in our experience the larger the discrepancy between
kernel versions on host and guest, the more problems. So:
sudo tee /etc/apt/sources.list.d/jessie-backports.list <<EOF
deb http://ftp.us.debian.org/debian/ jessie-backports main
deb-src http://ftp.us.debian.org/debian/ jessie-backports main
EOF
sudo apt-get update
sudo apt-get install -t jessie-backports linux-image-amd64
Now we can install all the dependencies:
sudo apt-get install \
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment