patched debian kernel repository

[John G Heim]

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; jheim at math.wisc.edu; sip://jheim@sip.linphone.org