aboutsummaryrefslogtreecommitdiff
path: root/src/supervisor.tex
AgeCommit message (Collapse)AuthorFilesLines
2018-12-20Clarify that PTE updates aren't atomic w.r.t. the ultimate access (#308)Andrew Waterman1-3/+9
I claim that this follows from the text in the following section, but it is clearly deserving of clarification. https://groups.google.com/a/groups.riscv.org/forum/?utm_medium=email&utm_source=footer#!msg/isa-dev/EQQGObY1bQM/xm6imw-aCwAJ
2018-12-04Version of priv spec ready for ratification processAndrew Waterman1-1/+1
2018-12-03Mostly remove RV128 from priv spec, for nowAndrew Waterman1-4/+4
2018-12-03S-mode editsAndrew Waterman1-5/+5
2018-12-02Use date-based versioning scheme for priv specAndrew Waterman1-1/+1
2018-11-30Add commentary about MTIP etc. in sip/sieAndrew Waterman1-0/+5
Closes #240
2018-11-27Remove upper bound on stvec.MODE=Vectored alignment, like mtvecAndrew Waterman1-2/+1
2018-11-27Misc. address translation clarificationsAndrew Waterman1-8/+9
Courtesy @gameboo in #205
2018-11-05Fix spellingAndrew Waterman1-1/+1
2018-11-05The S in SBI stands for supervisorAndrew Waterman1-1/+1
Resolves #251
2018-09-24Improving lanuage.Krste Asanovic1-3/+3
Closed #215
2018-09-24Made clear that sepc written on exception or interrupt.Krste Asanovic1-4/+4
2018-09-23unused mip fields are wpri instead of wiriAndrew Waterman1-3/+3
2018-09-10Add ECALL from S-mode cause to SCAUSE tableAndrew Waterman1-2/+3
This won't ever happen if medeleg[9] is hardwired to 0, but medeleg[9] isn't required to be hardwired to 0.
2018-07-12Add commentary that we favor zero-extension unless SW demands otherwiseAndrew Waterman1-0/+10
2018-07-06Help the reader by pointing at TVM, TW and TSR in the relevant sections (#194)Alexandre Joannou1-2/+4
* Help the reader by pointing at TVM and TW in the relevant sections * Mention TSR field in SRET description * Avoid leaking M-mode details in S-mode text. * Added a ref in SFENCE.VMA paragraph (PMP synchronization)
2018-07-06Explain how addressing works when UXLEN < SXLENAndrew Waterman1-0/+5
2018-04-25SvXX instruction addresses are checked for sign extension, tooAndrew Waterman1-2/+4
2018-04-17Misaligned superpage exception occurs if pte.ppn[i−1:0]!=0Premjith1-1/+1
2018-04-13Remove hyphen from M-XLEN etc.Andrew Waterman1-18/+18
2018-04-13Resolve XLEN vs. S-XLEN ambiguitiesAndrew Waterman1-34/+34
2018-03-30Make it explicit that the page-fault exceptions from address translation ↵Prashanth Mundkur1-5/+8
correspond to the original access type, as is done for access exceptions.
2018-03-26Clarify that SUM does not permit supervisor execution from user pagesAndrew Waterman1-0/+1
This is already written in the SUM section, but it's better to have it in both places.
2018-03-21John Hauser's alternative writable-misa.C proposalAndrew Waterman1-2/+8
This one removes implementation-defined behavior but is still sane to implement.
2018-02-22Fix mepc/sepc definitions w.r.t. IALIGNAndrew Waterman1-3/+2
2017-12-06Constrain all harts to use same A/D-bit management schemeAndrew Waterman1-2/+1
2017-11-09Specify meaning of R/W/X bits in PTEAndrew Waterman1-0/+13
2017-11-09fix typosAndrew Waterman1-3/+3
2017-09-26Generalize an Sv32 sentence to apply to SvXXAndrew Waterman1-1/+1
2017-09-20Clarify mtval; allow platform to specify when it's writtenAndrew Waterman1-7/+13
2017-09-13Sv48 must imply Sv39Andrew Waterman1-2/+2
2017-08-15Load address misaligned exceptions *can* occur in S-modeAndrew Waterman1-8/+9
because of the load-reserved instruction.
2017-07-26Fix typo in stvec figureAndrew Waterman1-1/+1
Closes #95
2017-06-12Clarify access exception type in page-table walk algorithmAndrew Waterman1-2/+3
2017-06-12Fix word case, typos and word choicePaul Wise1-1/+1
Suggested-by: codespell Suggested-by: spellintian
2017-06-03Fix typoJacob Bachmeyer1-1/+1
2017-06-03Tweak SUM commentaryAndrew Waterman1-19/+14
2017-06-03Forbid S-mode execution from user memoryJacob Bachmeyer1-4/+25
2017-06-03Incorporate Allen's feedbackAndrew Waterman1-4/+6
2017-05-15Fix some orphaned/widowed commentary sectionsAndrew Waterman1-2/+2
2017-05-15Add ILEN to simplify descriptions of {m,s}tval CSRsJacob Bachmeyer1-13/+16
2017-05-07Add stvec vectoringAndrew Waterman1-8/+45
2017-05-07Misaligned superpages generate page-fault exceptionsAndrew Waterman1-13/+10
h/t Anthony Coulter
2017-05-06Added note about dropping config string for now. Some other cleanups.Krste Asanovic1-5/+1
2017-05-06Fixed some lingering references to bad address register.Krste Asanovic1-2/+2
2017-05-06Cleaned up description of SEIP/UEIP.Krste Asanovic1-14/+19
2017-05-05Attempt to explain SEIP disciplineAndrew Waterman1-4/+18
Closes #53
2017-05-05Remove option to hardwire UXL/SXL to 0Andrew Waterman1-4/+7
2017-05-05PPN LSBs must be clear for superpage PTEsAndrew Waterman1-1/+6
2017-05-05Remove redundant clause in SFENCE.VMA descriptionAndrew Waterman1-3/+1