I'm using the raspberry pi with the latest ArchLinuxARM image.
I'm having issues with the linux kernel and it randomly panics with 'kernel paging request' errors.
I did that but the issue persists and I keep getting kernel panics. Now, other people having that issue report the slub debug option fixed their kernal panic behaviour. They are basicly using debian derivates on their pi.
Now I wonder if the
/boot/cmdline.txt is the correct way to change the arch linux kernel command line in ArchLinux?
Any ideas what else I could try?