aboutsummaryrefslogtreecommitdiff
path: root/src/supervisor.tex
AgeCommit message (Expand)AuthorFilesLines
2018-12-20Clarify that PTE updates aren't atomic w.r.t. the ultimate access (#308)Andrew Waterman1-3/+9
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
2018-11-27Remove upper bound on stvec.MODE=Vectored alignment, like mtvecAndrew Waterman1-2/+1
2018-11-27Misc. address translation clarificationsAndrew Waterman1-8/+9
2018-11-05Fix spellingAndrew Waterman1-1/+1
2018-11-05The S in SBI stands for supervisorAndrew Waterman1-1/+1
2018-09-24Improving lanuage.Krste Asanovic1-3/+3
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
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
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 corr...Prashanth Mundkur1-5/+8
2018-03-26Clarify that SUM does not permit supervisor execution from user pagesAndrew Waterman1-0/+1
2018-03-21John Hauser's alternative writable-misa.C proposalAndrew Waterman1-2/+8
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
2017-07-26Fix typo in stvec figureAndrew Waterman1-1/+1
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
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
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
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