search

rcore-os / rCore-Tutorial-Book-v3

A book about how to write OS kernels in Rust easily.
https://rcore-os.github.io/rCore-Tutorial-Book-v3/
GNU General Public License v3.0
1.23k stars 232 forks source link

fix typo in chapter4/3sv39-implementation-1.rst #154

Closed kxxt closed 2 years ago