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've found a solution to enable slub debugging in the linxu kernel here and here which tells me to edit /boot/cmdline.txt and add slub_debug=FP at the end of the command line.
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?