diff --git a/Theory/Paging.md b/Theory/Paging.md index 20bc4da..c0b896f 100644 --- a/Theory/Paging.md +++ b/Theory/Paging.md @@ -14,9 +14,7 @@ In my view, memory management is one of the most complex part of the linux kerne As Intel manual says: -``` -Paging provides a mech-anism for implementing a conventional demand-paged, virtual-memory system where sections of a program’s execution environment are mapped into physical memory as needed. -``` +> Paging provides a mechanism for implementing a conventional demand-paged, virtual-memory system where sections of a program’s execution environment are mapped into physical memory as needed. So... I will try to explain how paging works in theory in this post. Of course it will be closely related with the linux kernel for `x86_64`, but we will not go into deep details (at least in this post). diff --git a/contributors.md b/contributors.md index d076948..588ab8c 100644 --- a/contributors.md +++ b/contributors.md @@ -34,4 +34,5 @@ Thank you to all contributors: * [Miquel Sabaté Solà](https://github.com/mssola) * [Michael Aquilina](https://github.com/MichaelAquilina) * [Gabriel Sullice](https://github.com/gabesullice) +* [Michael Drüing](https://github.com/darkstar)