Re: [PATCH] RISC-V: Throw compilation error for unknown sub-extension or supervisor extension

[Palmer Dabbelt]

On Wed, 12 Jul 2023 09:02:06 PDT (-0700), jeffreya...@gmail.com wrote:


On 7/11/23 21:30, juzhe.zh...@rivai.ai wrote:
LGTM
OK for the trunk.

I'd like to make sure Kito is OK with this.  IIUC the "pass through 
unknown extensions" behavior is deliberate.  It's not what I would have 
done, but I didn't do it ;)

jeff