I want to know:
a) how can I choose that other linux version boots my system: dpkg-reconfigure what?
b) can I follow the general howto to build my own kernel and make dpkg -i my-kernel.deb ?
I'm interested, overall, in (a).
Thanks in advance,
To UNSUBSCRIBE, email to debian-arm-REQUEST@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact email@example.com