It should work under 32-bit debian or devuan jessie. I plan to try this under that very environment soon, maybe even this weekend with a bns and dtlk. As for getting back to the old kernel, the easiest thing I can think of is to get familiar with your boot loaders menu, either that, or access grub2 with a serial console. Greg On Wed, Apr 12, 2017 at 06:14:21PM -0700, Tom Fowle wrote: > Will this process work on 32 bit jessie? > and for the wimps among us, how does one get the old kernel back if the new > version doesn't work? > thanks > tom Fowle -- web site: http://www.gregn.net gpg public key: http://www.gregn.net/pubkey.asc skype: gregn1 (authorization required, add me to your contacts list first) If we haven't been in touch before, e-mail me before adding me to your contacts. -- Free domains: http://www.eu.org/ or mail dns-manager@xxxxxx _______________________________________________ Speakup mailing list Speakup@xxxxxxxxxxxxxxxxx http://linux-speakup.org/cgi-bin/mailman/listinfo/speakup