2012/6/15 Ralf Mardorf <ralf.mardorf@xxxxxxxxxxxxx> > On Thu, 2012-06-14 at 11:37 -0300, Victor Silva wrote: > > Also, is there a procedure I can use to have multiple kernels? > > Don't name the packages/kernels "linux". Name them linux, linux-1, > linux-2 etc.?! > > You also could get different kernels from the repositories, of course > not different versions of "linux", but e.g. "linux" + "linux-rt". > > $ ls /mnt/archlinux/boot/vmlinuz* > /mnt/archlinux/boot/vmlinuz-linux /mnt/archlinux/boot/vmlinuz-linux-rt > > Oki. I will try it on the weekend. There seems to be an official bug now: https://bugs.archlinux.org/task/30136 I will provide them the link of our discussion.
