[PATCH] RISC-V: Deprecate the use of ".option arch, -ext" due to its controversial use

[Jan Beulich]

On 08.07.2025 12:24, Nelson Chu wrote:
> Before we figure out the whole remove situations for ".option arch, -ext", and
> have any RISC-V public spec defines it, we should just deprecate it.

I think it might be nice to clarify, in doc, what the suggested alternative(s)
is / are. I supposed in many cases one can use .option push/pop, but I'm not
sure there aren't situations in which this isn't easily possible.

Jan