The ISAMUX/NS Standard, applied to POWER ISA, needs to be written up in a form suitable for proposal to the OpenPOWER Foundation. Followthrough to adoption included. See informal writeup: https://libre-riscv.org/isa_conflict_resolution/isamux_isans/
http://lists.libre-riscv.org/pipermail/libre-riscv-dev/2020-February/004190.html
This has, at long last, been started.
alain just sone notes from our conversation: there are 2 aspects. 1. PCR binary encoded range (6 bits) to be proposed, and for libresoc to request "0b000001" this places the CPU into "libresoc compatibility mode" 2. reservation and use of some MSR bits. this for *internal* LibreSOC usage. the OpenPOWER Foundation needs to be requested officially to reserve (1) as part of the spec. the OpenPOWER Foundation needs to be *notified* of our intent (2) but given that it is ONLY enabled in PCR-sets-LibreSOC-Compatible-mode it is NOT necessary to request authorisation for it, NOR to request that it be included in the OpenPOWER spec. however they still need to review (2) to make sure that it does not interfere with future plans for MSR.