<p>Greetings,</p>

<p>This message has been automatically generated in response to the
creation of a trouble ticket regarding <b>ISA RFC Request - Formal Proposal - by Luke Leighton (Libre-SOC)</b>,
a summary of which appears below.</p>

<p>There is no need to reply to this message right now.  Your ticket has been
assigned an ID of <b>[[OPF][ISA] #200570]</b>.</p>

<p>Please include the string <b>[[OPF][ISA] #200570]</b>
in the subject line of all future correspondence about this issue. To do so,
you may reply to this message.</p>

<p>Thank you,<br/>
isa@openpower.foundation</p>

<hr/>
<pre style="white-space: pre-wrap; font-family: monospace;">public RFC. all discussion and feedback to take place at
https://lists.libre-soc.org/mailman/listinfo/libre-soc-isa</pre>