diff options
| -rw-r--r-- | src/riscv-privileged.adoc | 9 | ||||
| -rw-r--r-- | src/riscv-unprivileged.adoc | 157 |
2 files changed, 84 insertions, 82 deletions
diff --git a/src/riscv-privileged.adoc b/src/riscv-privileged.adoc index ffd1da7..1074955 100644 --- a/src/riscv-privileged.adoc +++ b/src/riscv-privileged.adoc @@ -31,18 +31,19 @@ :bibtex-throw: false :icons: font :lang: en -:listing-caption: Example +:example-caption: Example +:listing-caption: Listing :sectnums: :sectnumlevels: 5 :toc: left -:toclevels: 4 +:toclevels: 4 :source-highlighter: pygments ifdef::backend-pdf[] :source-highlighter: rouge endif::[] :table-caption: Table :figure-caption: Figure -:xrefstyle: short +:xrefstyle: short :chapter-refsig: Chapter :section-refsig: Section :appendix-refsig: Appendix @@ -73,7 +74,7 @@ _This document is released under a Creative Commons Attribution 4.0 Internationa _This document is a derivative of the RISC-V privileged specification version 1.9.1 released under following license: ©2010-2017 Andrew Waterman, Yunsup Lee, Rimas -Avižienis, +Avižienis, David Patterson, Krste Asanović. Creative Commons Attribution 4.0 International License._ include::priv-preface.adoc[] diff --git a/src/riscv-unprivileged.adoc b/src/riscv-unprivileged.adoc index 4718ea3..5ea062d 100644 --- a/src/riscv-unprivileged.adoc +++ b/src/riscv-unprivileged.adoc @@ -28,7 +28,8 @@ :bibtex-throw: false :icons: font :lang: en -:listing-caption: Example +:example-caption: Example +:listing-caption: Listing :sectnums: :toc: left :toclevels: 5 @@ -38,7 +39,7 @@ ifdef::backend-pdf[] endif::[] :table-caption: Table :figure-caption: Figure -:xrefstyle: short +:xrefstyle: short :chapter-refsig: Chapter :section-refsig: Section :appendix-refsig: Appendix @@ -56,90 +57,90 @@ endif::[] _Contributors to all versions of the spec in alphabetical order (please contact editors to suggest corrections): Derek Atkins, Arvind, -Krste Asanović, -Rimas Avižienis, -Jacob Bachmeyer, -Christopher F. Batten, -Allen J. Baum, -Abel Bernabeu, -Alex Bradbury, -Scott Beamer, -Hans Boehm, -Preston Briggs, -Christopher Celio, -Chuanhua Chang, -David Chisnall, -Paul Clayton, -Palmer Dabbelt, +Krste Asanović, +Rimas Avižienis, +Jacob Bachmeyer, +Christopher F. Batten, +Allen J. Baum, +Abel Bernabeu, +Alex Bradbury, +Scott Beamer, +Hans Boehm, +Preston Briggs, +Christopher Celio, +Chuanhua Chang, +David Chisnall, +Paul Clayton, +Palmer Dabbelt, L Peter Deutsch, -Ken Dockser, -Paul Donahue, -Aaron Durbin, -Roger Espasa, -Greg Favor, -Andy Glew, -Shaked Flur, -Stefan Freudenberger, -Marc Gauthier, -Andy Glew, -Jan Gray, +Ken Dockser, +Paul Donahue, +Aaron Durbin, +Roger Espasa, +Greg Favor, +Andy Glew, +Shaked Flur, +Stefan Freudenberger, +Marc Gauthier, +Andy Glew, +Jan Gray, Gianluca Guida, -Michael Hamburg, -John Hauser, -John Ingalls, -David Horner, -Bruce Hoult, -Bill Huffman, -Alexandre Joannou, -Olof Johansson, -Ben Keller, -David Kruckemyer, -Tariq Kurd, -Yunsup Lee, -Paul Loewenstein, -Daniel Lustig, -Yatin Manerkar, -Luc Maranget, +Michael Hamburg, +John Hauser, +John Ingalls, +David Horner, +Bruce Hoult, +Bill Huffman, +Alexandre Joannou, +Olof Johansson, +Ben Keller, +David Kruckemyer, +Tariq Kurd, +Yunsup Lee, +Paul Loewenstein, +Daniel Lustig, +Yatin Manerkar, +Luc Maranget, Ben Marshall, -Margaret Martonosi, -Phil McCoy, +Margaret Martonosi, +Phil McCoy, Nathan Menhorn, -Christoph Müllner, -Joseph Myers, -Vijayanand Nagarajan, -Rishiyur Nikhil, -Jonas Oberhauser, -Stefan O'Rear, +Christoph Müllner, +Joseph Myers, +Vijayanand Nagarajan, +Rishiyur Nikhil, +Jonas Oberhauser, +Stefan O'Rear, Markku-Juhani O. Saarinen, -Albert Ou, -John Ousterhout, +Albert Ou, +John Ousterhout, Daniel Page, -David Patterson, -Christopher Pulte, -Jose Renau, -Josh Scheid, -Colin Schmidt, -Peter Sewell, -Susmit Sarkar, -Ved Shanbhogue, +David Patterson, +Christopher Pulte, +Jose Renau, +Josh Scheid, +Colin Schmidt, +Peter Sewell, +Susmit Sarkar, +Ved Shanbhogue, Brent Spinney, -Brendan Sweeney, -Michael Taylor, -Wesley Terpstra, -Matt Thomas, -Tommy Thorn, -Philipp Tomsich, -Caroline Trippel, -Ray VanDeWalker, -Muralidaran Vijayaraghavan, -Megan Wachs, -Paul Wamsley, -Andrew Waterman, -Robert Watson, -David Weaver, -Derek Williams, +Brendan Sweeney, +Michael Taylor, +Wesley Terpstra, +Matt Thomas, +Tommy Thorn, +Philipp Tomsich, +Caroline Trippel, +Ray VanDeWalker, +Muralidaran Vijayaraghavan, +Megan Wachs, +Paul Wamsley, +Andrew Waterman, +Robert Watson, +David Weaver, +Derek Williams, Claire Wolf, -Andrew Wright, +Andrew Wright, Reinoud Zandijk, and Sizhuo Zhang._ |