hi,
	I find trying to work out what the PSR is after an oops to be
a bit of a pain, so here's an awk script to do it for you.

Usage is
      decode_psr hex_number
if you save the script as decode_psr.