Sorry, I didn't notice the rvk list in addition to rv32k and rv64k, so
> * They are missing some Zk* opcodes that are currently at v1.0 public
> review.
is incorrect. I'm pretty sure my other comments are accurate.
--
L Peter Deutsch <
gh...@major2nd.com> :: Aladdin Enterprises :: Healdsburg, CA
Was your vote really counted?
http://www.verifiedvoting.org