Just curious, where aren’t they complying with the ISA? I know they use a couple registers in specific ways, but IIRC, the way they use it was left to the implementer so they aren’t diverging from the architecture.