If we know for certain we are switching to the POWER ISA, then I will go ahead and start reading the POWER spec. I had already been browsing the more complicated parts of the RISCV spec in my spare time.