Discussion:
patched debian kernel repository
John G Heim
2016-08-02 19:22:52 UTC
Permalink
I set up a debian repository with a patched debian amd64 kernel. It
worked for me with my litetalk serial synth. To use the repository, do
the following:


1. Download the sources.list.d file:


sudo wget -O /etc/apt/sources.list.d/iavit.list
http://www.iavit.org/~john/debian/iavit.list

2. Install my gpg key into apt:

sudo bash -c "wget -O -
http://www.iavit.org/~john/debian/john_iavit_org.asc | apt-key add -"

3. Install the kernel:

sudo apt-get update
sudo apt-get install linux-image-amd64

4. Reboot.

PS: It might be a good idea to configure grub so you can easily get back
to the stock debian kernel if mine does not work. I would recommend at
the very least, uncommenting the line at the end of /etc/default/grub
that makes grub beep.
--
--
John G. Heim; ***@math.wisc.edu; sip://***@sip.linphone.org
Loading...