View Single Post
Posts: 109 | Thanked: 56 times | Joined on Apr 2009
#89
Originally Posted by dj_steve View Post
only part which needs flashing is kernel rest runs from sd card
But having to run the flasher tool every time I want to switch between the operating systems is hardly practical. Forgive my ignorance when it comes to linux kernels, but don't bootloaders (I'm thinking GRUB here) allow you to switch between kernels?