Re: [RISC-V] [tech-unprivileged] Direction of Identifying Extensions
Aaron Durbin
On Fri, Jul 8, 2022 at 2:30 PM Allen Baum <allen.baum@...> wrote:
Correct. Do you have a better term that captures such notions? I fully agree that the previous definition of an extension is not the same in this case. FWIW, the profile spec uses both 'extensions' and 'options' within the current proposal for these newly coined names.
|
|