> > I want to know: > > a) how can I choose that other linux version boots my system: > dpkg-reconfigure what? >
I believe you want to run flash-kernel to put your desired kernel in flash. Try 'man flash-kernel' as root. > 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, > Xan. > > > -- > To UNSUBSCRIBE, email to > debian-arm-REQUEST@lists.**debian.org<[email protected]> > with a subject of "unsubscribe". Trouble? Contact > [email protected] > Archive: > http://lists.debian.org/**4EFA1DAC.2040402@telefonica.**net<http://lists.debian.org/[email protected]> > >
