Re: [PATCH v6 12/12] target/riscv/tcg: warn if profile exts are disabled

2023-10-29 Thread Alistair Francis
On Sat, Oct 28, 2023 at 8:07 PM Daniel Henrique Barboza wrote: > > Enabling a profile and then disabling some of its mandatory extensions > is a valid use. It can be useful for debugging and testing. But the > common expected use of enabling a profile is to enable all its mandatory > extensions. >

[PATCH v6 12/12] target/riscv/tcg: warn if profile exts are disabled

2023-10-28 Thread Daniel Henrique Barboza
Enabling a profile and then disabling some of its mandatory extensions is a valid use. It can be useful for debugging and testing. But the common expected use of enabling a profile is to enable all its mandatory extensions. Add an user warning when mandatory extensions from an enabled profile are