Skip to content

Instantly share code, notes, and snippets.

@gma
Created April 30, 2020 20:30
Show Gist options
  • Star 1 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save gma/735e4eea3c1d73ed0a8b6efce1abed66 to your computer and use it in GitHub Desktop.
Save gma/735e4eea3c1d73ed0a8b6efce1abed66 to your computer and use it in GitHub Desktop.
Work in progress to build patched Pop kernel
#!/bin/sh
set -e
apt-get source linux
pushd linux-*
# modify debian.master/changelog at this point
patch -p1 < <(curl URL of patch)
fakeroot debian/rules clean
fakeroot debian/rules binary-headers binary-generic binary-perarch skipmodule=true skipabi=true skipretpoline=true
popd
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment