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