On 2017-10-09, at 12:05 PM, Tom Bogendoerfer wrote: > On Mon, Oct 09, 2017 at 05:34:41PM +0200, Helge Deller wrote: >> Or, even better, add some code to palo and boot into palo to print out >> the wanted registers? > > it might be easier to use adb or kernel debugger. I tried adb but I didn't have any luck. It's not clear how 64-bit addresses are handled and I suspect it can't access registers in /dev/mem since it wasn't possible to access them with pread. Dave -- John David Anglin dave.anglin@xxxxxxxx -- To unsubscribe from this list: send the line "unsubscribe linux-parisc" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html