Skip to content

Tags: mwp1990/riscv-isa-manual

Tags

draft-20211130-f88f6b8

Toggle draft-20211130-f88f6b8's commit message
Add menvcfg.PBMTE / henvcfg.PBMTE

Architecture Review of the Svpbmt extension concluded that adding a
mechanism to disable availability of Svpbmt was desirable, because
(for example) if a hypervisor can know with certainty that its guest
cannot modify the memory attributes, then it can avoid cache flushing
in certain device-emulation regimes.

draft-20211130-75b2fbb

Toggle draft-20211130-75b2fbb's commit message
Priv specs are ratified

draft-20211129-ff858fc

Toggle draft-20211129-ff858fc's commit message
Add VS field

This was already ratified as part of the V extension.

draft-20211129-b5a3508

Toggle draft-20211129-b5a3508's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Clarify that implicit reads of CSRs return same value as explicit rea…

…ds (riscv#783)

Seems like the kind of thing that could've gone without saying, but it has
come up in conversation a number of times---including wrt. the recent
CSR Field Modulation discussion in riscv#782.

So, make it crystal clear.

draft-20211129-aea8b05

Toggle draft-20211129-aea8b05's commit message
Add VS field

This was already ratified as part of the V extension.

draft-20211129-a5b204a

Toggle draft-20211129-a5b204a's commit message
Fix typo

draft-20211129-682593e

Toggle draft-20211129-682593e's commit message
Remark that Svnapot and Svpbmt require Sv39

Resolves riscv#785

draft-20211128-5500f6c

Toggle draft-20211128-5500f6c's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Add Hazard3 to open-source marchid list (riscv#784)

This is a 3-stage `RV32I` core, with optional support for `M`/`C`/`Zba`/`Zbb`/`Zbc`/`Zbs` and debug support. It passes the ISA compliance tests, riscv-formal, OpenOCD DM compliance tests and the end-to-end debug tests from riscv-tests/debug.

[Github](https://github.com/Wren6991/Hazard3/blob/master/License)

[PDF documentation](https://github.com/Wren6991/Hazard3/blob/master/doc/hazard3.pdf)

The license is DWTFPLv3, which is effectively a public domain dedication.

draft-20211127-11163da

Toggle draft-20211127-11163da's commit message
Merge branch 'jhauser-us-jhauser-2021-CSRFieldMods'

draft-20211127-42c52d6

Toggle draft-20211127-42c52d6's commit message
Fix typo