On Mai 02 2023, Andreas Schwab wrote: > None of the currently defined cpus are non-GC cpus (except sifive_e, but > that is not suitable for user-space anyway), and there doesn't appear to > be any properties defined for changing the supported extensions.
Actually, modifying the extensions is possible for the base cpus (rv32 and rv64). -- Andreas Schwab, SUSE Labs, sch...@suse.de GPG Key fingerprint = 0196 BAD8 1CE9 1970 F4BE 1748 E4D4 88E3 0EEA B9D7 "And now for something completely different."