We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
For CHERI we need to extend AccessType to have entries for cache accesses. Here's what we have:
AccessType
enum CacheAccessType = { CleanFlush, Inval, Zero, } union AccessType ('a : Type) = { Read : 'a, Write : 'a, // (Read, Write) ReadWrite : ('a, 'a), Execute : unit, Cache : CacheAccessType, }
Also the access type for Zicbom needs to be based on the original type of access, not what it is changed to by menvcfg[CBIE] etc.
menvcfg[CBIE]
The text was updated successfully, but these errors were encountered:
No branches or pull requests
For CHERI we need to extend
AccessType
to have entries for cache accesses. Here's what we have:Also the access type for Zicbom needs to be based on the original type of access, not what it is changed to by
menvcfg[CBIE]
etc.The text was updated successfully, but these errors were encountered: