diff --git a/.github/workflows/build-site.yml b/.github/workflows/blog.yml
similarity index 94%
rename from .github/workflows/build-site.yml
rename to .github/workflows/blog.yml
index 9bf498e1..882b8fad 100644
--- a/.github/workflows/build-site.yml
+++ b/.github/workflows/blog.yml
@@ -1,4 +1,4 @@
-name: Build Site
+name: Blog
 
 on:
   push:
@@ -59,10 +59,10 @@ jobs:
     steps:
     - uses: actions/checkout@v1
 
-    - run: curl -L https://git.io/misspell | bash
-      name: "Install misspell"
-    - run: bin/misspell -error blog/content
-      name: "Check for common typos"
+    - name: Typo Check
+      uses: crate-ci/typos@v1.1.9
+      with:
+        files: blog
 
   deploy_site:
     name: "Deploy Generated Site"
diff --git a/blog/config.toml b/blog/config.toml
index 33fab175..a7f45498 100644
--- a/blog/config.toml
+++ b/blog/config.toml
@@ -6,6 +6,7 @@ highlight_code = true
 highlight_theme = "visual-studio-dark"
 generate_feed = true
 feed_filename = "rss.xml"
+compile_sass = true
 
 languages = [
     { code = "zh-CN" }, # Chinese (simplified)
diff --git a/blog/content/edition-1/extra/naked-exceptions/02-better-exception-messages/index.md b/blog/content/edition-1/extra/naked-exceptions/02-better-exception-messages/index.md
index 17289421..9f98c962 100644
--- a/blog/content/edition-1/extra/naked-exceptions/02-better-exception-messages/index.md
+++ b/blog/content/edition-1/extra/naked-exceptions/02-better-exception-messages/index.md
@@ -628,7 +628,7 @@ bitflags! {
 
 - When the `PROTECTION_VIOLATION` flag is set, the page fault was caused e.g. by a write to a read-only page. If it's not set, it was caused by accessing a non-present page.
 - The `CAUSED_BY_WRITE` flag specifies if the fault was caused by a write (if set) or a read (if not set).
-- The `USER_MODE` flag is set when the fault occurred in non-priviledged mode.
+- The `USER_MODE` flag is set when the fault occurred in non-privileged mode.
 - The `MALFORMED_TABLE` flag is set when the page table entry has a 1 in a reserved field.
 - When the `INSTRUCTION_FETCH` flag is set, the page fault occurred while fetching the next instruction.
 
diff --git a/blog/content/edition-1/extra/naked-exceptions/03-returning-from-exceptions/index.md b/blog/content/edition-1/extra/naked-exceptions/03-returning-from-exceptions/index.md
index 5ce204a0..b5ad8907 100644
--- a/blog/content/edition-1/extra/naked-exceptions/03-returning-from-exceptions/index.md
+++ b/blog/content/edition-1/extra/naked-exceptions/03-returning-from-exceptions/index.md
@@ -426,7 +426,7 @@ The page fault is gone and we see the _“It did not crash”_ message again!
 So the page fault occurred because our exception handler didn't preserve the scratch register `rax`. Our new `handler!` macro fixes this problem by saving all scratch registers (including `rax`) before calling exception handlers. Thus, `rax` still contains the valid memory address when `rust-main` continues execution.
 
 ## Multimedia Registers
-When we discussed calling conventions above, we assummed that a x86_64 CPU only has the following 16 registers: `rax`, `rbx`, `rcx`, `rdx`, `rsi`, `rdi`, `rsp`, `rbp`, `r8`, `r9`, `r10`, `r11`.`r12`, `r13`, `r14`, and `r15`. These registers are called _general purpose registers_ since each of them can be used for arithmetic and load/store instructions.
+When we discussed calling conventions above, we assumed that a x86_64 CPU only has the following 16 registers: `rax`, `rbx`, `rcx`, `rdx`, `rsi`, `rdi`, `rsp`, `rbp`, `r8`, `r9`, `r10`, `r11`.`r12`, `r13`, `r14`, and `r15`. These registers are called _general purpose registers_ since each of them can be used for arithmetic and load/store instructions.
 
 However, modern CPUs also have a set of _special purpose registers_, which can be used to improve performance in several use cases. On x86_64, the most important set of special purpose registers are the _multimedia registers_. These registers are larger than the general purpose registers and can be used to speed up audio/video processing or matrix calculations. For example, we could use them to add two 4-dimensional vectors _in a single CPU instruction_:
 
diff --git a/blog/content/edition-1/posts/08-kernel-heap/index.md b/blog/content/edition-1/posts/08-kernel-heap/index.md
index 3b3e5dbd..82686151 100644
--- a/blog/content/edition-1/posts/08-kernel-heap/index.md
+++ b/blog/content/edition-1/posts/08-kernel-heap/index.md
@@ -415,7 +415,7 @@ pub fn init(boot_info: &BootInformation) {
 We've just moved the code to a new function. However, we've sneaked some improvements in:
 
 - An additional `.filter(|s| s.is_allocated())` in the calculation of `kernel_start` and `kernel_end`. This ignores all sections that aren't loaded to memory (such as debug sections). Thus, the kernel end address is no longer artificially increased by such sections.
-- We use the `start_address()` and `end_address()` methods of `boot_info` instead of calculating the adresses manually.
+- We use the `start_address()` and `end_address()` methods of `boot_info` instead of calculating the addresses manually.
 - We use the alternate `{:#x}` form when printing kernel/multiboot addresses. Before, we used `0x{:x}`, which leads to the same result. For a complete list of these “alternate” formatting forms, check out the [std::fmt documentation].
 
 [std::fmt documentation]: https://doc.rust-lang.org/nightly/std/fmt/index.html#sign0
diff --git a/blog/content/edition-1/posts/09-handling-exceptions/index.md b/blog/content/edition-1/posts/09-handling-exceptions/index.md
index 09685ae4..e3b896ed 100644
--- a/blog/content/edition-1/posts/09-handling-exceptions/index.md
+++ b/blog/content/edition-1/posts/09-handling-exceptions/index.md
@@ -379,7 +379,7 @@ Note how this solution requires no `unsafe` blocks or `unwrap` calls.
 
 > ##### Aside: How does the `lazy_static!` macro work?
 >
-> The macro generates a `static` of type `Once<Idt>`. The [`Once`][spin::Once] type is provided by the `spin` crate and allows deferred one-time initialization. It is implemented using an [`AtomicUsize`] for synchronization and an [`UnsafeCell`] for storing the (possibly unitialized) value. So this solution also uses `unsafe` behind the scenes, but it is abstracted away in a safe interface.
+> The macro generates a `static` of type `Once<Idt>`. The [`Once`][spin::Once] type is provided by the `spin` crate and allows deferred one-time initialization. It is implemented using an [`AtomicUsize`] for synchronization and an [`UnsafeCell`] for storing the (possibly uninitialized) value. So this solution also uses `unsafe` behind the scenes, but it is abstracted away in a safe interface.
 
 [spin::Once]: https://docs.rs/spin/0.4.5/spin/struct.Once.html
 [`AtomicUsize`]: https://doc.rust-lang.org/nightly/core/sync/atomic/struct.AtomicUsize.html
diff --git a/blog/content/edition-2/posts/07-hardware-interrupts/index.fa.md b/blog/content/edition-2/posts/07-hardware-interrupts/index.fa.md
index 089c60c0..d3a91b3b 100644
--- a/blog/content/edition-2/posts/07-hardware-interrupts/index.fa.md
+++ b/blog/content/edition-2/posts/07-hardware-interrupts/index.fa.md
@@ -251,7 +251,7 @@ extern "x86-interrupt" fn timer_interrupt_handler(
 
 ### پیکربندی تایمر
 
-تایمر سخت افزاری که ما از آن استفاده می کنیم ، _Progammable Interval Timer_ یا به اختصار PIT نامیده می شود. همانطور که از نام آن مشخص است ، می توان فاصله بین دو وقفه را پیکربندی کرد. ما در اینجا به جزئیات نمی پردازیم زیرا به زودی به [تایمر APIC] سوییچ خواهیم کرد، اما ویکی OSDev مقاله مفصلی درباره [پیکربندی PIT] دارد.
+تایمر سخت افزاری که ما از آن استفاده می کنیم ، _Programmable Interval Timer_ یا به اختصار PIT نامیده می شود. همانطور که از نام آن مشخص است ، می توان فاصله بین دو وقفه را پیکربندی کرد. ما در اینجا به جزئیات نمی پردازیم زیرا به زودی به [تایمر APIC] سوییچ خواهیم کرد، اما ویکی OSDev مقاله مفصلی درباره [پیکربندی PIT] دارد.
 
 [تایمر APIC]: https://wiki.osdev.org/APIC_timer
 [پیکربندی PIT]: https://wiki.osdev.org/Programmable_Interval_Timer
diff --git a/blog/content/edition-2/posts/07-hardware-interrupts/index.md b/blog/content/edition-2/posts/07-hardware-interrupts/index.md
index 5d1267b5..f99cae90 100644
--- a/blog/content/edition-2/posts/07-hardware-interrupts/index.md
+++ b/blog/content/edition-2/posts/07-hardware-interrupts/index.md
@@ -246,7 +246,7 @@ When we now execute `cargo run` we see dots periodically appearing on the screen
 
 ### Configuring the Timer
 
-The hardware timer that we use is called the _Progammable Interval Timer_ or PIT for short. Like the name says, it is possible to configure the interval between two interrupts. We won't go into details here because we will switch to the [APIC timer] soon, but the OSDev wiki has an extensive article about the [configuring the PIT].
+The hardware timer that we use is called the _Programmable Interval Timer_ or PIT for short. Like the name says, it is possible to configure the interval between two interrupts. We won't go into details here because we will switch to the [APIC timer] soon, but the OSDev wiki has an extensive article about the [configuring the PIT].
 
 [APIC timer]: https://wiki.osdev.org/APIC_timer
 [configuring the PIT]: https://wiki.osdev.org/Programmable_Interval_Timer
diff --git a/blog/content/edition-2/posts/09-paging-implementation/index.ja.md b/blog/content/edition-2/posts/09-paging-implementation/index.ja.md
new file mode 100644
index 00000000..ff00a0bd
--- /dev/null
+++ b/blog/content/edition-2/posts/09-paging-implementation/index.ja.md
@@ -0,0 +1,1016 @@
++++
+title = "ページングの実装"
+weight = 9
+path = "ja/paging-implementation"
+date = 2019-03-14
+
+[extra]
+chapter = "Memory Management"
+translation_based_on_commit = "27ab4518acbb132e327ed4f4f0508393e9d4d684"
+translators = ["woodyZootopia", "garasubo"]
++++
+
+この記事では私達のカーネルをページングに対応させる方法についてお伝えします。まずページテーブルの物理フレームにカーネルがアクセスできるようにする様々な方法を示し、それらの利点と欠点について議論します。次にアドレス変換関数を、ついで新しい<ruby>対応付け<rp> (</rp><rt>マッピング</rt><rp>) </rp></ruby>を作るための関数を実装します。
+
+<!-- more -->
+
+このブログの内容は [GitHub] 上で公開・開発されています。何か問題や質問などがあれば issue をたててください (訳注: リンクは原文(英語)のものになります)。また[こちら][at the bottom]にコメントを残すこともできます。この記事の完全なソースコードは[`post-09` ブランチ][post branch]にあります。
+
+[GitHub]: https://github.com/phil-opp/blog_os
+[at the bottom]: #comments
+[post branch]: https://github.com/phil-opp/blog_os/tree/post-09
+
+<!-- toc -->
+
+## 導入
+
+[1つ前の記事][previous post]ではページングの概念を説明しました。セグメンテーションと比較することによってページングのメリットを示し、ページングとページテーブルの仕組みを説明し、そして`x86_64`における4層ページテーブルの設計を導入しました。ブートローダはすでにページテーブルの階層構造を設定してしまっているので、私達のカーネルは既に仮想アドレス上で動いているということを学びました。これにより、不正なメモリアクセスは、任意の物理メモリを書き換えてしまうのではなくページフォルト例外を発生させるので、安全性が向上しています。
+
+[previous post]: @/edition-2/posts/08-paging-introduction/index.ja.md
+
+記事の最後で、[ページテーブルにカーネルからアクセスできない][end of previous post]という問題が起きていました。この問題は、ページテーブルは物理メモリ内に格納されている一方、私達のカーネルは既に仮想アドレス上で実行されているために発生します。この記事ではその続きとして、私達のカーネルからページテーブルのフレームにアクセスするための様々な方法を探ります。それぞれの方法の利点と欠点を議論し、カーネルに採用する手法を決めます。
+
+[end of previous post]: @/edition-2/posts/08-paging-introduction/index.ja.md#peziteburuhenoakusesu
+
+この方法を実装するには、ブートローダーからの補助が必要になるので、まずこれに設定を加えます。その後で、ページテーブルの階層構造を移動して、仮想アドレスを物理アドレスに変換する関数を実装します。最後に、ページテーブルに新しいマッピングを作る方法と、それを作るための未使用メモリを見つける方法を学びます。
+
+## ページテーブルにアクセスする
+
+私達のカーネルからページテーブルにアクセスするのは案外難しいです。この問題を理解するために、前回の記事の4層ページテーブルをもう一度見てみましょう：
+
+![An example 4-level page hierarchy with each page table shown in physical memory](../paging-introduction/x86_64-page-table-translation.svg)
+
+ここで重要なのは、それぞれのページテーブルのエントリは次のテーブルの**物理**アドレスであるということです。これにより、それらのアドレスに対しては変換せずにすみます。もしこの変換が行われたとしたら、性能的にも良くないですし、容易に変換の無限ループに陥りかねません。
+
+問題は、私達のカーネル自体も仮想アドレスの上で動いているため、カーネルから直接物理アドレスにアクセスすることができないということです。例えば、アドレス`4KiB`にアクセスしたとき、私達は**仮想**アドレス`4KiB`にアクセスしているのであって、レベル4ページテーブルが格納されている**物理**アドレス`4KiB`にアクセスしているのではありません。物理アドレス`4KiB`にアクセスしたいなら、それにマップさせられている何らかの仮想アドレスを通じてのみ可能です。
+
+そのため、ページテーブルのフレームにアクセスするためには、どこかの仮想ページをそれにマッピングしなければいけません。このような、任意のページテーブルのフレームにアクセスできるようにしてくれるマッピングを作る方法にはいくつかあります。
+
+### 恒等マッピング
+
+シンプルな方法として、**すべてのページテーブルを恒等<ruby>対応<rp> (</rp><rt>マップ</rt><rp>) </rp></ruby>させる**ということが考えられるでしょう：
+
+![A virtual and a physical address space with various virtual pages mapped to the physical frame with the same address](identity-mapped-page-tables.svg)
+
+この例では、恒等マップしたいくつかのページテーブルのフレームが見てとれます。こうすることで、ページテーブルの物理アドレスは仮想アドレスと同じ値になり、よってCR3レジスタから始めることで全ての階層のページテーブルに簡単にアクセスできます。
+
+しかし、この方法では仮想アドレス空間が散らかってしまい、大きいサイズの連続したメモリを見つけることが難しくなります。例えば、上の図において、[ファイルをメモリにマップする][memory-mapping a file]ために1000KiBの大きさの仮想メモリ領域を作りたいとします。`28KiB`を始点として領域を作ろうとすると、`1004KiB`のところで既存のページと衝突してしまうのでうまくいきません。そのため、`1008KiB`のような、十分な広さでマッピングのない領域が見つかるまで更に探さないといけません。これは[セグメンテーション][segmentation]の時に見た断片化の問題に似ています。
+
+[memory-mapping a file]: https://en.wikipedia.org/wiki/Memory-mapped_file
+[segmentation]: @/edition-2/posts/08-paging-introduction/index.ja.md#duan-pian-hua-fragmentation
+
+同様に、新しいページテーブルを作ることもずっと難しくなります。なぜなら、対応するページがまだ使われていない物理フレームを見つけないといけないからです。例えば、メモリ<ruby>マップト<rp> (</rp><rt>に対応づけられた</rt><rp>) </rp></ruby>ファイルのために`1008KiB`から1000KiBにわたって仮想メモリを占有したとしましょう。すると、物理アドレス`1000KiB`から`2008KiB`までのフレームは、もう恒等マッピングを作ることができないので使用することができません。
+
+### 固定オフセットのマッピング
+
+仮想アドレス空間を散らかしてしまうという問題を回避するために、**ページテーブルのマッピングのために別のメモリ領域を使う**ことができます。ページテーブルを恒等マップさせる代わりに、仮想アドレス空間で一定の<ruby>補正値<rp> (</rp><rt>オフセット</rt><rp>) </rp></ruby>をおいてマッピングしてみましょう。例えば、オフセットを10TiBにしてみましょう：
+
+![The same figure as for the identity mapping, but each mapped virtual page is offset by 10 TiB.](page-tables-mapped-at-offset.svg)
+
+`10TiB`から`10TiB+物理メモリ全体の大きさ`の範囲の仮想メモリをページテーブルのマッピング専用に使うことで、恒等マップのときに存在していた衝突問題を回避しています。このように巨大な領域を仮想アドレス空間内に用意するのは、仮想アドレス空間が物理メモリの大きさより遥かに大きい場合にのみ可能です。x86_64で用いられている48bit（仮想）アドレス空間は256TiBもの大きさがあるので、これは問題ではありません。
+
+この方法では、新しいページテーブルを作るたびに新しいマッピングを作る必要があるという欠点があります。また、他のアドレス空間のページテーブルにアクセスすることができると新しいプロセスを作るときに便利なのですが、これも不可能です。
+
+### 物理メモリ全体をマップする
+
+これらの問題はページテーブルのフレームだけと言わず**物理メモリ全体をマップして**しまえば解決します：
+
+![The same figure as for the offset mapping, but every physical frame has a mapping (at 10TiB + X) instead of only page table frames.](map-complete-physical-memory.svg)
+
+この方法を使えば、私達のカーネルは他のアドレス空間を含め任意の物理メモリにアクセスできます。用意する仮想メモリの範囲は以前と同じであり、違うのは全てのページがマッピングされているということです。
+
+この方法の欠点は、物理メモリへのマッピングを格納するために、追加でページテーブルが必要になるところです。これらのページテーブルもどこかに格納されなければならず、したがって物理メモリの一部を占有することになります。これはメモリの量が少ないデバイスにおいては問題となりえます。
+
+しかし、x86_64においては、通常の4KiBサイズのページに代わって、大きさ2MiBの[huge page][huge pages]をマッピングに使うことができます。こうすれば、例えば32GiBの物理メモリをマップするのにはレベル3テーブル1個とレベル2テーブル32個があればいいので、たったの132KiBしか必要ではありません。huge pagesは、トランスレーション・ルックアサイド・バッファ (TLB) のエントリをあまり使わないので、キャッシュ的にも効率が良いです。
+
+[huge pages]: https://en.wikipedia.org/wiki/Page_%28computer_memory%29#Multiple_page_sizes
+
+### 一時的な<ruby>対応<rp> (</rp><rt>マッピング</rt><rp>) </rp></ruby>
+
+物理メモリの量が非常に限られたデバイスについては、アクセスする必要があるときだけ**ページテーブルのフレームを一時的にマップする**という方法が考えられます。そのような一時的なマッピングを作りたいときには、たった一つだけ恒等マップさせられたレベル1テーブルがあれば良いです：
+
+![A virtual and a physical address space with an identity mapped level 1 table, which maps its 0th entry to the level 2 table frame, thereby mapping that frame to page with address 0](temporarily-mapped-page-tables.svg)
+
+この図におけるレベル1テーブルは仮想アドレス空間の最初の2MiBを制御しています。なぜなら、このテーブルにはCR3レジスタから始めて、レベル4、3、2のページテーブルの0番目のエントリを辿ることで到達できるからです。その8番目のエントリは、アドレス`32 KiB`の仮想アドレスページをアドレス`32 KiB`の物理アドレスページにマップするので、レベル1テーブル自体を恒等マップしています。この図ではその恒等マッピングを`32 KiB`のところの横向きの（茶色の）矢印で表しています。
+
+恒等マップさせたレベル1テーブルに書き込むことによって、カーネルは最大511個の一時的なマッピングを作ることができます（512から、恒等マッピングに必要な1つを除く）。上の例では、カーネルは2つの一時的なマッピングを作りました：
+
+- レベル1テーブルの0番目のエントリをアドレス`24 KiB`のフレームにマップすることで、破線の矢印で示されているように`0 KiB`の仮想ページからレベル2ページテーブルの物理フレームへの一時的なマッピングを行いました。
+- レベル1テーブルの9番目のエントリをアドレス`4 KiB`のフレームにマップすることで、破線の矢印で示されているように`36 KiB`の仮想ページからレベル4ページテーブルの物理フレームへの一時的なマッピングを行いました。
+
+これで、カーネルは`0 KiB`に書き込むことによってレベル2ページテーブルに、`36 KiB`に書き込むことによってレベル4ページテーブルにアクセスできるようになりました。
+
+任意のページテーブルに一時的なマッピングを用いてアクセスする手続きは以下のようになるでしょう：
+
+- 恒等マッピングしているレベル1テーブルのうち、使われていないエントリを探す。
+- そのエントリを私達のアクセスしたいページテーブルの物理フレームにマップする。
+- そのエントリにマップされている仮想ページを通じて、対象のフレームにアクセスする。
+- エントリを未使用に戻すことで、一時的なマッピングを削除する。
+
+この方法では、同じ512個の仮想ページをマッピングを作成するために再利用するため、物理メモリは4KiBしか必要としません。欠点としては、やや面倒であるということが言えるでしょう。特に、新しいマッピングを作る際に複数のページテーブルの変更が必要になるかもしれず、上の手続きを複数回繰り返さなくてはならないかもしれません。
+
+### 再帰的ページテーブル
+
+他に興味深いアプローチとして**再帰的にページテーブルをマップする**方法があり、この方法では追加のページテーブルは一切不要です。発想としては、レベル4ページテーブルのエントリのどれかをレベル4ページテーブル自体にマップするのです。こうすることにより、仮想アドレス空間の一部を予約しておき、現在及び将来のあらゆるページテーブルフレームをその空間にマップしているのと同じことになります。
+
+これがうまく行く理由を説明するために、例を見てみましょう：
+
+![An example 4-level page hierarchy with each page table shown in physical memory. Entry 511 of the level 4 page is mapped to frame 4KiB, the frame of the level 4 table itself.](recursive-page-table.png)
+
+[この記事の最初での例][example at the beginning of this post]との唯一の違いは、レベル4テーブルの511番目に、物理フレーム`4 KiB`すなわちレベル4テーブル自体のフレームにマップされたエントリが追加されていることです。
+
+[example at the beginning of this post]: #peziteburuniakusesusuru
+
+CPUにこのエントリを辿らせるようにすると、レベル3テーブルではなく、そのレベル4テーブルに再び到達します。これは再帰関数（自らを呼び出す関数）に似ているので、**<ruby>再帰的<rp> (</rp><rt>recursive</rt><rp>) </rp></ruby>ページテーブル**と呼ばれます。CPUはレベル4テーブルのすべてのエントリはレベル3テーブルを指していると思っているので、CPUはいまレベル4テーブルをレベル3テーブルとして扱っているということに注目してください。これがうまく行くのは、x86_64においてはすべてのレベルのテーブルが全く同じレイアウトを持っているためです。
+
+実際に変換を始める前に、この再帰エントリを1回以上たどることで、CPUのたどる階層の数を短くできます。例えば、一度再帰エントリを辿ったあとでレベル3テーブルに進むと、CPUはレベル3テーブルをレベル2テーブルだと思い込みます。同様に、レベル2テーブルをレベル1テーブルだと、レベル1テーブルをマップされた（物理）フレームだと思います。CPUがこれを物理フレームだと思っているということは、レベル1ページテーブルを読み書きできるということを意味します。下の図はこの5回の変換ステップを示しています：
+
+![The above example 4-level page hierarchy with 5 arrows: "Step 0" from CR4 to level 4 table, "Step 1" from level 4 table to level 4 table, "Step 2" from level 4 table to level 3 table, "Step 3" from level 3 table to level 2 table, and "Step 4" from level 2 table to level 1 table.](recursive-page-table-access-level-1.png)
+
+同様に、変換の前に再帰エントリを2回たどることで、階層移動の回数を2回に減らせます：
+
+![The same 4-level page hierarchy with the following 4 arrows: "Step 0" from CR4 to level 4 table, "Steps 1&2" from level 4 table to level 4 table, "Step 3" from level 4 table to level 3 table, and "Step 4" from level 3 table to level 2 table.](recursive-page-table-access-level-2.png)
+
+ステップごとにこれを見てみましょう：まず、CPUはレベル4テーブルの再帰エントリをたどり、レベル3テーブルに着いたと思い込みます。同じ再帰エントリを再びたどり、レベル2テーブルに着いたと考えます。しかし実際にはまだレベル4テーブルから動いていません。CPUが異なるエントリをたどると、レベル3テーブルに到着するのですが、CPUはレベル1にすでにいるのだと思っています。そのため、次のエントリはレベル2テーブルを指しているのですが、CPUはマップされた物理フレームを指していると思うので、私達はレベル2テーブルを読み書きできるというわけです。
+
+レベル3や4のテーブルにアクセスするのも同じやり方でできます。レベル3テーブルにアクセスするためには、再帰エントリを3回たどることでCPUを騙し、すでにレベル1テーブルにいると思い込ませます。そこで別のエントリをたどりレベル3テーブルに着くと、CPUはそれをマップされたフレームとして扱います。レベル4テーブル自体にアクセスするには、再帰エントリを4回辿ればCPUはそのレベル4テーブル自体をマップされたフレームとして扱ってくれるというわけです（下の青紫の矢印）。
+
+![The same 4-level page hierarchy with the following 3 arrows: "Step 0" from CR4 to level 4 table, "Steps 1,2,3" from level 4 table to level 4 table, and "Step 4" from level 4 table to level 3 table. In blue the alternative "Steps 1,2,3,4" arrow from level 4 table to level 4 table.](recursive-page-table-access-level-3.png)
+
+この概念を理解するのは難しいかもしれませんが、実際これは非常にうまく行くのです。
+
+下のセクションでは、再帰エントリをたどるための仮想アドレスを構成する方法について説明します。私達の（OSの）実装には再帰的ページングは使わないので、これを読まずに記事の続きを読み進めても構いません。もし興味がおありでしたら、下の「アドレス計算」をクリックして展開してください。
+
+---
+
+<details>
+<summary><h4>アドレス計算</h4></summary>
+
+実際の変換の前に再帰的移動を1回または複数回行うことですべての階層のテーブルにアクセスできるということを見てきました。4つのテーブルそれぞれのどのインデックスが使われるかは仮想アドレスから直接計算されていましたから、再帰エントリを使うためには特別な仮想アドレスを作り出す必要があります。ページテーブルのインデックスは仮想アドレスから以下のように計算されていたことを思い出してください：
+
+![Bits 0–12 are the page offset, bits 12–21 the level 1 index, bits 21–30 the level 2 index, bits 30–39 the level 3 index, and bits 39–48 the level 4 index](../paging-introduction/x86_64-table-indices-from-address.svg)
+
+あるページをマップしているレベル1テーブルにアクセスしたいとします。上で学んだように、このためには再帰エントリを1度辿ってからレベル4，3，2のインデックスへと続けていく必要があります。これをするために、それぞれのアドレスブロックを一つ右にずらし、レベル4のインデックスがあったところに再帰エントリのインデックスをセットします：
+
+![Bits 0–12 are the offset into the level 1 table frame, bits 12–21 the level 2 index, bits 21–30 the level 3 index, bits 30–39 the level 4 index, and bits 39–48 the index of the recursive entry](table-indices-from-address-recursive-level-1.svg)
+
+そのページのレベル2テーブルにアクセスしたい場合、それぞれのブロックを2つ右にずらし、レベル4と3のインデックスがあったところに再帰エントリのインデックスをセットします：
+
+![Bits 0–12 are the offset into the level 2 table frame, bits 12–21 the level 3 index, bits 21–30 the level 4 index, and bits 30–39 and bits 39–48 are the index of the recursive entry](table-indices-from-address-recursive-level-2.svg)
+
+レベル3テーブルにアクセスする場合、それぞれのブロックを3つ右にずらし、レベル4，3，2のインデックスがあったところに再帰インデックスを使います：
+
+![Bits 0–12 are the offset into the level 3 table frame, bits 12–21 the level 4 index, and bits 21–30, bits 30–39 and bits 39–48 are the index of the recursive entry](table-indices-from-address-recursive-level-3.svg)
+
+最後に、レベル4テーブルにはそれぞれのブロックを4ブロックずらし、オフセットを除いてすべてのアドレスブロックに再帰インデックスを使うことでアクセスできます：
+
+![Bits 0–12 are the offset into the level l table frame and bits 12–21, bits 21–30, bits 30–39 and bits 39–48 are the index of the recursive entry](table-indices-from-address-recursive-level-4.svg)
+
+これで、4つの階層すべてのページテーブルの仮想アドレスを計算できます。また、インデックスをページテーブルエントリのサイズ倍、つまり8倍することによって、特定のページテーブルエントリを指すアドレスを計算できます。
+
+下の表は、それぞれの種類のフレームにアクセスするためのアドレス構造をまとめたものです：
+
+……の仮想アドレス        | アドレス構造（[8進][octal]）
+-------------------     | -------------------------------
+ページ                  | `0o_SSSSSS_AAA_BBB_CCC_DDD_EEEE`
+レベル1テーブルエントリ | `0o_SSSSSS_RRR_AAA_BBB_CCC_DDDD`
+レベル2テーブルエントリ | `0o_SSSSSS_RRR_RRR_AAA_BBB_CCCC`
+レベル3テーブルエントリ | `0o_SSSSSS_RRR_RRR_RRR_AAA_BBBB`
+レベル4テーブルエントリ | `0o_SSSSSS_RRR_RRR_RRR_RRR_AAAA`
+
+[octal]: https://en.wikipedia.org/wiki/Octal
+
+ただし、`AAA`がレベル4インデックス、`BBB`がレベル3インデックス、`CCC`がレベル2インデックス、`DDD`がマップされたフレームのレベル1インデックス、`EEE`がオフセットです。`RRR`が再帰エントリのインデックスです。インデックス（3ケタ）をオフセット（4ケタ）に変換するときは、8倍（ページテーブルエントリのサイズ倍）しています。
+
+`SSSSS`は符号拡張ビットで、すなわち47番目のビットのコピーです。これはx86_64におけるアドレスの特殊な要求の一つです。これは[前回の記事][sign extension]で説明しました。
+
+[sign extension]: @/edition-2/posts/08-paging-introduction/index.ja.md#x86-64niokerupezingu
+
+[8進][octal]数を用いたのは、8進数の1文字が3ビットを表すため、9ビットからなるそれぞれのページテーブルをきれいに分けることができるためです。4ビットからなる16進ではこうはいきません。
+
+##### Rustのコードでは……
+
+これらのアドレスをRustのコードで構成するには、ビット演算を用いるとよいです：
+
+```rust
+// この仮想アドレスに対応するページテーブルにアクセスしたい
+let addr: usize = […];
+
+let r = 0o777; // 再帰インデックス
+let sign = 0o177777 << 48; // 符号拡張
+
+// 変換したいアドレスのページテーブルインデックスを取得する
+let l4_idx = (addr >> 39) & 0o777; // レベル4インデックス
+let l3_idx = (addr >> 30) & 0o777; // レベル3インデックス
+let l2_idx = (addr >> 21) & 0o777; // レベル2インデックス
+let l1_idx = (addr >> 12) & 0o777; // レベル1インデックス
+let page_offset = addr & 0o7777;
+
+// テーブルアドレスを計算する
+let level_4_table_addr =
+    sign | (r << 39) | (r << 30) | (r << 21) | (r << 12);
+let level_3_table_addr =
+    sign | (r << 39) | (r << 30) | (r << 21) | (l4_idx << 12);
+let level_2_table_addr =
+    sign | (r << 39) | (r << 30) | (l4_idx << 21) | (l3_idx << 12);
+let level_1_table_addr =
+    sign | (r << 39) | (l4_idx << 30) | (l3_idx << 21) | (l2_idx << 12);
+```
+
+上のコードは、レベル4エントリの最後（インデックス`0o777`すなわち511）が再帰マッピングしていると仮定しています。この仮定は正しくないので，このコードは動作しません。ブートローダに再帰マッピングを設定させる方法については後述します。
+
+ビット演算を自前で行う代わりに、`x86_64`クレートの[`RecursivePageTable`]型を使うこともできます。これは様々なページ操作の安全な抽象化を提供します。例えば、以下のコードは仮想アドレスをマップされた物理アドレスに変換する方法を示しています。
+
+[`RecursivePageTable`]: https://docs.rs/x86_64/0.14.2/x86_64/structures/paging/mapper/struct.RecursivePageTable.html
+
+```rust
+// in src/memory.rs
+
+use x86_64::structures::paging::{Mapper, Page, PageTable, RecursivePageTable};
+use x86_64::{VirtAddr, PhysAddr};
+
+/// レベル4アドレスからRecursivePageTableインスタンスをつくる
+let level_4_table_addr = […];
+let level_4_table_ptr = level_4_table_addr as *mut PageTable;
+let recursive_page_table = unsafe {
+    let level_4_table = &mut *level_4_table_ptr;
+    RecursivePageTable::new(level_4_table).unwrap();
+}
+
+
+/// 与えられた仮想アドレスの物理アドレスを取得する
+let addr: u64 = […]
+let addr = VirtAddr::new(addr);
+let page: Page = Page::containing_address(addr);
+
+// 変換を実行する
+let frame = recursive_page_table.translate_page(page);
+frame.map(|frame| frame.start_address() + u64::from(addr.page_offset()))
+```
+
+繰り返しになりますが、このコード（が正しく実行される）には正しい再帰マッピングがなされていることが必要となります。そのようなマッピングがあるのなら、空欄になっている`level_4_table_addr`は最初のコード例を使って計算すればよいです。
+
+</details>
+
+---
+
+再帰的ページングは、ページテーブルのたった一つのマッピングがいかに強力に使えるかを示す興味深いテクニックです。比較的実装するのが簡単であり、ほとんど設定も必要でない（一つ再帰エントリを作るだけ）ので、ページングを使って最初に実装するのに格好の対象でしょう。
+
+しかし、いくつか欠点もあります：
+
+- 大量の仮想メモリ領域（512GiB）を占有してしまう。私達の使っている48bitアドレス空間は巨大なのでこのことはさしたる問題にはなりませんが、キャッシュの挙動が最適でなくなってしまうかもしれません。
+- 現在有効なアドレス空間にしか簡単にはアクセスできない。他のアドレス空間にアクセスするのは再帰エントリを変更することで可能ではあるものの、もとに戻すためには一時的なマッピングが必要。これを行う方法については[カーネルをリマップする][_Remap The Kernel_]（未訳、また旧版のため情報が古い）という記事を読んでください。
+- x86のページテーブルの方式に強く依存しており、他のアーキテクチャでは動作しないかもしれない。
+
+[_Remap The Kernel_]: https://os.phil-opp.com/remap-the-kernel/#overview
+
+## ブートローダによる補助
+
+これらのアプローチはすべて、準備のためにページテーブルに対する修正が必要になります。例えば、物理メモリへのマッピングを作ったり、レベル4テーブルのエントリを再帰的にマッピングしたりなどです。問題は、これらの必要なマッピングを作るためには、すでにページテーブルにアクセスできるようになっていなければいけないということです。
+
+つまり、私達のカーネルが使うページテーブルを作っている、ブートローダの手助けが必要になるということです。ブートローダはページテーブルにアクセスできますから、私達の必要とするどんなマッピングも作れます。`bootloader`クレートは上の2つのアプローチをどちらもサポートしており、現在の実装においては[cargoのfeatures][cargo features]を使ってこれらをコントロールします。
+
+[cargo features]: https://doc.rust-lang.org/cargo/reference/features.html#the-features-section
+
+- `map_physical_memory` featureを使うと、全物理メモリを仮想アドレス空間のどこかにマッピングします。そのため、カーネルはすべての物理メモリにアクセスでき、[上で述べた方法に従って物理メモリ全体をマップする](#wu-li-memoriquan-ti-wodui-ying-fu-keru)ことができます。
+- `recursive_page_table` featureでは、ブートローダはレベル4ページテーブルのエントリを再帰的にマッピングします。これによりカーネルは[再帰的ページテーブル](#zai-gui-de-peziteburu)で述べた方法に従ってページテーブルにアクセスすることができます。
+
+私達のカーネルには、シンプルでプラットフォーム非依存かつ（ページテーブルのフレームでないメモリにもアクセスできるので）より強力である1つ目の方法を採ることにします。必要なブートローダの<ruby>機能<rp> (</rp><rt>feature</rt><rp>) </rp></ruby>を有効化するために、`map_physical_memory` featureを`bootloader`のdependencyに追加します。
+
+
+```toml
+[dependencies]
+bootloader = { version = "0.9.8", features = ["map_physical_memory"]}
+```
+
+この機能を有効化すると、ブートローダは物理メモリの全体を、ある未使用の仮想アドレス空間にマッピングします。この仮想アドレスの範囲をカーネルに伝えるために、ブートローダは**boot information**構造体を渡します。
+
+
+### Boot Information
+
+`bootloader`クレートは、カーネルに渡されるすべての情報を格納する[`BootInfo`]構造体を定義しています。この構造体はまだ開発の初期段階にあり、将来の[対応していないsemverの][semver-incompatible]ブートローダのバージョンに更新した際には、うまく動かなくなることが予想されます。`map_physical_memory` featureが有効化されているので、いまこれは`memory_map`と`physical_memory_offset`という2つのフィールドを持っています：
+
+[`BootInfo`]: https://docs.rs/bootloader/0.9.3/bootloader/bootinfo/struct.BootInfo.html
+[semver-incompatible]: https://doc.rust-lang.org/stable/cargo/reference/specifying-dependencies.html#caret-requirements
+
+- `memory_map`フィールドは、利用可能な物理メモリの情報の概要を保持しています。システムの利用可能な物理メモリがどのくらいかや、どのメモリ領域がVGAハードウェアのようなデバイスのために予約されているかをカーネルに伝えます。これらのメモリマッピングはBIOSやUEFIファームウェアから取得できますが、それが可能なのはブートのごく初期に限られます。そのため、これらをカーネルが後で取得することはできないので、ブートローダによって提供する必要があるわけです。このメモリマッピングは後で必要となります。
+- `physical_memory_offset`は、物理メモリのマッピングの始まっている仮想アドレスです。このオフセットを物理アドレスに追加することによって、対応する仮想アドレスを得られます。これによって、カーネルから任意の物理アドレスにアクセスできます。
+
+ブートローダは`BootInfo`構造体を`_start`関数の`&'static BootInfo`引数という形でカーネルに渡します。この引数は私達の関数ではまだ宣言していなかったので追加します：
+
+```rust
+// in src/main.rs
+
+use bootloader::BootInfo;
+
+#[no_mangle]
+pub extern "C" fn _start(boot_info: &'static BootInfo) -> ! { // 新しい引数
+    […]
+}
+```
+
+今までこの引数を無視していましたが、x86_64の呼出し規約は最初の引数をCPUレジスタに渡していたため、これは問題ではありませんでした。つまり、引数が宣言されていなかったとき、それが単に無視されていたわけです。しかし、もし引数の型を間違えてしまうと、コンパイラが私達のエントリポイント関数の正しい型シグネチャがわからなくなってしまうので問題です。
+
+### `entry_point`マクロ
+
+私達の`_start`関数はブートローダから外部呼び出しされるので、私達の関数のシグネチャに対する検査は行われません。これにより、この関数はコンパイルエラーなしにあらゆる引数を取ることができるので、いざ実行時にエラーになったり未定義動作を起こしたりしてしまいます。
+
+私達のエントリポイント関数が常にブートローダの期待する正しいシグネチャを持っていることを保証するために、`bootloader`クレートは[`entry_point`]マクロによって、Rustの関数を型チェックしたうえでエントリポイントとして定義する方法を提供します。私達のエントリポイント関数をこのマクロを使って書き直してみましょう：
+
+[`entry_point`]: https://docs.rs/bootloader/0.6.4/bootloader/macro.entry_point.html
+
+```rust
+// in src/main.rs
+
+use bootloader::{BootInfo, entry_point};
+
+entry_point!(kernel_main);
+
+fn kernel_main(boot_info: &'static BootInfo) -> ! {
+    […]
+}
+```
+
+このマクロがより低レベルな本物の`_start`エントリポイントを定義してくれるので、`extern "C"`や`no_mangle`をエントリポイントに使う必要はもうありません。`kernel_main`関数は今や完全に普通のRustの関数なので、自由に名前をつけることができます。そして重要なのは、この関数は型チェックされているので、間違った関数シグネチャ（例えば引数を増やしたり引数の型を変えたり）にするとコンパイルエラーが発生するということです。
+
+`lib.rs`に同じ変更を施しましょう：
+
+```rust
+// in src/lib.rs
+
+#[cfg(test)]
+use bootloader::{entry_point, BootInfo};
+
+#[cfg(test)]
+entry_point!(test_kernel_main);
+
+/// `cargo test`のエントリポイント
+#[cfg(test)]
+fn test_kernel_main(_boot_info: &'static BootInfo) -> ! {
+    // 前と同じ
+    init();
+    test_main();
+    hlt_loop();
+}
+```
+
+こちらのエントリポイントはテストモードのときにのみ使用するので、`#[cfg(test)]`属性をすべての要素に付しています。`main.rs`の`kernel_main`関数と混同しないよう、`test_kernel_main`という別の名前をつけました。いまのところ`BootInfo`引数は使わないので、引数名の先頭に`_`をつけることで<ruby>unused variable<rp> (</rp><rt>未使用変数</rt><rp>) </rp></ruby>警告が出てくるのを防いでいます。
+
+## 実装
+
+物理メモリへのアクセスができるようになったので、いよいよページテーブルのコードを実装できます。そのためにまず、現在有効な、私達のカーネルが使用しているページテーブルを見てみます。次に、与えられた仮想アドレスがマップされている物理アドレスを返す変換関数を作ります。最後に、新しいマッピングを作るためにページテーブルを修正してみます。
+
+始める前に、`memory`モジュールを作ります：
+
+```rust
+// in src/lib.rs
+
+pub mod memory;
+```
+
+また、このモジュールに対応するファイル`src/memory.rs`を作ります。
+
+### ページテーブルにアクセスする
+
+[前の記事の最後][end of the previous post]で、私達のカーネルの実行しているページテーブルを見てみようとしましたが、`CR3`レジスタの指す物理フレームにアクセスすることができなかったためそれはできませんでした。この続きとして、`active_level_4_table`という、現在<ruby>有効<rp> (</rp><rt>アクティブ</rt><rp>) </rp></ruby>なレベル4ページテーブルへの参照を返す関数を定義するところから始めましょう：
+
+[end of the previous post]: @/edition-2/posts/08-paging-introduction/index.ja.md#peziteburuhenoakusesu
+
+```rust
+// in src/memory.rs
+
+use x86_64::{
+    structures::paging::PageTable,
+    VirtAddr,
+};
+
+/// 有効なレベル4テーブルへの可変参照を返す。
+///
+/// この関数はunsafeである：全物理メモリが、渡された
+/// `physical_memory_offset`（だけずらしたうえ）で
+/// 仮想メモリへとマップされていることを呼び出し元が
+/// 保証しなければならない。また、`&mut`参照が複数の
+/// 名称を持つこと (mutable aliasingといい、動作が未定義)
+/// につながるため、この関数は一度しか呼び出してはならない。
+pub unsafe fn active_level_4_table(physical_memory_offset: VirtAddr)
+    -> &'static mut PageTable
+{
+    use x86_64::registers::control::Cr3;
+
+    let (level_4_table_frame, _) = Cr3::read();
+
+    let phys = level_4_table_frame.start_address();
+    let virt = physical_memory_offset + phys.as_u64();
+    let page_table_ptr: *mut PageTable = virt.as_mut_ptr();
+
+    &mut *page_table_ptr // unsafe
+}
+```
+
+まず、有効なレベル4テーブルの物理フレームを`CR3`レジスタから読みます。その開始物理アドレスを取り出し、`u64`に変換し、`physical_memory_offset`に足すことでそのページテーブルフレームに対応する仮想アドレスを得ます。最後に、`as_mut_ptr`メソッドを使ってこの仮想アドレスを`*mut PageTable`生ポインタに変換し、これから`&mut PageTable`参照を作ります（ここがunsafe）。`&`参照ではなく`&mut`参照にしているのは、後でこのページテーブルを変更するためです。
+
+Rustは`unsafe fn`の中身全体を大きな`unsafe`ブロックであるかのように扱うので、ここでunsafeブロックを使う必要はありません。これでは、（unsafeを意図した）最後の行より前の行に間違ってunsafeな操作を書いても気づけないので、コードがより危険になります。また、どこがunsafeな操作であるのかを探すのも非常に難しくなります。そのため、この挙動を変更する[RFC](https://github.com/rust-lang/rfcs/pull/2585)が提案されています。
+
+この関数を使って、レベル4テーブルのエントリを出力してみましょう：
+
+```rust
+// in src/main.rs
+
+fn kernel_main(boot_info: &'static BootInfo) -> ! {
+    use blog_os::memory::active_level_4_table;
+    use x86_64::VirtAddr;
+
+    println!("Hello World{}", "!");
+    blog_os::init();
+
+    let phys_mem_offset = VirtAddr::new(boot_info.physical_memory_offset);
+    let l4_table = unsafe { active_level_4_table(phys_mem_offset) };
+
+    for (i, entry) in l4_table.iter().enumerate() {
+        if !entry.is_unused() {
+            println!("L4 Entry {}: {:?}", i, entry);
+        }
+    }
+
+    // as before
+    #[cfg(test)]
+    test_main();
+
+    println!("It did not crash!");
+    blog_os::hlt_loop();
+}
+```
+
+まず、`BootInfo`構造体の`physical_memory_offset`を[`VirtAddr`]に変換し、`active_level_4_table`関数に渡します。つぎに`iter`関数を使ってページテーブルのエントリをイテレートし、[`enumerate`]コンビネータをつかってそれぞれの要素にインデックス`i`を追加します。全512エントリを出力すると画面に収まらないので、<ruby>空<rp> (</rp><rt>から</rt><rp>) </rp></ruby>でないエントリのみ出力します。
+
+[`VirtAddr`]: https://docs.rs/x86_64/0.14.2/x86_64/addr/struct.VirtAddr.html
+[`enumerate`]: https://doc.rust-lang.org/core/iter/trait.Iterator.html#method.enumerate
+
+実行すると、以下の出力を得ます：
+
+![QEMU printing entry 0 (0x2000, PRESENT, WRITABLE, ACCESSED), entry 1 (0x894000, PRESENT, WRITABLE, ACCESSED, DIRTY), entry 31 (0x88e000, PRESENT, WRITABLE, ACCESSED, DIRTY), entry 175 (0x891000, PRESENT, WRITABLE, ACCESSED, DIRTY), and entry 504 (0x897000, PRESENT, WRITABLE, ACCESSED, DIRTY)](qemu-print-level-4-table.png)
+
+いくつかの空でないエントリがあり、いずれも異なるレベル3テーブルにマップさせられていることがわかります。このようにたくさんの領域があるのは、カーネルコード、カーネルスタック、物理メモリマッピング、ブート情報が互いに離れたメモリ領域を使っているためです。
+
+ページテーブルを更に辿りレベル3テーブルを見るには、エントリに対応するフレームを取り出し再び仮想アドレスに変換すればよいです：
+
+```rust
+// src/main.rsのforループ内にて……
+
+use x86_64::structures::paging::PageTable;
+
+if !entry.is_unused() {
+    println!("L4 Entry {}: {:?}", i, entry);
+
+    // このエントリから物理アドレスを得て、それを変換する
+    let phys = entry.frame().unwrap().start_address();
+    let virt = phys.as_u64() + boot_info.physical_memory_offset;
+    let ptr = VirtAddr::new(virt).as_mut_ptr();
+    let l3_table: &PageTable = unsafe { &*ptr };
+
+    // レベル3テーブルの空でないエントリを出力する
+    for (i, entry) in l3_table.iter().enumerate() {
+        if !entry.is_unused() {
+            println!("  L3 Entry {}: {:?}", i, entry);
+        }
+    }
+}
+```
+
+レベル2やレベル1のテーブルも、同じ手続きをレベル3とレベル2のエントリに対して繰り返すことで見ることができます。お察しの通りそれを書くとかなり長くなるので、コードの全てはここには示しません。
+
+ページテーブルを手作業で辿ると、CPUが変換を行う仕組みを理解できて面白いです。しかし、多くの場合は与えられた仮想アドレスに対応する物理アドレスにのみ興味があるので、そのための関数を作りましょう。
+
+### アドレスの変換
+
+仮想アドレスを物理アドレスに変換するには、4層のページテーブルを辿って対応するフレームにたどり着けばよいです。この変換を行う関数を作りましょう：
+
+```rust
+// in src/memory.rs
+
+use x86_64::PhysAddr;
+
+/// 与えられた仮想アドレスを対応する物理アドレスに変換し、
+/// そのアドレスがマップされていないなら`None`を返す。
+///
+/// この関数はunsafeである。なぜなら、呼び出し元は全物理メモリが与えられた
+/// `physical_memory_offset`（だけずらした上）でマップされていることを
+/// 保証しなくてはならないからである。
+pub unsafe fn translate_addr(addr: VirtAddr, physical_memory_offset: VirtAddr)
+    -> Option<PhysAddr>
+{
+    translate_addr_inner(addr, physical_memory_offset)
+}
+```
+
+`unsafe`の範囲を制限するために、この関数は、すぐにunsafeでない`translate_addr_inner`関数に制御を渡しています。先に述べたように、Rustはunsafeな関数の全体をunsafeブロックとして扱ってしまいます。呼び出した<ruby>非公開の<rp> (</rp><rt>プライベートな</rt><rp>) </rp></ruby>unsafeでない関数の中にコードを書くことで、それぞれのunsafeな操作を明確にします。
+
+非公開な内部の関数に本当の実装を書いていきます：
+
+```rust
+// in src/memory.rs
+
+/// `translate_addr`により呼び出される非公開関数。
+///
+/// Rustはunsafeな関数の全体をunsafeブロックとして扱ってしまうので、
+/// unsafeの範囲を絞るためにこの関数はunsafeにしていない。
+/// この関数をモジュール外から呼び出すときは、
+/// unsafeな関数`translate_addr`を使って呼び出すこと。
+fn translate_addr_inner(addr: VirtAddr, physical_memory_offset: VirtAddr)
+    -> Option<PhysAddr>
+{
+    use x86_64::structures::paging::page_table::FrameError;
+    use x86_64::registers::control::Cr3;
+
+    // 有効なレベル4フレームをCR3レジスタから読む
+    let (level_4_table_frame, _) = Cr3::read();
+
+    let table_indexes = [
+        addr.p4_index(), addr.p3_index(), addr.p2_index(), addr.p1_index()
+    ];
+    let mut frame = level_4_table_frame;
+
+    // 複数層のページテーブルを辿る
+    for &index in &table_indexes {
+        // フレームをページテーブルの参照に変換する
+        let virt = physical_memory_offset + frame.start_address().as_u64();
+        let table_ptr: *const PageTable = virt.as_ptr();
+        let table = unsafe {&*table_ptr};
+
+        // ページテーブルエントリを読んで、`frame`を更新する
+        let entry = &table[index];
+        frame = match entry.frame() {
+            Ok(frame) => frame,
+            Err(FrameError::FrameNotPresent) => return None,
+            Err(FrameError::HugeFrame) => panic!("huge pages not supported"),
+                                                //huge pageはサポートしていません
+        };
+    }
+
+    // ページオフセットを足すことで、目的の物理アドレスを計算する
+    Some(frame.start_address() + u64::from(addr.page_offset()))
+}
+```
+
+先程作った`active_level_4_table`関数を再利用せず、`CR3`レジスタからレベル4フレームを読み出すコードを再び書いています。これは簡単に試作するためであり、後でもっと良い方法で作り直すのでご心配なく。
+
+`Virtaddr`構造体には、（仮想メモリの）インデックスから4つの階層のページテーブルを計算してくれるメソッドが備わっています。この4つのインデックスを配列に格納することで、これらを`for`ループを使って辿ります。`for`ループを抜けたら、最後に計算した`frame`を覚えているので、物理アドレスを計算できます。この`frame`は、forループの中ではページテーブルのフレームを指していて、最後のループのあと（すなわちレベル1エントリを辿ったあと）では対応する（物理）フレームを指しています。
+
+ループの中では、前と同じように`physical_memory_offset`を使ってフレームをページテーブルの参照に変換します。次に、そのページテーブルのエントリを読み、[`PageTableEntry::frame`]関数を使って対応するフレームを取得します。もしエントリがフレームにマップされていなければ`None`を返します。もしエントリが2MiBや1GiBのhuge pageにマップされていたら、今のところはpanicすることにします。
+
+[`PageTableEntry::frame`]: https://docs.rs/x86_64/0.14.2/x86_64/structures/paging/page_table/struct.PageTableEntry.html#method.frame
+
+いくつかのアドレスを変換して、この変換関数がうまく行くかテストしてみましょう：
+
+```rust
+// in src/main.rs
+
+fn kernel_main(boot_info: &'static BootInfo) -> ! {
+    // 新しいインポート
+    use blog_os::memory::translate_addr;
+
+    […] // hello world と blog_os::init
+
+    let phys_mem_offset = VirtAddr::new(boot_info.physical_memory_offset);
+
+    let addresses = [
+        // 恒等対応しているVGAバッファのページ
+        0xb8000,
+        // コードページのどこか
+        0x201008,
+        // スタックページのどこか
+        0x0100_0020_1a10,
+        // 物理アドレス "0" にマップされている仮想アドレス
+        boot_info.physical_memory_offset,
+    ];
+
+    for &address in &addresses {
+        let virt = VirtAddr::new(address);
+        let phys = unsafe { translate_addr(virt, phys_mem_offset) };
+        println!("{:?} -> {:?}", virt, phys);
+    }
+
+    […] // test_main(), "it did not crash" の出力, および hlt_loop()
+}
+```
+
+実行すると、以下の出力を得ます：
+
+![0xb8000 -> 0xb8000, 0x201008 -> 0x401008, 0x10000201a10 -> 0x279a10, "panicked at 'huge pages not supported'](qemu-translate-addr.png)
+
+期待したとおり、恒等マップしているアドレス`0xb8000`は同じ物理アドレスに変換されました。コードページとスタックページは物理アドレスのどこかしかに変換されていますが、その場所はブートローダがカーネルの初期マッピングをどのようにつくったかによります。また、下から12ビットは変換のあとも常に同じであるということも注目に値します：この部分は[ページオフセット][_page offset_]であり、変換には関わらないためです。
+
+[_page offset_]: @/edition-2/posts/08-paging-introduction/index.ja.md#x86-64niokerupezingu
+
+それぞれの物理アドレスは`physical_memory_offset`を足すことでアクセスできるわけですから、`physical_memory_offset`自体を変換すると物理アドレス`0`を指すはずです。しかし、効率よくマッピングを行うためにここではhuge pageが使われており、これはまだサポートしていないので変換には失敗しています。
+
+### `OffsetPageTable`を使う
+
+仮想アドレスから物理アドレスへの変換はOSのカーネルがよく行うことですから、`x86_64`クレートはそのための抽象化を提供しています。この実装はすでにhuge pageや`translate_addr`以外の様々な関数もサポートしているので、以下ではhuge pageのサポートを自前で実装する代わりにこれを使うことにします。
+
+この抽象化の基礎となっているのは、様々なページテーブルマッピング関数を定義している2つのトレイトです。
+
+- [`Mapper`]トレイトはページサイズを型引数とする<ruby>汎用型<rp> (</rp><rt>ジェネリクス</rt><rp>) </rp></ruby>で、ページに対して操作を行う関数を提供します。例えば、[`translate_page`]は与えられたページを同じサイズのフレームに変換し、[`map_to`]はページテーブルに新しいマッピングを作成します。
+- [`Translate`] トレイトは[`translate_addr`]や一般の[`translate`]のような、さまざまなページサイズに対して動くような関数を提供します。
+
+[`Mapper`]: https://docs.rs/x86_64/0.14.2/x86_64/structures/paging/mapper/trait.Mapper.html
+[`translate_page`]: https://docs.rs/x86_64/0.14.2/x86_64/structures/paging/mapper/trait.Mapper.html#tymethod.translate_page
+[`map_to`]: https://docs.rs/x86_64/0.14.2/x86_64/structures/paging/mapper/trait.Mapper.html#method.map_to
+[`Translate`]: https://docs.rs/x86_64/0.14.2/x86_64/structures/paging/mapper/trait.Translate.html
+[`translate_addr`]: https://docs.rs/x86_64/0.14.2/x86_64/structures/paging/mapper/trait.Translate.html#method.translate_addr
+[`translate`]: https://docs.rs/x86_64/0.14.2/x86_64/structures/paging/mapper/trait.Translate.html#tymethod.translate
+
+これらのトレイトはインターフェイスを定義しているだけであり、その実装は何一つ提供していません。`x86_64`クレートは現在、このトレイトを実装する型を異なる要件に合わせて3つ用意しています。[`OffsetPageTable`]型は、全物理メモリがあるオフセットで仮想アドレスにマップしていることを前提とします。[`MappedPageTable`]はもう少し融通が効き、それぞれのページテーブルフレームが（そのフレームから）計算可能な仮想アドレスにマップしていることだけを前提とします。最後に[`RecursivePageTable`]型は、ページテーブルのフレームに[再帰的ページテーブル](#zai-gui-de-peziteburu)を使ってアクセスするときに使えます。
+
+[`OffsetPageTable`]: https://docs.rs/x86_64/0.14.2/x86_64/structures/paging/mapper/struct.OffsetPageTable.html
+[`MappedPageTable`]: https://docs.rs/x86_64/0.14.2/x86_64/structures/paging/mapper/struct.MappedPageTable.html
+[`RecursivePageTable`]: https://docs.rs/x86_64/0.14.2/x86_64/structures/paging/mapper/struct.RecursivePageTable.html
+
+私達の場合、ブートローダは全物理メモリを`physical_memory_offset`変数で指定された仮想アドレスで物理メモリにマップしているので、`OffsetPageTable`型が使えます。これを初期化するために、`memory`モジュールに新しく`init`関数を作りましょう： 
+
+```rust
+use x86_64::structures::paging::OffsetPageTable;
+
+/// 新しいOffsetPageTableを初期化する。
+///
+/// この関数はunsafeである：全物理メモリが、渡された
+/// `physical_memory_offset`（だけずらしたうえ）で
+/// 仮想メモリへとマップされていることを呼び出し元が
+/// 保証しなければならない。また、`&mut`参照が複数の
+/// 名称を持つこと (mutable aliasingといい、動作が未定義)
+/// につながるため、この関数は一度しか呼び出してはならない。
+pub unsafe fn init(physical_memory_offset: VirtAddr) -> OffsetPageTable<'static> {
+    let level_4_table = active_level_4_table(physical_memory_offset);
+    OffsetPageTable::new(level_4_table, physical_memory_offset)
+}
+
+// これは非公開にする
+unsafe fn active_level_4_table(physical_memory_offset: VirtAddr)
+    -> &'static mut PageTable
+{…}
+```
+
+この関数は`physical_memory_offset`を引数としてとり、`'static`ライフタイムを持つ`OffsetPageTable`を作って返します。このライフタイムは、私達のカーネルが実行している間この<ruby>実体<rp> (</rp><rt>インスタンス</rt><rp>) </rp></ruby>はずっと有効であるという意味です。関数の中ではまず`active_level_4_table`関数を呼び出し、レベル4ページテーブルへの可変参照を取得します。次に[`OffsetPageTable::new`]関数をこの参照を使って呼び出します。この`new`関数の第二引数には、物理メモリのマッピングの始まる仮想アドレスが入ることになっています。つまり`physical_memory_offset`です。
+
+[`OffsetPageTable::new`]: https://docs.rs/x86_64/0.14.2/x86_64/structures/paging/mapper/struct.OffsetPageTable.html#method.new
+
+可変参照が複数の名称を持つと未定義動作を起こす可能性があるので、今後`active_level_4_table`関数は`init`関数から一度呼び出されることを除いては呼び出されてはなりません。そのため、`pub`指定子を外してこの関数を非公開にしています。
+
+これで、自前の`memory::translate_addr`関数の代わりに`Translate::translate_addr`メソッドを使うことができます。これには`kernel_main`を数行だけ書き換えればよいです：
+
+```rust
+// in src/main.rs
+
+fn kernel_main(boot_info: &'static BootInfo) -> ! {
+    // インポートが追加・変更されている
+    use blog_os::memory;
+    use x86_64::{structures::paging::Translate, VirtAddr};
+
+    […] // hello worldとblog_os::init
+
+    let phys_mem_offset = VirtAddr::new(boot_info.physical_memory_offset);
+    // 追加：mapperを初期化
+    let mapper = unsafe { memory::init(phys_mem_offset) };
+
+    let addresses = […]; // 前と同じ
+
+    for &address in &addresses {
+        let virt = VirtAddr::new(address);
+        // 追加：`mapper.translate_addr`メソッドを使う
+        let phys = mapper.translate_addr(virt);
+        println!("{:?} -> {:?}", virt, phys);
+    }
+
+    […] // test_main(), "it did not crash" の出力, および hlt_loop()
+}
+```
+
+[`translate_addr`]メソッドを使うために、それを提供している`Translate`トレイトをインポートする必要があります。
+
+これを実行すると、同じ変換結果が得られますが、今度はhuge pageの変換もうまく行っています：
+
+![0xb8000 -> 0xb8000, 0x201008 -> 0x401008, 0x10000201a10 -> 0x279a10, 0x18000000000 -> 0x0](qemu-mapper-translate-addr.png)
+
+想定通り、`0xb8000`やコード・スタックアドレスの変換結果は自前の変換関数と同じになっています。また、`physical_memory_offset`は物理アドレス`0x0`にマップされているのもわかります。
+
+`MappedPageTable`型の変換関数を使うことで、huge pageをサポートする手間が省けます。また`map_to`のような他のページング関数も利用でき、これは次のセクションで使います。
+
+この時点で、自作した`memory::translate_addr`関数や`memory::translate_addr_inner`関数はもう必要ではないので削除して構いません。
+
+### 新しいマッピングを作る
+
+これまでページテーブルを見てきましたが、それに対する変更は行っていませんでした。ページテーブルに対する変更として、マッピングのなかったページにマッピングを作ってみましょう。
+
+これを実装するには[`Mapper`]トレイトの[`map_to`]関数を使うので、この関数について少し見てみましょう。ドキュメントによると四つ引数があります：マッピングに使うページ、ページをマップさせるフレーム、ページテーブルエントリにつかうフラグの集合、そして`frame_allocator`です。<ruby>フレームアロケータ<rp> (</rp><rt>frame allocator</rt><rp>) </rp></ruby>（フレームを<ruby>割り当てる<rp> (</rp><rt>アロケートする</rt><rp>) </rp></ruby>機能を持つ）が必要な理由は、与えられたページをマップするために追加でページテーブルを作成する必要があるかもしれず、これを格納するためには使われていないフレームが必要となるからです。
+
+[`map_to`]: https://docs.rs/x86_64/0.14.2/x86_64/structures/paging/trait.Mapper.html#tymethod.map_to
+[`Mapper`]: https://docs.rs/x86_64/0.14.2/x86_64/structures/paging/trait.Mapper.html
+
+#### `create_example_mapping`関数
+
+私達が実装していく最初のステップとして、`create_example_mapping`関数という、与えられた仮想ページを`0xb8000`すなわちVGAテキストバッファの物理フレームにマップする関数を作ってみましょう。このフレームを選んだ理由は、マッピングが正しくなされたかをテストするのが容易だからです：マッピングしたページに書き込んで、それが画面に現れるか確認するだけでよいのですから。
+
+`create_example_mapping`は以下のようになります：
+
+```rust
+// in src/memory.rs
+
+use x86_64::{
+    PhysAddr,
+    structures::paging::{Page, PhysFrame, Mapper, Size4KiB, FrameAllocator}
+};
+
+/// 与えられたページをフレーム`0xb8000`に試しにマップする。
+pub fn create_example_mapping(
+    page: Page,
+    mapper: &mut OffsetPageTable,
+    frame_allocator: &mut impl FrameAllocator<Size4KiB>,
+) {
+    use x86_64::structures::paging::PageTableFlags as Flags;
+
+    let frame = PhysFrame::containing_address(PhysAddr::new(0xb8000));
+    let flags = Flags::PRESENT | Flags::WRITABLE;
+
+    let map_to_result = unsafe {
+        // FIXME: unsafeであり、テストのためにのみ行う
+        mapper.map_to(page, frame, flags, frame_allocator)
+    };
+    map_to_result.expect("map_to failed").flush();
+}
+```
+
+この関数は、マップする`page`に加え`OffsetPageTable`のインスタンスと`frame_allocator`への可変参照を引数に取ります。`frame_allocator`引数は[`impl Trait`][impl-trait-arg]構文により[`FrameAllocator`]トレイトを実装するあらゆる型の[汎用型][generic]になっています。`FrameAllocator`トレイトは[`PageSize`]トレイトを実装するなら（トレイト引数のサイズが）4KiBでも2MiBや1GiBのhuge pageでも構わない<ruby>汎用<rp> (</rp><rt>ジェネリック</rt><rp>) </rp></ruby>トレイトです。私達は4KiBのマッピングのみを作りたいので、ジェネリック引数は`Size4KiB`にしています。
+
+[impl-trait-arg]: https://doc.rust-lang.org/book/ch10-02-traits.html#traits-as-parameters
+[generic]: https://doc.rust-lang.org/book/ch10-00-generics.html
+[`FrameAllocator`]: https://docs.rs/x86_64/0.14.2/x86_64/structures/paging/trait.FrameAllocator.html
+[`PageSize`]: https://docs.rs/x86_64/0.14.2/x86_64/structures/paging/page/trait.PageSize.html
+
+[`map_to`]メソッドは、呼び出し元がフレームはまだ使われていないことを保証しないといけないので、unsafeです。なぜなら、同じフレームを二度マップすると（例えば2つの異なる`&mut`参照が物理メモリの同じ場所を指すことで）未定義動作を起こす可能性があるからです。今回、VGAテキストバッファのフレームという、すでにマップされているフレームを再度使っているので、この要件を破ってしまっています。しかしながら、`create_example_mapping`関数は一時的なテスト関数であり、この記事のあとには取り除かれるので大丈夫です。この危険性のことを忘れないようにするために、その行に<ruby>`FIXME`<rp> (</rp><rt>`要修正`</rt><rp>) </rp></ruby>コメントをつけておきます。
+
+`map_to`関数が`page`と`unused_frame`に加えてフラグの集合と`frame_allocator`への参照を取りますが、これについてはすぐに説明します。フラグについては、`PRESENT`フラグという有効なエントリ全てに必須のフラグと、`WRITABLE`フラグという対応するページを書き込み可能にするフラグをセットしています。フラグの一覧については、前記事の[ページテーブルの形式][_Page Table Format_]を参照してください。
+
+[_Page Table Format_]: @/edition-2/posts/08-paging-introduction/index.ja.md#peziteburunoxing-shi
+
+[`map_to`]関数は失敗しうるので、[`Result`]を返します。これは失敗しても構わない単なるテストコードなので、エラーが起きたときは[`expect`]を使ってパニックしてしまうことにします。この関数は成功したとき[`MapperFlush`]型を返します。この型の[`flush`]メソッドを使うと、新しくマッピングしたページをトランスレーション・ルックアサイド・バッファ (TLB) から簡単にflushすることができます。この型は`Result`と同じく[`#[must_use]`][must_use]属性を使っており、使用し忘れると警告を出します。
+
+[`Result`]: https://doc.rust-lang.org/core/result/enum.Result.html
+[`expect`]: https://doc.rust-lang.org/core/result/enum.Result.html#method.expect
+[`MapperFlush`]: https://docs.rs/x86_64/0.14.2/x86_64/structures/paging/mapper/struct.MapperFlush.html
+[`flush`]: https://docs.rs/x86_64/0.14.2/x86_64/structures/paging/mapper/struct.MapperFlush.html#method.flush
+[must_use]: https://doc.rust-lang.org/std/result/#results-must-be-used
+
+#### ダミーの`FrameAllocator`
+
+`create_example_mapping`関数を呼べるようにするためには、まず`FrameAllocator`トレイトを実装する型を作成する必要があります。上で述べたように、このトレイトは新しいページのためのフレームを`map_to`が必要としたときに割り当てる役割を持っています。
+
+単純なケースを考えましょう：新しいページテーブルを作る必要がないと仮定してしまいます。この場合、常に`None`を返すフレームアロケータで十分です。私達のマッピング関数をテストするために、そのような`EmptyFrameAllocator`を作ります。
+
+```rust
+// in src/memory.rs
+
+/// つねに`None`を返すFrameAllocator
+pub struct EmptyFrameAllocator;
+
+unsafe impl FrameAllocator<Size4KiB> for EmptyFrameAllocator {
+    fn allocate_frame(&mut self) -> Option<PhysFrame> {
+        None
+    }
+}
+```
+
+`FrameAllocator`を実装するのはunsafeです。なぜなら、実装する人は、実装したアロケータが未使用のフレームのみ取得することを保証しなければならないからです。さもなくば、例えば二つの仮想ページが同じ物理フレームにマップされたときに未定義動作が起こるかもしれません。この`EmptyFrameAllocator`は`None`しか返さないので、これは問題ではありません。
+
+#### 仮想ページを選ぶ
+
+`create_example_mapping`関数に渡すための単純なフレームアロケータを手に入れました。しかし、このアロケータは常に`None`を返すので、マッピングを作る際に追加のページテーブルフレームが必要でなかったときにのみうまく動作します。いつ追加のページテーブルフレームが必要でありいつそうでないのかを知るために、例をとって考えてみましょう：
+
+![A virtual and a physical address space with a single mapped page and the page tables of all four levels](required-page-frames-example.svg)
+
+この図の左は仮想アドレス空間を、右は物理アドレス空間を、真ん中はページテーブルを示します。このページテーブルが格納されている物理フレームが破線で示されています。仮想アドレス空間は一つのマップされたページをアドレス`0x803fe00000`に持っており、これは青色で示されています。このページをフレームに変換するために、CPUは4層のページテーブルを辿り、アドレス36KiBのフレームに到達します。
+
+また、この図はVGAテキストバッファの物理フレームを赤色で示しています。私達の目的は、`create_example_mapping`関数を使ってまだマップされていない仮想ページをこのフレームにマップすることです。私達の`EmptyFrameAllocator`は常に`None`を返すので、アロケータからフレームを追加する必要がないようにマッピングを作りたいです。これができるかは、私達がマッピングにどの仮想ページを使うかに依存します。
+
+
+この図の仮想アドレス空間には、2つの候補となるページを黄色で示しています。ページのうち一つはアドレス`0x803fe00000`で、これは（青で示された）マップされているページの3つ前です。レベル4と3のテーブルのインデックスは青いページと同じですが、レベル2と1のインデックスは違います（[前の記事][page-table-indices]を参照）。レベル2テーブルのインデックスが違うということは、異なるレベル1テーブルが使われることを意味します。そんなレベル1テーブルは存在しないので、もしこちらを使っていたら、使われていない物理フレームを追加（でアロケート）する必要が出てきます。対して、2つ目のアドレス`0x803fe02000`にある候補のページは、青のページと同じレベル1ページテーブルを使うのでこの問題は発生しません。よって、必要となるすべてのページテーブルはすでに存在しています。
+
+[page-table-indices]: @/edition-2/posts/08-paging-introduction/index.ja.md#x86-64niokerupezingu
+
+まとめると、新しいマッピングを作るときの難易度は、マッピングしようとしている仮想ページに依存するということです。作ろうとしているページのレベル1ページテーブルがすでに存在すると最も簡単で、エントリをそのページに一つ書き込むだけです。ページがレベル3のテーブルすら存在しない領域にある場合が最も難しく、その場合まずレベル3，2，1のページテーブルを新しく作る必要があります。
+
+`EmptyFrameAllocator`を使って`create_example_mapping`を呼び出すためには、すべての（階層の）ページテーブルがすでに存在しているページを選ぶ必要があります。そんなページを探すにあたっては、ブートローダが自分自身を仮想アドレス空間の最初の1メガバイトに読み込んでいるということを利用できます。つまり、この領域のすべてのページについて、レベル1テーブルがきちんと存在しているということです。したがって、試しにマッピングを作るときに、このメモリ領域のいずれかの未使用ページ、例えばアドレス`0`を使えばよいです。普通このページは、ヌルポインタの参照外しがページフォルトを引き起こすことを保証するために使用しないので、ブートローダもここをマップさせてはいないはずです。
+
+#### マッピングを作る
+
+というわけで、`create_example_mapping`関数を呼び出すために必要なすべての引数を手に入れたので、仮想アドレス`0`をマップするよう`kernel_main`関数を変更していきましょう。このページをVGAテキストバッファのフレームにマップすると、以後、画面に書き込むことができるようになるはずです。実装は以下のようになります：
+
+```rust
+// in src/main.rs
+
+fn kernel_main(boot_info: &'static BootInfo) -> ! {
+    use blog_os::memory;
+    use x86_64::{structures::paging::Page, VirtAddr}; // 新しいインポート
+
+    […] // hello worldとblog_os::init
+
+    let phys_mem_offset = VirtAddr::new(boot_info.physical_memory_offset);
+    let mut mapper = unsafe { memory::init(phys_mem_offset) };
+    let mut frame_allocator = memory::EmptyFrameAllocator;
+
+    // 未使用のページをマップする
+    let page = Page::containing_address(VirtAddr::new(0));
+    memory::create_example_mapping(page, &mut mapper, &mut frame_allocator);
+
+    // 新しいマッピングを使って、文字列`New!`を画面に書き出す
+    let page_ptr: *mut u64 = page.start_address().as_mut_ptr();
+    unsafe { page_ptr.offset(400).write_volatile(0x_f021_f077_f065_f04e)};
+
+    […] // test_main(), "it did not crash" printing, および hlt_loop()
+}
+```
+
+まず、`mapper`と`frame_allocator`インスタンスの可変参照を渡して`create_example_mapping`を呼ぶことで、アドレス`0`のページにマッピングを作っています。これはVGAテキストバッファのフレームにマップしているので、これに書き込んだものは何であれ画面に出てくるはずです。
+
+次にページを生ポインタに変更して、オフセット`400`に値を書き込みます。このページの最初に書き込むとVGAバッファの一番上の行になり、次のprintlnで即座に画面外に流れていってしまうので、それを避けています。値`0x_f021_f077_f065_f04e`は、白背景の"New!"という文字列を表します。[VGAテキストモードの記事][in the _“VGA Text Mode”_ post]で学んだように、VGAバッファへの書き込みはvolatileでなければならないので、[`write_volatile`]メソッドを使っています。
+
+[in the _“VGA Text Mode”_ post]: @/edition-2/posts/03-vga-text-buffer/index.ja.md#volatile
+[`write_volatile`]: https://doc.rust-lang.org/std/primitive.pointer.html#method.write_volatile
+
+QEMUで実行すると、以下の出力を得ます：
+
+![QEMU printing "It did not crash!" with four completely white cells in the middle of the screen](qemu-new-mapping.png)
+
+画面の "New!" はページ`0`への書き込みによるものなので、ページテーブルへの新しいマッピングの作成が成功したということを意味します。
+
+このマッピングが成功したのは、アドレス`0`を管轄するレベル1テーブルがすでに存在していたからに過ぎません。レベル1テーブルがまだ存在しないページをマッピングしようとすると、`map_to`関数は新しいページテーブルを作るために`EmptyFrameAllocator`からフレームを割り当てようとしてエラーになります。`0`の代わりに`0xdeadbeaf000`をマッピングしようとするとそれが発生するのが見られます。
+
+```rust
+// in src/main.rs
+
+fn kernel_main(boot_info: &'static BootInfo) -> ! {
+    […]
+    let page = Page::containing_address(VirtAddr::new(0xdeadbeaf000));
+    […]
+}
+```
+
+これを実行すると、以下のエラーメッセージとともにパニックします：
+
+```
+panicked at 'map_to failed: FrameAllocationFailed', /…/result.rs:999:5
+```
+
+レベル1テーブルがまだ存在していないページをマップするためには、ちゃんとした`FrameAllocator`を作らないといけません。しかし、どのフレームが未使用で、どのフレームが利用可能かはどうすればわかるのでしょう？
+
+### フレームを割り当てる
+
+新しいページテーブルを作成するためには、ちゃんとしたフレームアロケータを作る必要があります。このためには、ブートローダによって渡される`BootInfo`構造体の一部である`memory_map`を使います：
+
+```rust
+// in src/memory.rs
+
+use bootloader::bootinfo::MemoryMap;
+
+/// ブートローダのメモリマップから、使用可能な
+/// フレームを返すFrameAllocator
+pub struct BootInfoFrameAllocator {
+    memory_map: &'static MemoryMap,
+    next: usize,
+}
+
+impl BootInfoFrameAllocator {
+    /// 渡されたメモリマップからFrameAllocatorを作る。
+    ///
+    /// この関数はunsafeである：呼び出し元は渡された
+    /// メモリマップが有効であることを保証しなければ
+    /// ならない。特に、`USABLE`なフレームは実際に
+    /// 未使用でなくてはならない。
+    pub unsafe fn init(memory_map: &'static MemoryMap) -> Self {
+        BootInfoFrameAllocator {
+            memory_map,
+            next: 0,
+        }
+    }
+}
+```
+
+この構造体は2つのフィールドを持ちます。ブートローダによって渡されたメモリマップへの`'static`な参照と、アロケータが次に返すべきフレームの番号を覚えておくための`next`フィールドです。
+
+[_Boot Information_](#boot-information)節で説明したように、このメモリマップはBIOS/UEFIファームウェアから提供されます。これはブートプロセスのごく初期にのみ取得できますが、ブートローダがそのための関数を既に呼んでくれています。メモリマップは`MemoryRegion`構造体のリストからなり、この構造体はそれぞれのメモリ領域の開始アドレス、長さ、型（未使用か、予約済みかなど）を格納しています。
+
+`init`関数は`BootInfoFrameAllocator`を与えられたメモリマップで初期化します。`next`フィールドは`0`で初期化し、フレームを割当てるたびに値を増やすことで同じフレームを二度返すことを防ぎます。メモリマップの<ruby>usable<rp> (</rp><rt>使用可能</rt><rp>) </rp></ruby>とされているフレームが他のどこかで使われたりしていないかは知ることができないので、この`init`関数はそれを呼び出し元に追加で保証させるために`unsafe`でないといけません。
+
+#### `usable_frames`メソッド
+
+`FrameAllocator`トレイトを実装していく前に、渡されたメモリマップをusableなフレームのイテレータに変換する補助メソッドを追加します：
+
+```rust
+// in src/memory.rs
+
+use bootloader::bootinfo::MemoryRegionType;
+
+impl BootInfoFrameAllocator {
+    /// メモリマップによって指定されたusableなフレームのイテレータを返す。
+    fn usable_frames(&self) -> impl Iterator<Item = PhysFrame> {
+        // メモリマップからusableな領域を得る
+        let regions = self.memory_map.iter();
+        let usable_regions = regions
+            .filter(|r| r.region_type == MemoryRegionType::Usable);
+        // それぞれの領域をアドレス範囲にmapで変換する
+        let addr_ranges = usable_regions
+            .map(|r| r.range.start_addr()..r.range.end_addr());
+        // フレームの開始アドレスのイテレータへと変換する
+        let frame_addresses = addr_ranges.flat_map(|r| r.step_by(4096));
+        // 開始アドレスから`PhysFrame`型を作る
+        frame_addresses.map(|addr| PhysFrame::containing_address(PhysAddr::new(addr)))
+    }
+}
+```
+
+この関数はイテレータのコンビネータメソッドを使って、最初に与えられる`MemoryMap`を使用可能な物理フレームのイテレータに変換します：
+
+- まず`iter`メソッドを使ってメモリマップを[`MemoryRegion`]のイテレータに変える。
+- 次に[`filter`]メソッドを使って、予約済みなどの理由で使用不可能な領域を飛ばすようにする。ブートローダは作ったマッピングに使ったメモリマップはきちんと更新するので、私達のカーネル（コード、データ、スタック）に使われているフレームやブート情報を格納するのに使われているフレームはすでに<ruby>`InUse`<rp> (</rp><rt>`使用中`</rt><rp>) </rp></ruby>などでマークされています。そのため`Usable`なフレームは他の場所では使われていないはずとわかります。
+- つぎに、[`map`]コンビネータとRustの[range構文][range syntax]を使って、メモリ領域のイテレータからアドレス範囲のイテレータへと変換する。
+- つぎに、アドレス範囲から[`step_by`]で4096個ごとにアドレスを選び、[`flat_map`]を使うことでフレームの最初のアドレスのイテレータを得る。4096バイト（＝4KiB）はページのサイズに等しいので、それぞれのフレームの開始地点のアドレスが得られます。ブートローダのページは使用可能なメモリ領域をすべてアラインするので、ここで改めてアラインや丸めを行う必要はありません。`map`ではなく[`flat_map`]を使うことで、`Iterator<Item = Iterator<Item = u64>>`ではなく`Iterator<Item = u64>`を得ています。
+- 最後に、開始アドレスの型を`PhysFrame`に変更することで`Iterator<Item = PhysFrame>`を得ている。
+
+[`MemoryRegion`]: https://docs.rs/bootloader/0.6.4/bootloader/bootinfo/struct.MemoryRegion.html
+[`filter`]: https://doc.rust-lang.org/core/iter/trait.Iterator.html#method.filter
+[`map`]: https://doc.rust-lang.org/core/iter/trait.Iterator.html#method.map
+[range syntax]: https://doc.rust-lang.org/core/ops/struct.Range.html
+[`step_by`]: https://doc.rust-lang.org/core/iter/trait.Iterator.html#method.step_by
+[`flat_map`]: https://doc.rust-lang.org/core/iter/trait.Iterator.html#method.flat_map
+
+この関数の戻り型は[`impl Trait`]機能を用いています。こうすると、`PhysFrame`をitemの型として持つような[`Iterator`]トレイトを実装する何らかの型を返すのだと指定できます。これは重要です――なぜなら、戻り値の型は名前のつけられないクロージャ型に依存し、**具体的な名前をつけるのが不可能**だからです。
+
+[`impl Trait`]: https://doc.rust-lang.org/book/ch10-02-traits.html#returning-types-that-implement-traits
+[`Iterator`]: https://doc.rust-lang.org/core/iter/trait.Iterator.html
+
+#### `FrameAllocator`トレイトを実装する
+
+これで`FrameAllocator`トレイトを実装できます：
+
+```rust
+// in src/memory.rs
+
+unsafe impl FrameAllocator<Size4KiB> for BootInfoFrameAllocator {
+    fn allocate_frame(&mut self) -> Option<PhysFrame> {
+        let frame = self.usable_frames().nth(self.next);
+        self.next += 1;
+        frame
+    }
+}
+```
+
+まず`usable_frames`メソッドを使ってメモリマップからusableなフレームのイテレータを得ます。つぎに、[`Iterator::nth`]関数で`self.next`番目の（つまり`(self.next - 1)`だけ飛ばして）フレームを得ます。このフレームを返してリターンする前に、`self.next`を1だけ増やして次の呼び出しで1つ後のフレームが得られるようにします。
+
+[`Iterator::nth`]: https://doc.rust-lang.org/core/iter/trait.Iterator.html#method.nth
+
+この実装は割当てを行うごとに`usable_frames`アロケータを作り直しているので、最適とは言い難いです。イテレータを構造体のフィールドとして直接格納するほうが良いでしょう。すると`nth`メソッドを使う必要はなくなり、割り当てのたびに[`next`]を使えばいいだけです。このアプローチの問題は、今の所構造体のフィールドに`impl Trait`型（の変数）を格納することができないことです。いつの日か、[named existential type][_named existential types_]が完全に実装されたときにはこれが可能になるかもしれません。
+
+[`next`]: https://doc.rust-lang.org/core/iter/trait.Iterator.html#tymethod.next
+[_named existential types_]: https://github.com/rust-lang/rfcs/pull/2071
+
+#### `BootInfoFrameAllocator`を使う
+
+`kernel_main`関数を修正して`EmptyFrameAllocator`のインスタンスの代わりに`BootInfoFrameAllocator`を渡しましょう：
+
+```rust
+// in src/main.rs
+
+fn kernel_main(boot_info: &'static BootInfo) -> ! {
+    use blog_os::memory::BootInfoFrameAllocator;
+    […]
+    let mut frame_allocator = unsafe {
+        BootInfoFrameAllocator::init(&boot_info.memory_map)
+    };
+    […]
+}
+```
+
+ブート情報を使うフレームアロケータのおかげでマッピングは成功し、白背景に黒文字の"New!"が再び画面に現れました。舞台裏では、`map_to`メソッドが不足しているページテーブルを以下のやり方で作っています：
+
+- 渡された`frame_allocator`を使って未使用のフレームを割り当ててもらう。
+- フレームをゼロで埋めることで、新しい空のページテーブルを作る。
+- 上位のテーブルのエントリをそのフレームにマップする。
+- 次の層で同じことを続ける。
+
+`create_example_mapping`関数はただのお試しコードにすぎませんが、今や私達は任意のページにマッピングを作れるようになりました。これは、今後の記事で行うメモリ割り当てやマルチスレッディングにおいて不可欠です。
+
+[上](#create-example-mappingguan-shu)で説明したような未定義動作を誤って引き起こしてしまうことのないよう、この時点で`create_example_mapping`関数を再び取り除いておきましょう。
+
+## まとめ
+
+この記事ではページテーブルのある物理フレームにアクセスするための様々なテクニックを学びました。恒等マップ、物理メモリ全体のマッピング、一時的なマッピング、再帰的ページテーブルなどです。このうち、シンプルで<ruby>ポータブル<rp> (</rp><rt>アーキテクチャ非依存</rt><rp>) </rp></ruby>で強力な、物理メモリ全体のマッピングを選びました。
+
+ページテーブルにアクセスできなければ物理メモリをマップされないので、ブートローダの補助が必要でした。`bootloader`クレートはcargoのfeaturesというオプションを通じて、必要となるマッピングの作成をサポートしています。さらに、必要となる情報をエントリポイント関数の`&BootInfo`引数という形で私達のカーネルに渡してくれます。
+
+実装についてですが、最初はページテーブルを辿る変換関数を自分の手で実装し、そのあとで`x86_64`クレートの`MappedPageTable`型を使いました。また、ページテーブルに新しいマッピングを作る方法や、そのために必要な`FrameAllocator`をブートローダに渡されたメモリマップをラップすることで作る方法を学びました。
+
+## 次は？
+
+次の記事では、私達のカーネルのためのヒープメモリ領域を作り、それによって[メモリの割り当て][allocate memory]を行ったり各種の[コレクション型][collection types]を使うことが可能になります。
+
+[allocate memory]: https://doc.rust-lang.org/alloc/boxed/struct.Box.html
+[collection types]: https://doc.rust-lang.org/alloc/collections/index.html
diff --git a/blog/content/status-update/2019-12-02.md b/blog/content/status-update/2019-12-02.md
index b366c0a9..5d7e4fca 100644
--- a/blog/content/status-update/2019-12-02.md
+++ b/blog/content/status-update/2019-12-02.md
@@ -15,7 +15,7 @@ We also have other news: We plan to add [Experimental Support for Community Tran
 
 ## `bootloader`
 
-- [Change the way the kernel entry point is called to honor alignement ABI](https://github.com/rust-osdev/bootloader/pull/81) by [@GuillaumeDIDIER](https://github.com/GuillaumeDIDIER) (published as version 0.8.2)
+- [Change the way the kernel entry point is called to honor alignment ABI](https://github.com/rust-osdev/bootloader/pull/81) by [@GuillaumeDIDIER](https://github.com/GuillaumeDIDIER) (published as version 0.8.2)
 - [Add support for Github Actions](https://github.com/rust-osdev/bootloader/pull/82)
 - [Remove unnecessary `extern C` on panic handler to fix not-ffi-safe warning](https://github.com/rust-osdev/bootloader/pull/85) by [@cmsd2](https://github.com/cmsd2) (published as version 0.8.3)
 
diff --git a/blog/sass/css/edition-2/main.scss b/blog/sass/css/edition-2/main.scss
new file mode 100644
index 00000000..d8b8867b
--- /dev/null
+++ b/blog/sass/css/edition-2/main.scss
@@ -0,0 +1,1077 @@
+/*
+ * CSS file for the second edition of os.phil-opp.com.  
+ *
+ * Based on `poole`which was designed, built, and released under MIT license by @mdo. See
+ * https://github.com/poole/poole.
+ */
+
+/*
+ * Contents
+ *
+ * Fonts
+ * Body resets
+ * Dark/Light Mode
+ * Custom type
+ * Messages
+ * Container
+ * Masthead
+ * Posts and pages
+ * Pagination
+ * Reverse layout
+ * Themes
+ */
+
+/* Fonts */
+
+@font-face {
+    font-family: "Iosevka";
+    src: url("/fonts/iosevka-regular.woff2") format("woff2"), url("/fonts/iosevka-regular.woff") format("woff");
+    font-weight: normal;
+    font-style: normal;
+    font-display: swap;
+}
+
+/*
+   * Body resets
+   *
+   * Update the foundational and global aspects of the page.
+   */
+
+* {
+    -webkit-box-sizing: border-box;
+    -moz-box-sizing: border-box;
+    box-sizing: border-box;
+}
+
+html,
+body {
+    margin: 0;
+    padding: 0;
+}
+
+html {
+    font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
+    line-height: 1.5;
+}
+
+/* Dark/Light Mode */
+
+@mixin set-colors-light {
+    --background-color: #fff;
+    --text-color: #515151;
+    --heading-color: #313131;
+    --heading-code-color: #a0565c;
+    --link-color: #268bd2;
+    --hr-color-top: #eee;
+    --hr-color-bottom: #fff;
+    --code-text-color: #bf616a;
+    --code-background-color: #f9f9f9;
+    --masthead-title-color: #505050;
+    --strong-color: #303030;
+    --masthead-subtitle: #c0c0c0;
+    --post-title-color: #228;
+}
+
+@mixin set-colors-dark {
+    --background-color: #252525;
+    --text-color: #f5f5f5;
+    --heading-color: #eee;
+    --heading-code-color: #eee;
+    --link-color: #c59ff3;
+    --hr-color-top: #333;
+    --hr-color-bottom: #000;
+    --code-text-color: #eeeeee;
+    --code-background-color: #222222;
+    --masthead-title-color: #b6b6b6;
+    --strong-color: #c0c0c0;
+    --masthead-subtitle: #8f8f8f;
+    --post-title-color: #c8c8ff;
+}
+
+body {
+    @include set-colors-light();
+}
+
+[data-theme="dark"] body {
+    @include set-colors-dark();
+}
+
+/* Styles for users who prefer dark mode at the OS level */
+@media (prefers-color-scheme: dark) {
+    /* defaults to dark theme */
+    body {
+        @include set-colors-dark();
+    }
+    /* Override dark mode with light mode styles if the user decides to swap */
+    [data-theme="light"] body {
+        @include set-colors-light();
+    }
+}
+
+body {
+    color: var(--text-color);
+    background-color: var(--background-color);
+    -webkit-text-size-adjust: 100%;
+    -ms-text-size-adjust: 100%;
+}
+
+/* No `:visited` state is required by default (browsers will use `a`) */
+
+a {
+    color: var(--link-color);
+    text-decoration: none;
+}
+
+/* `:focus` is linked to `:hover` for basic accessibility */
+
+a:hover,
+a:focus {
+    text-decoration: underline;
+}
+
+/* Headings */
+h1,
+h2,
+h3,
+h4,
+h5,
+h6 {
+    margin-bottom: 0.5rem;
+    font-weight: bold;
+    line-height: 1.25;
+    color: var(--heading-color);
+    text-rendering: optimizeLegibility;
+}
+h1 {
+    font-size: 2rem;
+}
+h2 {
+    margin-top: 1rem;
+    font-size: 1.5rem;
+}
+h3 {
+    margin-top: 1.5rem;
+    font-size: 1.25rem;
+}
+h4,
+h5,
+h6 {
+    margin-top: 1rem;
+    font-size: 1rem;
+}
+
+/* Body text */
+p {
+    margin-top: 0;
+    margin-bottom: 1rem;
+}
+
+strong {
+    color: var(--strong-color);
+}
+
+/* Lists */
+ul,
+ol,
+dl {
+    margin-top: 0;
+    margin-bottom: 1rem;
+}
+
+/* Nested lists */
+li ul,
+li ol,
+li dl {
+    margin-bottom: 0;
+}
+
+li ul + p,
+li ol + p,
+li dl + p {
+    margin-top: 1rem;
+}
+
+dt {
+    font-weight: bold;
+}
+dd {
+    margin-bottom: 0.5rem;
+}
+
+/* Misc */
+hr {
+    position: relative;
+    margin: 1.5rem 0;
+    border: 0;
+    border-top: 1px solid var(--hr-color-top);
+    border-bottom: 1px solid var(--hr-color-bottom);
+}
+
+abbr {
+    font-size: 90%;
+    font-weight: bold;
+    color: #555;
+    text-transform: uppercase;
+}
+abbr[title] {
+    cursor: help;
+    border-bottom: 1px dotted #e5e5e5;
+}
+
+/* Code */
+code,
+pre {
+    font-family: "Iosevka", monospace;
+}
+code {
+    padding: 0.25em 0.5em;
+    font-size: 85%;
+    color: var(--code-text-color);
+    background-color: var(--code-background-color);
+    border-radius: 3px;
+}
+pre {
+    display: block;
+    margin-top: 0;
+    margin-bottom: 1rem;
+    padding: 0.5rem;
+    font-size: 0.95rem;
+    line-height: 1.4;
+    white-space: pre;
+    overflow: auto;
+    word-wrap: normal;
+    background-color: var(--code-background-color);
+}
+pre code {
+    padding: 0;
+    font-size: 100%;
+    color: inherit;
+    background-color: transparent;
+}
+.highlight {
+    margin-bottom: 1rem;
+    border-radius: 4px;
+}
+.highlight pre {
+    margin-bottom: 0;
+}
+
+/* Quotes */
+blockquote {
+    padding: 0.5rem 1rem;
+    margin: 0.8rem 0;
+    color: #7a7a7a;
+    border-left: 0.25rem solid #e5e5e5;
+}
+blockquote p:last-child {
+    margin-bottom: 0;
+}
+@media (min-width: 30rem) {
+    blockquote {
+        padding-right: 5rem;
+        padding-left: 1.25rem;
+    }
+}
+
+img {
+    display: block;
+    margin: 0 0 1rem;
+    border-radius: 5px;
+    max-width: 100%;
+    color: grey;
+    font-style: italic;
+}
+
+/* Tables */
+table {
+    margin-bottom: 1rem;
+    width: 100%;
+    border: 1px solid #e5e5e5;
+    border-collapse: collapse;
+}
+td,
+th {
+    padding: 0.25rem 0.5rem;
+    border: 1px solid #e5e5e5;
+}
+tbody tr:nth-child(odd) td,
+tbody tr:nth-child(odd) th {
+    background-color: var(--code-background-color);
+}
+
+/*
+   * Custom type
+   *
+   * Extend paragraphs with `.lead` for larger introductory text.
+   */
+
+.lead {
+    font-size: 1.25rem;
+    font-weight: 300;
+}
+
+/*
+   * Messages
+   *
+   * Show alert messages to users. You may add it to single elements like a `<p>`,
+   * or to a parent if there are multiple elements to show.
+   */
+
+.message {
+    margin-bottom: 1rem;
+    padding: 1rem;
+    color: #717171;
+    background-color: var(--code-background-color);
+}
+
+/*
+   * Container
+   *
+   * Center the page content.
+   */
+
+.container {
+    max-width: 45rem;
+    padding-left: 1rem;
+    padding-right: 1rem;
+    margin-left: auto;
+    margin-right: auto;
+}
+
+/*
+   * Masthead
+   *
+   * Super small header above the content for site name and short description.
+   */
+
+.masthead {
+    padding-top: 1rem;
+    padding-bottom: 1rem;
+    margin-bottom: 1rem;
+}
+.masthead-title {
+    margin-top: 0;
+    margin-bottom: 0;
+    color: var(--masthead-title-color);
+}
+.masthead-title a {
+    color: var(--masthead-title-color);
+}
+.masthead small {
+    font-size: 75%;
+    font-weight: 400;
+    color: var(--masthead-subtitle);
+    letter-spacing: 0;
+}
+
+/*
+   * Posts and pages
+   *
+   * Each post is wrapped in `.post` and is used on default and post layouts. Each
+   * page is wrapped in `.page` and is only used on the page layout.
+   */
+
+.page {
+    margin-bottom: 4em;
+}
+
+/* Blog post or page title */
+.page-title,
+.post-title,
+.post-title a {
+    color: var(--post-title-color);
+}
+.page-title,
+.post-title {
+    margin-top: 0;
+}
+
+/* Meta data line below post title */
+.post-date {
+    display: block;
+    margin-top: -0.5rem;
+    margin-bottom: 1rem;
+    color: #9a9a9a;
+}
+
+/* Related posts */
+.related {
+    padding-top: 2rem;
+    padding-bottom: 2rem;
+    border-top: 1px solid #eee;
+}
+.related-posts {
+    padding-left: 0;
+    list-style: none;
+}
+.related-posts h3 {
+    margin-top: 0;
+}
+.related-posts li small {
+    font-size: 75%;
+    color: #999;
+}
+.related-posts li a:hover {
+    color: #268bd2;
+    text-decoration: none;
+}
+.related-posts li a:hover small {
+    color: inherit;
+}
+
+/*
+   * Pagination
+   *
+   * Super lightweight (HTML-wise) blog pagination. `span`s are provide for when
+   * there are no more previous or next posts to show.
+   */
+
+.pagination {
+    overflow: hidden; /* clearfix */
+    margin-left: -1rem;
+    margin-right: -1rem;
+    font-family: "PT Sans", Helvetica, Arial, sans-serif;
+    color: #ccc;
+    text-align: center;
+}
+
+/* Pagination items can be `span`s or `a`s */
+.pagination-item {
+    display: block;
+    padding: 1rem;
+    border: 1px solid #eee;
+}
+.pagination-item:first-child {
+    margin-bottom: -1px;
+}
+
+/* Only provide a hover state for linked pagination items */
+a.pagination-item:hover {
+    background-color: #f5f5f5;
+}
+
+@media (min-width: 30rem) {
+    .pagination {
+        margin: 3rem 0;
+    }
+    .pagination-item {
+        float: left;
+        width: 50%;
+    }
+    .pagination-item:first-child {
+        margin-bottom: 0;
+        border-top-left-radius: 4px;
+        border-bottom-left-radius: 4px;
+    }
+    .pagination-item:last-child {
+        margin-left: -1px;
+        border-top-right-radius: 4px;
+        border-bottom-right-radius: 4px;
+    }
+}
+
+h1 code,
+h2 code,
+h3 code,
+h4 code,
+h5 code,
+h6 code {
+    padding: 0;
+    color: var(--heading-code-color);
+    font-size: 90%;
+    background-color: inherit;
+}
+
+.masthead-title {
+    font-size: 1.25rem;
+    display: inline;
+}
+
+.masthead p {
+    font-size: 1.25rem;
+    display: inline;
+    margin: 0;
+    margin-left: 1rem;
+    padding: 0;
+    line-height: 1;
+}
+
+.front-page-introduction {
+    margin-bottom: 2rem;
+}
+
+.navigation {
+    float: right;
+}
+
+.navigation img {
+    height: 1em;
+    vertical-align: baseline;
+    display: inline-block;
+    margin: 0;
+    padding: 0;
+    border-radius: 0;
+}
+
+main img {
+    max-width: 100%;
+    margin: auto;
+}
+
+.post {
+    margin-bottom: 2em;
+}
+
+.post:last-child {
+    margin-bottom: 0em;
+}
+
+.frontpage-section {
+    margin-bottom: 2rem;
+}
+
+.posts {
+    padding: 1.5rem 1rem 0.5rem 1rem;
+    border-radius: 10px;
+    margin-bottom: 2rem;
+    margin-left: -0.5rem;
+    margin-right: -0.5rem;
+}
+
+.posts.neutral {
+    border: 2px solid #999;
+}
+
+.posts.subscribe {
+    border: 2px solid #aaa;
+}
+
+.posts.edition-1 {
+    border: 2px solid #aaa;
+    background-color: #99ff0022;
+}
+
+.posts.bare-bones {
+    border: 2px solid #66f;
+}
+
+.posts.memory-management {
+    border: 2px solid #fc0;
+}
+
+.posts.interrupts {
+    border: 2px solid #f66;
+}
+
+.posts.multitasking {
+    border: 2px solid #556b2f;
+}
+
+.posts hr {
+    margin: 2rem 0;
+}
+
+.post-summary {
+    margin-bottom: 1rem;
+}
+
+.post-summary p {
+    display: inline;
+}
+
+.read-more {
+    margin-left: 5px;
+}
+
+.no-translation {
+    margin-top: 0.3rem;
+    color: #999999;
+}
+
+.post-category {
+    margin-right: 0.5rem;
+    text-transform: uppercase;
+    font-size: 0.8rem;
+    text-align: right;
+}
+
+.post-category.bare-bones {
+    color: #55d;
+}
+
+.post-category.memory-management {
+    color: #990;
+}
+
+.post-category.interrupts {
+    color: #f33;
+}
+
+.post-category.multitasking {
+    color: #556b2f;
+}
+
+.post-footer-support {
+    margin-top: 2rem;
+}
+
+.PageNavigation {
+    font-size: 0.9em;
+    display: table;
+    width: 100%;
+    overflow: hidden;
+}
+
+.PageNavigation a {
+    display: table-cell;
+}
+
+.PageNavigation .previous {
+    text-align: left;
+}
+
+.PageNavigation .next {
+    text-align: right;
+}
+
+footer.footer {
+    margin-top: 1rem;
+    margin-bottom: 1rem;
+}
+
+.footnotes {
+    font-size: 85%;
+}
+
+.footnotes li {
+    margin-bottom: 1rem;
+}
+
+sup,
+sub {
+    line-height: 0;
+}
+
+a.anchorjs-link:hover {
+    text-decoration: none;
+}
+
+#toc-aside {
+    display: none;
+}
+
+#toc-inline summary {
+    margin-bottom: 0.2rem;
+}
+
+aside#all-posts-link {
+    font-size: 90%;
+    margin-top: 0.5rem;
+}
+
+@media (min-width: 80rem) {
+    #toc-inline {
+        display: none;
+    }
+
+    #toc-aside {
+        display: block;
+        width: 12rem;
+        position: sticky;
+        float: left;
+        top: 3.5rem;
+        margin-top: -4rem;
+        margin-left: -15rem;
+        font-size: 90%;
+        line-height: 1.2;
+    }
+
+    #toc-aside li > a,
+    #toc-aside h2 {
+        opacity: 0.5;
+        transition: opacity 0.5s;
+    }
+
+    #toc-aside:hover li > a,
+    #toc-aside:hover h2 {
+        opacity: 1;
+    }
+
+    #toc-aside li.active > a {
+        font-weight: bold;
+    }
+
+    #toc-aside h2 {
+        font-size: 110%;
+        margin-bottom: 0.2rem;
+    }
+
+    #toc-aside ol {
+        margin: 0 0 0.2rem 0;
+        padding: 0 0 0 1rem;
+        list-style: none;
+    }
+
+    #toc-aside ol li a:before {
+        content: "";
+        border-color: transparent #008eef;
+        border-style: solid;
+        border-width: 0.35em 0 0.35em 0.45em;
+        display: block;
+        height: 0;
+        width: 0;
+        left: -1em;
+        top: 0.9em;
+        position: relative;
+    }
+
+    #toc-aside.coarse li ol {
+        display: none;
+    }
+
+    aside.page-aside-right {
+        position: absolute;
+        min-width: 11rem;
+        max-width: 17rem;
+        top: 4rem;
+        margin-left: 45rem;
+        margin-right: 2rem;
+        font-size: 90%;
+    }
+
+    aside.page-aside-right .block {
+        margin-bottom: 1.5rem;
+    }
+
+    aside.page-aside-right h2 {
+        font-size: 110%;
+        margin-bottom: 0.2rem;
+    }
+
+    aside.page-aside-right ul {
+        margin: 0 0 0.2rem 0;
+        padding: 0 0 0 1rem;
+    }
+
+    aside.page-aside-right ul li {
+        margin-top: 0.5rem;
+    }
+
+    #language-selector li {
+        margin-top: 0;
+    }
+
+    aside#all-posts-link {
+        position: fixed;
+        top: 1.25rem;
+        margin-top: 0;
+        margin-left: -15rem;
+    }
+}
+
+aside.page-aside-right time {
+    color: #9a9a9a;
+}
+
+a code {
+    color: var(--link-color);
+}
+
+a.zola-anchor {
+    opacity: 0;
+    position: absolute;
+    margin-left: -1.5em;
+    padding-right: 1em;
+    font-size: 0.6em;
+    vertical-align: baseline;
+    line-height: 2em;
+}
+
+:hover > a.zola-anchor {
+    opacity: 1;
+    text-decoration: none;
+}
+
+a.zola-anchor:hover {
+    text-decoration: none;
+}
+
+div.note {
+    padding: 0.7rem 1rem;
+    margin: 1rem 0.2rem;
+    border: 2px solid #6ad46a;
+    border-radius: 5px;
+    background-color: #99ff991f;
+}
+
+div.note p:last-child {
+    margin-bottom: 0;
+}
+
+div.warning {
+    padding: 0.7rem 1rem;
+    margin: 1rem 0.2rem;
+    border: 2px solid orange;
+    border-radius: 5px;
+    background-color: #ffa50022;
+}
+
+div.warning p:last-child {
+    margin-bottom: 0;
+}
+
+div.warning h2 {
+    margin-top: 0rem;
+}
+
+form.subscribe {
+    margin: 1rem;
+}
+
+div.subscribe-fields {
+    display: flex;
+}
+
+form.subscribe input {
+    padding: 0.5rem;
+    border: 1px solid #e5e5e5;
+}
+
+form.subscribe input[type="email"] {
+    flex: 1;
+}
+
+form.subscribe input[type="submit"] {
+    padding: 0.25rem 0.5rem;
+    cursor: pointer;
+}
+
+/* Asides */
+aside.post_aside {
+    font-style: italic;
+    padding: 0rem 1rem 0rem;
+    margin: 0.8rem 0;
+    border-left: 0.1rem solid #e5e5e5;
+    border-right: 0.1rem solid #e5e5e5;
+}
+
+details summary {
+    cursor: pointer;
+}
+
+details summary h3,
+details summary h4,
+details summary h5,
+details summary h6 {
+    display: inline;
+}
+
+.gh-repo-box {
+    border: 1px solid #d1d5da;
+    border-radius: 3px;
+    padding: 16px;
+    margin-top: 0.5rem;
+    color: #586069;
+    font-size: 80%;
+}
+
+.gh-repo-box .repo-link {
+    color: #0366d6;
+    font-weight: 600;
+    font-size: 120%;
+}
+
+.gh-repo-box .subtitle {
+    margin-bottom: 16px;
+}
+
+.gh-repo-box .stars-forks {
+    margin-bottom: 0;
+}
+
+.gh-repo-box .stars-forks a {
+    color: #586069;
+}
+
+.gh-repo-box .stars-forks a:hover {
+    color: #0366d6;
+    text-decoration: none;
+}
+
+.gh-repo-box .stars-forks svg {
+    vertical-align: text-bottom;
+    fill: currentColor;
+}
+
+.gh-repo-box .stars {
+    display: inline-block;
+}
+
+.gh-repo-box .forks {
+    display: inline-block;
+    margin-left: 16px;
+}
+
+.gh-repo-box .sponsor {
+    display: inline-block;
+    margin-left: 16px;
+}
+
+.hidden {
+    display: none;
+}
+
+.toc-comments-link {
+    margin-top: 0.5rem;
+}
+
+h5 {
+    font-style: italic;
+    font-size: 0.9rem;
+}
+.gray {
+    color: gray;
+}
+
+a strong {
+    color: #268bd2;
+}
+
+.right-to-left {
+    direction: rtl;
+    font-family: Vazir;
+}
+
+.left-to-right,
+.right-to-left pre,
+.right-to-left table,
+.right-to-left[id="toc-aside"] {
+    direction: ltr;
+}
+
+.status-update-list li {
+    margin-bottom: 0.5rem;
+}
+
+.giscus {
+    margin-top: 1.5rem;
+}
+
+img {
+    background-color: white;
+}
+
+/* Note that dark mode is experimental */
+
+.dark-mode-note {
+    display: none;
+}
+[data-theme="dark"] .dark-mode-note {
+    display: block;
+}
+@media (prefers-color-scheme: dark) {
+    /* defaults to dark theme */
+    .dark-mode-note {
+        display: block;
+    }
+    /* Override dark mode with light mode styles if the user decides to swap */
+    [data-theme="light"] .dark-mode-note {
+        display: none;
+    }
+}
+
+/* Manual switch between dark and light mode */
+
+.theme-switch {
+    margin-bottom: 1rem;
+
+    @media (min-width: 80rem) {
+        position: fixed;
+        left: 2rem;
+        bottom: 2rem;
+        margin-bottom: 0rem;
+    }
+}
+
+.light-switch {
+    @mixin light-switch-light {
+        // icon: https://icons.getbootstrap.com/icons/moon-fill/ (MIT licensed)
+        background-image: url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' fill='%23004' class='bi bi-moon' viewBox='0 0 16 16'%3E%3Cpath fill-rule='evenodd' d='M14.53 10.53a7 7 0 0 1-9.058-9.058A7.003 7.003 0 0 0 8 15a7.002 7.002 0 0 0 6.53-4.47z'/%3E%3C/svg%3E");
+    }
+
+    @mixin light-switch-dark {
+        // icon: https://icons.getbootstrap.com/icons/brightness-high-fill/ (MIT licensed)
+        background-image: url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' fill='%23ff9' class='bi bi-brightness-high-fill' viewBox='0 0 16 16'%3E%3Cpath d='M12 8a4 4 0 1 1-8 0 4 4 0 0 1 8 0zM8 0a.5.5 0 0 1 .5.5v2a.5.5 0 0 1-1 0v-2A.5.5 0 0 1 8 0zm0 13a.5.5 0 0 1 .5.5v2a.5.5 0 0 1-1 0v-2A.5.5 0 0 1 8 13zm8-5a.5.5 0 0 1-.5.5h-2a.5.5 0 0 1 0-1h2a.5.5 0 0 1 .5.5zM3 8a.5.5 0 0 1-.5.5h-2a.5.5 0 0 1 0-1h2A.5.5 0 0 1 3 8zm10.657-5.657a.5.5 0 0 1 0 .707l-1.414 1.415a.5.5 0 1 1-.707-.708l1.414-1.414a.5.5 0 0 1 .707 0zm-9.193 9.193a.5.5 0 0 1 0 .707L3.05 13.657a.5.5 0 0 1-.707-.707l1.414-1.414a.5.5 0 0 1 .707 0zm9.193 2.121a.5.5 0 0 1-.707 0l-1.414-1.414a.5.5 0 0 1 .707-.707l1.414 1.414a.5.5 0 0 1 0 .707zM4.464 4.465a.5.5 0 0 1-.707 0L2.343 3.05a.5.5 0 1 1 .707-.707l1.414 1.414a.5.5 0 0 1 0 .708z'/%3E%3C/svg%3E");
+    }
+
+    display: inline-block;
+    @include light-switch-light();
+
+    background-repeat: no-repeat;
+    width: 2rem;
+    height: 2rem;
+    cursor: pointer;
+    opacity: 0.6;
+
+    &:hover {
+        transform: scale(1.3);
+        transition: 200ms ease-out;
+        opacity: 1;
+    }
+
+    [data-theme="dark"] & {
+        @include light-switch-dark();
+    }
+
+    @media (prefers-color-scheme: dark) {
+        @include light-switch-dark();
+
+        [data-theme="light"] & {
+            @include light-switch-light();
+        }
+    }
+}
+
+/* Clear theme override and go back to system theme */
+
+.light-switch-reset {
+    @mixin light-switch-reset-light {
+        // icon: https://icons.getbootstrap.com/icons/x-circle-fill/ (MIT licensed)
+        background-image: url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='16' height='16' fill='%23666' class='bi bi-x-circle' viewBox='0 0 16 16'%3E%3Cpath d='M8 15A7 7 0 1 1 8 1a7 7 0 0 1 0 14zm0 1A8 8 0 1 0 8 0a8 8 0 0 0 0 16z'/%3E%3Cpath d='M4.646 4.646a.5.5 0 0 1 .708 0L8 7.293l2.646-2.647a.5.5 0 0 1 .708.708L8.707 8l2.647 2.646a.5.5 0 0 1-.708.708L8 8.707l-2.646 2.647a.5.5 0 0 1-.708-.708L7.293 8 4.646 5.354a.5.5 0 0 1 0-.708z'/%3E%3C/svg%3E");
+    }
+
+    @mixin light-switch-reset-dark {
+        // icon: https://icons.getbootstrap.com/icons/x-circle-fill/ (MIT licensed)
+        background-image: url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='16' height='16' fill='%23999' class='bi bi-x-circle' viewBox='0 0 16 16'%3E%3Cpath d='M8 15A7 7 0 1 1 8 1a7 7 0 0 1 0 14zm0 1A8 8 0 1 0 8 0a8 8 0 0 0 0 16z'/%3E%3Cpath d='M4.646 4.646a.5.5 0 0 1 .708 0L8 7.293l2.646-2.647a.5.5 0 0 1 .708.708L8.707 8l2.647 2.646a.5.5 0 0 1-.708.708L8 8.707l-2.646 2.647a.5.5 0 0 1-.708-.708L7.293 8 4.646 5.354a.5.5 0 0 1 0-.708z'/%3E%3C/svg%3E");
+    }
+
+    @include light-switch-reset-light();
+    vertical-align: bottom;
+    margin-left: 0.5rem;
+    background-repeat: no-repeat;
+    width: 2rem;
+    height: 2rem;
+    cursor: pointer;
+    opacity: 0.6;
+
+    display: none;
+    [data-theme="light"] & {
+        display: inline-block;
+    }
+    [data-theme="dark"] & {
+        @include light-switch-reset-dark();
+        display: inline-block;
+    }
+
+    @media (min-width: 80rem) {
+        position: fixed;
+        left: 4.5rem;
+        bottom: 2rem;
+    }
+
+    &:hover {
+        transform: scale(1.1);
+        transition: 200ms ease-out;
+        opacity: 1;
+    }
+}
diff --git a/blog/static/css/edition-2/main.css b/blog/static/css/edition-2/main.css
deleted file mode 100644
index 8fc7c411..00000000
--- a/blog/static/css/edition-2/main.css
+++ /dev/null
@@ -1,472 +0,0 @@
-h1 code, h2 code, h3 code, h4 code, h5 code, h6 code {
-  padding: 0;
-  color: #a0565c;
-  font-size: 95%;
-  background-color: inherit;
-}
-
-.masthead-title {
-  font-size: 1.25rem;
-  display: inline;
-}
-
-.masthead p {
-  font-size: 1.25rem;
-  display: inline;
-  margin: 0;
-  margin-left: 1rem;
-  padding: 0;
-  line-height: 1;
-}
-
-.front-page-introduction {
-  margin-bottom: 2rem;
-}
-
-.navigation {
-  float: right;
-}
-
-.navigation img {
-  height: 1em;
-  vertical-align: baseline;
-  display: inline-block;
-  margin: 0;
-  padding: 0;
-  border-radius: 0;
-}
-
-main img {
-  max-width: 100%;
-  margin: auto;
-}
-
-.post {
-  margin-bottom: 2em;
-}
-
-.post:last-child {
-  margin-bottom: 0em;
-}
-
-.frontpage-section {
-  margin-bottom: 2rem;
-}
-
-.posts {
-  padding: 1.5rem 1rem 0.5rem 1rem;
-  border-radius: 10px;
-  margin-bottom: 2rem;
-  margin-left: -0.5rem;
-  margin-right: -0.5rem;
-}
-
-.posts.neutral {
-  border: 2px solid #999;
-}
-
-.posts.subscribe {
-  border: 2px solid #aaa;
-}
-
-.posts.edition-1 {
-  border: 2px solid #aaa;
-  background-color: #99ff0022;
-}
-
-.posts.bare-bones {
-  border: 2px solid #66f;
-}
-
-.posts.memory-management {
-  border: 2px solid #fc0
-}
-
-.posts.interrupts {
-  border: 2px solid #f66;
-}
-
-.posts.multitasking {
-  border: 2px solid #556b2f;
-}
-
-.posts hr {
-  margin: 2rem 0;
-}
-
-.post-summary {
-  margin-bottom: 1rem;
-}
-
-.post-summary p {
-  display: inline;
-}
-
-.read-more {
-  margin-left: 5px;
-}
-
-.no-translation {
-  margin-top: .3rem;
-  color: #999999;
-}
-
-.post-category {
-  margin-right: 0.5rem;
-  text-transform: uppercase;
-  font-size: 0.8rem;
-  text-align: right;
-}
-
-.post-category.bare-bones {
-  color: #55d;
-}
-
-.post-category.memory-management {
-  color: #990;
-}
-
-.post-category.interrupts {
-  color: #f33;
-}
-
-.post-category.multitasking {
-  color: #556b2f;
-}
-
-.post-footer-support {
-  margin-top: 2rem;
-}
-
-.PageNavigation {
-  font-size: 0.9em;
-  display: table;
-  width: 100%;
-  overflow: hidden;
-}
-
-.PageNavigation a {
-  display: table-cell;
-}
-
-.PageNavigation .previous {
-  text-align: left;
-}
-
-.PageNavigation .next {
-  text-align: right;
-}
-
-footer.footer {
-  margin-top: 1rem;
-  margin-bottom: 1rem;
-}
-
-.footnotes {
-  font-size: 85%;
-}
-
-.footnotes li {
-  margin-bottom: 1rem;
-}
-
-sup, sub {
-  line-height: 0;
-}
-
-a.anchorjs-link:hover {
-    text-decoration: none;
-}
-
-#toc-aside {
-  display: none;
-}
-
-#toc-inline summary {
-  margin-bottom: .2rem;
-}
-
-aside#all-posts-link {
-  font-size: 90%;
-  margin-top: 0.5rem;
-}
-
-@media (min-width: 80rem) {
-  #toc-inline {
-    display: none;
-  }
-
-  #toc-aside {
-    display: block;
-    width: 12rem;
-    position: sticky;
-    float: left;
-    top: 3.5rem;
-    margin-top: -4rem;
-    margin-left: -15rem;
-    font-size: 90%;
-    line-height: 1.2;
-  }
-
-  #toc-aside li > a, #toc-aside h2 {
-    opacity: .5;
-    transition: opacity .5s;
-  }
-
-  #toc-aside:hover li > a, #toc-aside:hover h2 {
-    opacity: 1;
-  }
-
-  #toc-aside li.active > a {
-    font-weight: bold;
-  }
-
-  #toc-aside h2 {
-    font-size: 110%;
-    margin-bottom: .2rem;
-  }
-
-  #toc-aside ol {
-    margin: 0 0 .2rem 0;
-    padding: 0 0 0 1rem;
-    list-style:none;
-  }
-
-  #toc-aside ol li a:before {
-    content: "";
-    border-color: transparent #008eef;
-    border-style: solid;
-    border-width: 0.35em 0 0.35em 0.45em;
-    display: block;
-    height: 0;
-    width: 0;
-    left: -1em;
-    top: 0.9em;
-    position: relative;
-  }
-
-  #toc-aside.coarse li ol {
-    display: none;
-  }
-
-  aside.page-aside-right {
-    position: absolute;
-    min-width: 11rem;
-    max-width: 17rem;
-    top: 4rem;
-    margin-left: 45rem;
-    margin-right: 2rem;
-    font-size: 90%;
-  }
-
-  aside.page-aside-right .block {
-    margin-bottom: 1.5rem;
-  }
-
-  aside.page-aside-right h2 {
-    font-size: 110%;
-    margin-bottom: .2rem;
-  }
-
-  aside.page-aside-right ul {
-    margin: 0 0 .2rem 0;
-    padding: 0 0 0 1rem;
-  }
-
-  aside.page-aside-right ul li {
-    margin-top: .5rem;
-  }
-
-  #language-selector li {
-    margin-top: 0;
-  }
-
-  aside#all-posts-link {
-    position: fixed;
-    top: 1.25rem;
-    margin-top: 0;
-    margin-left: -15rem;
-  }
-}
-
-aside.page-aside-right time {
-  color: #9a9a9a;
-}
-
-a code {
-  color: #268bd2;
-}
-
-a.zola-anchor {
-  opacity: 0;
-  position: absolute;
-  margin-left: -1.5em;
-  padding-right: 1em;
-  font-size: 0.6em;
-  vertical-align: baseline;
-  line-height: 2em;
-}
-
-:hover>a.zola-anchor {
-  opacity: 1;
-  text-decoration: none;
-}
-
-a.zola-anchor:hover {
-  text-decoration: none;
-}
-
-div.note {
-  padding: .7rem 1rem;
-  margin: 1rem .2rem;
-  border: 2px solid #6ad46a;
-  border-radius: 5px;
-  background-color: #99ff991f;
-}
-
-div.note p:last-child {
-  margin-bottom: 0;
-}
-
-div.warning {
-  padding: .7rem 1rem;
-  margin: 1rem .2rem;
-  border: 2px solid orange;
-  border-radius: 5px;
-  background-color: #ffa50022;
-}
-
-div.warning p:last-child {
-  margin-bottom: 0;
-}
-
-form.subscribe {
-  margin: 1rem;
-}
-
-div.subscribe-fields {
-  display: flex;
-}
-
-form.subscribe input {
-  padding: .5rem;
-  border: 1px solid #e5e5e5;
-}
-
-form.subscribe input[type=email] {
-  flex: 1;
-}
-
-form.subscribe input[type=submit] {
-  padding: .25rem .5rem;
-  cursor: pointer;
-}
-
-/* Asides */
-aside.post_aside {
-  font-style: italic;
-  padding: 0rem 1rem 0rem;
-  margin: .8rem 0;
-  border-left: .1rem solid #e5e5e5;
-  border-right: .1rem solid #e5e5e5;
-}
-
-details summary {
-  cursor: pointer;
-}
-
-details summary h3, details summary h4, details summary h5, details summary h6 {
-  display: inline;
-}
-
-.gh-repo-box {
-  border: 1px solid #d1d5da;
-  border-radius: 3px;
-  padding: 16px;
-  margin-top: 0.5rem;
-  color: #586069;
-  font-size: 80%;
-}
-
-.gh-repo-box .repo-link {
-  color: #0366d6;
-  font-weight: 600;
-  font-size: 120%;
-}
-
-.gh-repo-box .subtitle {
-  margin-bottom: 16px;
-}
-
-.gh-repo-box .stars-forks {
-  margin-bottom: 0;
-}
-
-.gh-repo-box .stars-forks a {
-  color: #586069;
-}
-
-.gh-repo-box .stars-forks a:hover {
-  color: #0366d6;
-  text-decoration: none;
-}
-
-.gh-repo-box .stars-forks svg {
-  vertical-align: text-bottom;
-  fill: currentColor;
-}
-
-.gh-repo-box .stars {
-  display: inline-block;
-}
-
-.gh-repo-box .forks {
-  display: inline-block;
-  margin-left: 16px;
-}
-
-.gh-repo-box .sponsor {
-  display: inline-block;
-  margin-left: 16px;
-}
-
-.hidden {
-  display: none;
-}
-
-.toc-comments-link {
-  margin-top: .5rem;
-}
-
-h5 {
-  font-style: italic;
-  font-size: 0.9rem;
-}
-.gray {
-  color: gray;
-}
-
-a strong {
-  color: #268bd2;
-}
-
-.right-to-left {
-	direction: rtl;
-	font-family: Vazir;
-}
-
-.left-to-right, .right-to-left pre, .right-to-left table, .right-to-left[id="toc-aside"] {
-	direction: ltr;
-}
-
-.status-update-list li {
-  margin-bottom: .5rem;
-}
-
-#comments {
-  visibility: hidden;
-}
-
-.comment-directly-on-github {
-  margin-top: 1rem;
-}
diff --git a/blog/static/css/edition-2/poole.css b/blog/static/css/edition-2/poole.css
deleted file mode 100644
index 46057bb4..00000000
--- a/blog/static/css/edition-2/poole.css
+++ /dev/null
@@ -1,406 +0,0 @@
-/*
- *                        ___
- *                       /\_ \
- *  _____     ___     ___\//\ \      __
- * /\ '__`\  / __`\  / __`\\ \ \   /'__`\
- * \ \ \_\ \/\ \_\ \/\ \_\ \\_\ \_/\  __/
- *  \ \ ,__/\ \____/\ \____//\____\ \____\
- *   \ \ \/  \/___/  \/___/ \/____/\/____/
- *    \ \_\
- *     \/_/
- *
- * Designed, built, and released under MIT license by @mdo. Learn more at
- * https://github.com/poole/poole.
- */
-
-
-/*
- * Contents
- *
- * Body resets
- * Custom type
- * Messages
- * Container
- * Masthead
- * Posts and pages
- * Pagination
- * Reverse layout
- * Themes
- */
-
-
-/*
- * Body resets
- *
- * Update the foundational and global aspects of the page.
- */
-
-* {
-  -webkit-box-sizing: border-box;
-     -moz-box-sizing: border-box;
-          box-sizing: border-box;
-}
-
-html,
-body {
-  margin: 0;
-  padding: 0;
-}
-
-html {
-  font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
-  line-height: 1.5;
-}
-
-body {
-  color: #515151;
-  background-color: #fff;
-  -webkit-text-size-adjust: 100%;
-      -ms-text-size-adjust: 100%;
-}
-
-/* No `:visited` state is required by default (browsers will use `a`) */
-a {
-  color: #268bd2;
-  text-decoration: none;
-}
-/* `:focus` is linked to `:hover` for basic accessibility */
-a:hover,
-a:focus {
-  text-decoration: underline;
-}
-
-/* Headings */
-h1, h2, h3, h4, h5, h6 {
-  margin-bottom: .5rem;
-  font-weight: bold;
-  line-height: 1.25;
-  color: #313131;
-  text-rendering: optimizeLegibility;
-}
-h1 {
-  font-size: 2rem;
-}
-h2 {
-  margin-top: 1rem;
-  font-size: 1.5rem;
-}
-h3 {
-  margin-top: 1.5rem;
-  font-size: 1.25rem;
-}
-h4, h5, h6 {
-  margin-top: 1rem;
-  font-size: 1rem;
-}
-
-/* Body text */
-p {
-  margin-top: 0;
-  margin-bottom: 1rem;
-}
-
-strong {
-  color: #303030;
-}
-
-
-/* Lists */
-ul, ol, dl {
-  margin-top: 0;
-  margin-bottom: 1rem;
-}
-
-/* Nested lists */
-li ul, li ol, li dl {
-  margin-bottom: 0;
-}
-
-li ul + p, li ol + p, li dl + p {
-  margin-top: 1rem;
-}
-
-dt {
-  font-weight: bold;
-}
-dd {
-  margin-bottom: .5rem;
-}
-
-/* Misc */
-hr {
-  position: relative;
-  margin: 1.5rem 0;
-  border: 0;
-  border-top: 1px solid #eee;
-  border-bottom: 1px solid #fff;
-}
-
-abbr {
-  font-size: 85%;
-  font-weight: bold;
-  color: #555;
-  text-transform: uppercase;
-}
-abbr[title] {
-  cursor: help;
-  border-bottom: 1px dotted #e5e5e5;
-}
-
-/* Code */
-code,
-pre {
-  font-family: Menlo, Monaco, Consolas, monospace;
-}
-code {
-  padding: .25em .5em;
-  font-size: 85%;
-  color: #bf616a;
-  background-color: #f9f9f9;
-  border-radius: 3px;
-}
-pre {
-  display: block;
-  margin-top: 0;
-  margin-bottom: 1rem;
-  padding: .5rem;
-  font-size: .85rem;
-  line-height: 1.4;
-  white-space: pre;
-  overflow: auto;
-  word-wrap: normal;
-  background-color: #f9f9f9;
-}
-pre code {
-  padding: 0;
-  font-size: 100%;
-  color: inherit;
-  background-color: transparent;
-}
-.highlight {
-  margin-bottom: 1rem;
-  border-radius: 4px;
-}
-.highlight pre {
-  margin-bottom: 0;
-}
-
-/* Quotes */
-blockquote {
-  padding: .5rem 1rem;
-  margin: .8rem 0;
-  color: #7a7a7a;
-  border-left: .25rem solid #e5e5e5;
-}
-blockquote p:last-child {
-  margin-bottom: 0;
-}
-@media (min-width: 30rem) {
-  blockquote {
-    padding-right: 5rem;
-    padding-left: 1.25rem;
-  }
-}
-
-img {
-  display: block;
-  margin: 0 0 1rem;
-  border-radius: 5px;
-  max-width: 100%;
-  color: grey;
-  font-style: italic;
-}
-
-/* Tables */
-table {
-  margin-bottom: 1rem;
-  width: 100%;
-  border: 1px solid #e5e5e5;
-  border-collapse: collapse;
-}
-td,
-th {
-  padding: .25rem .5rem;
-  border: 1px solid #e5e5e5;
-}
-tbody tr:nth-child(odd) td,
-tbody tr:nth-child(odd) th {
-  background-color: #f9f9f9;
-}
-
-
-/*
- * Custom type
- *
- * Extend paragraphs with `.lead` for larger introductory text.
- */
-
-.lead {
-  font-size: 1.25rem;
-  font-weight: 300;
-}
-
-
-/*
- * Messages
- *
- * Show alert messages to users. You may add it to single elements like a `<p>`,
- * or to a parent if there are multiple elements to show.
- */
-
-.message {
-  margin-bottom: 1rem;
-  padding: 1rem;
-  color: #717171;
-  background-color: #f9f9f9;
-}
-
-
-/*
- * Container
- *
- * Center the page content.
- */
-
-.container {
-  max-width: 45rem;
-  padding-left:  1rem;
-  padding-right: 1rem;
-  margin-left:  auto;
-  margin-right: auto;
-}
-
-
-/*
- * Masthead
- *
- * Super small header above the content for site name and short description.
- */
-
-.masthead {
-  padding-top:    1rem;
-  padding-bottom: 1rem;
-  margin-bottom:  1rem;
-}
-.masthead-title {
-  margin-top: 0;
-  margin-bottom: 0;
-  color: #505050;
-}
-.masthead-title a {
-  color: #505050;
-}
-.masthead small {
-  font-size: 75%;
-  font-weight: 400;
-  color: #c0c0c0;
-  letter-spacing: 0;
-}
-
-
-/*
- * Posts and pages
- *
- * Each post is wrapped in `.post` and is used on default and post layouts. Each
- * page is wrapped in `.page` and is only used on the page layout.
- */
-
-.page {
-  margin-bottom: 4em;
-}
-
-/* Blog post or page title */
-.page-title,
-.post-title,
-.post-title a {
-  color: #303030;
-}
-.page-title,
-.post-title {
-  margin-top: 0;
-}
-
-/* Meta data line below post title */
-.post-date {
-  display: block;
-  margin-top: -.5rem;
-  margin-bottom: 1rem;
-  color: #9a9a9a;
-}
-
-/* Related posts */
-.related {
-  padding-top: 2rem;
-  padding-bottom: 2rem;
-  border-top: 1px solid #eee;
-}
-.related-posts {
-  padding-left: 0;
-  list-style: none;
-}
-.related-posts h3 {
-  margin-top: 0;
-}
-.related-posts li small {
-  font-size: 75%;
-  color: #999;
-}
-.related-posts li a:hover {
-  color: #268bd2;
-  text-decoration: none;
-}
-.related-posts li a:hover small {
-  color: inherit;
-}
-
-
-/*
- * Pagination
- *
- * Super lightweight (HTML-wise) blog pagination. `span`s are provide for when
- * there are no more previous or next posts to show.
- */
-
-.pagination {
-  overflow: hidden; /* clearfix */
-  margin-left: -1rem;
-  margin-right: -1rem;
-  font-family: "PT Sans", Helvetica, Arial, sans-serif;
-  color: #ccc;
-  text-align: center;
-}
-
-/* Pagination items can be `span`s or `a`s */
-.pagination-item {
-  display: block;
-  padding: 1rem;
-  border: 1px solid #eee;
-}
-.pagination-item:first-child {
-  margin-bottom: -1px;
-}
-
-/* Only provide a hover state for linked pagination items */
-a.pagination-item:hover {
-  background-color: #f5f5f5;
-}
-
-@media (min-width: 30rem) {
-  .pagination {
-    margin: 3rem 0;
-  }
-  .pagination-item {
-    float: left;
-    width: 50%;
-  }
-  .pagination-item:first-child {
-    margin-bottom: 0;
-    border-top-left-radius:    4px;
-    border-bottom-left-radius: 4px;
-  }
-  .pagination-item:last-child {
-    margin-left: -1px;
-    border-top-right-radius:    4px;
-    border-bottom-right-radius: 4px;
-  }
-}
diff --git a/blog/static/fonts/iosevka-regular.woff b/blog/static/fonts/iosevka-regular.woff
new file mode 100644
index 00000000..28128b60
Binary files /dev/null and b/blog/static/fonts/iosevka-regular.woff differ
diff --git a/blog/static/fonts/iosevka-regular.woff2 b/blog/static/fonts/iosevka-regular.woff2
new file mode 100644
index 00000000..8a963d64
Binary files /dev/null and b/blog/static/fonts/iosevka-regular.woff2 differ
diff --git a/blog/static/js/edition-2/main.js b/blog/static/js/edition-2/main.js
index dfa1dd4d..1ebee250 100644
--- a/blog/static/js/edition-2/main.js
+++ b/blog/static/js/edition-2/main.js
@@ -1,17 +1,21 @@
-window.onload = function() {
-  var container = document.querySelector('#toc-aside');
+window.onload = function () {
+  let theme = localStorage.getItem("theme");
+  if (theme != null) {
+    set_theme(theme)
+  }
 
+  let container = document.querySelector('#toc-aside');
   if (container != null) {
     resize_toc(container);
     toc_scroll_position(container);
-    window.onscroll = function() { toc_scroll_position(container) };
+    window.onscroll = function () { toc_scroll_position(container) };
   }
 }
 
 function resize_toc(container) {
-  var containerHeight = container.clientHeight;
+  let containerHeight = container.clientHeight;
 
-  var resize = function() {
+  let resize = function () {
     if (containerHeight > document.documentElement.clientHeight - 100) {
       container.classList.add('coarse');
     } else {
@@ -20,8 +24,8 @@ function resize_toc(container) {
   };
   resize();
 
-  var resizeId;
-  window.onresize = function() {
+  let resizeId;
+  window.onresize = function () {
     clearTimeout(resizeId);
     resizeId = setTimeout(resize, 300);
   };
@@ -32,7 +36,6 @@ function toc_scroll_position(container) {
     // skip computation if ToC is not visible
     return;
   }
-  var items = container.querySelectorAll("li")
 
   // remove active class for all items
   for (item of container.querySelectorAll("li")) {
@@ -40,15 +43,15 @@ function toc_scroll_position(container) {
   }
 
   // look for active item
-  var site_offset = document.documentElement.scrollTop;
-  var current_toc_item = null;
+  let site_offset = document.documentElement.scrollTop;
+  let current_toc_item = null;
   for (item of container.querySelectorAll("li")) {
     if (item.offsetParent === null) {
       // skip items that are not visible
       continue;
     }
-    var anchor = item.firstElementChild.getAttribute("href");
-    var heading = document.querySelector(anchor);
+    let anchor = item.firstElementChild.getAttribute("href");
+    let heading = document.querySelector(anchor);
     if (heading.offsetTop <= (site_offset + document.documentElement.clientHeight / 3)) {
       current_toc_item = item;
     } else {
@@ -61,3 +64,35 @@ function toc_scroll_position(container) {
     current_toc_item.classList.add("active");
   }
 }
+
+function toggle_lights() {
+  if (document.documentElement.getAttribute("data-theme") === "dark") {
+    set_theme("light")
+  } else if (document.documentElement.getAttribute("data-theme") === "light") {
+    set_theme("dark")
+  } else {
+    set_theme(window.matchMedia("(prefers-color-scheme: dark)").matches ? "light" : "dark")
+  }
+}
+
+function set_theme(theme) {
+  document.documentElement.setAttribute("data-theme", theme)
+  set_giscus_theme(theme)
+  localStorage.setItem("theme", theme)
+}
+
+function clear_theme_override() {
+  document.documentElement.removeAttribute("data-theme");
+  set_giscus_theme("preferred_color_scheme")
+  localStorage.removeItem("theme")
+}
+
+function set_giscus_theme(theme) {
+  let comment_form = document.querySelector("iframe.giscus-frame");
+  if (comment_form != null) {
+    comment_form.contentWindow.postMessage({
+      giscus: { setConfig: { theme: theme } }
+    }, "https://giscus.app")
+  }
+}
+
diff --git a/blog/templates/edition-2/base.html b/blog/templates/edition-2/base.html
index ca0447b5..d2b9f81a 100644
--- a/blog/templates/edition-2/base.html
+++ b/blog/templates/edition-2/base.html
@@ -6,17 +6,24 @@
     <meta charset="UTF-8">
     <meta name="apple-mobile-web-app-capable" content="yes">
     <meta name="viewport" content="width=device-width, initial-scale=1">
+    <meta name="color-scheme" content="light dark">
     <meta name="description" content="{% block description %}{{ config.description }}{% endblock description %}">
     <meta name="author" content="{{ config.extra.author.name }}">
 
     {% if current_url %}
         <link rel="canonical" href="{{ current_url | safe }}" />
     {% endif %}
-    <link href="/css/edition-2/poole.css" rel="stylesheet">
     <link href="/css/edition-2/main.css" rel="stylesheet">
 
     <link rel="alternate" type="application/rss+xml" title="RSS feed for os.phil-opp.com" href="{{ config.base_url | safe }}/rss.xml" />
 
+    <script>
+        let theme = localStorage.getItem("theme");
+        if (theme != null) {
+            document.documentElement.setAttribute("data-theme", theme);
+        }
+    </script>
+
     <script async src="/js/edition-2/main.js"></script>
 
     <title>{% block title %}{% endblock title %}</title>
@@ -34,6 +41,11 @@
             </div>
         </header>
 
+        <div class="theme-switch">
+            <div class="light-switch" onclick="toggle_lights()" title="Switch between light and dark theme"></div>
+            <div class="light-switch-reset" onclick="clear_theme_override()" title="Clear the theme override and go back to the system theme"></div>
+        </div>
+
         <div>
             {% block toc_aside %}{% endblock toc_aside %}
             <main>{% block main %}{% endblock main %}</main>
diff --git a/blog/templates/edition-2/index.html b/blog/templates/edition-2/index.html
index 4c893f5c..bab56839 100644
--- a/blog/templates/edition-2/index.html
+++ b/blog/templates/edition-2/index.html
@@ -118,6 +118,8 @@
             </p>
         </div>
     </div>
+
+    {{ snippets::dark_mode_note() }}
 </aside>
 
 {% endblock after_main %}
diff --git a/blog/templates/edition-2/page.html b/blog/templates/edition-2/page.html
index ba5f3e03..e1117506 100644
--- a/blog/templates/edition-2/page.html
+++ b/blog/templates/edition-2/page.html
@@ -130,6 +130,8 @@
             {% endfor %}</ul>
         </div>
         {%- endif %}
+
+        {{ snippets::dark_mode_note() }}
     </aside>
 
 {% endblock main %}
diff --git a/blog/templates/snippets.html b/blog/templates/snippets.html
index 14e34a42..96dbcf57 100644
--- a/blog/templates/snippets.html
+++ b/blog/templates/snippets.html
@@ -11,6 +11,16 @@
 {% endmacro support %}
 
 {% macro giscus(search_term) %}
+    {% if search_term is number %}
+        {% set discussion_url = "https://github.com/phil-opp/blog_os/discussions/" ~ search_term %}
+    {% else %}
+        {% set discussion_url = `https://github.com/phil-opp/blog_os/discussions/categories/post-comments?discussions_q="` ~ search_term ~ `"` %}
+    {% endif %}
+
+    <p class="comment-note">
+        Do you have a problem, want to share feedback, or discuss further ideas? Feel free to leave a comment here! Please stick to English and follow Rust's <a href="https://www.rust-lang.org/policies/code-of-conduct">code of conduct</a>. This comment thread directly maps to a <a href="{{ discussion_url }}"><em>discussion on GitHub</em></a>, so you can also comment there if you prefer.
+    </p>
+
     <div class="giscus"></div>
 
     <script src="https://giscus.app/client.js"
@@ -25,12 +35,22 @@
     {% endif %}
         data-term="{{ search_term }}"
         data-reactions-enabled="1"
+        data-emit-metadata="1"
         data-theme="preferred_color_scheme"
         crossorigin="anonymous"
         async>
     </script>
 
     <p class="comment-directly-on-github">
-        Instead of authenticating the <a href="https://giscus.app">giscus</a> application, you can also comment directly on the <span class="discussion_link">on GitHub. Just click the <i>"X comments"</i> link at the <a href="#comments">top</a> — or the date of any comment — to go to the GitHub discussion.</span>
+        Instead of authenticating the <a href="https://giscus.app">giscus</a> application, you can also comment directly <a href="{{ discussion_url }}"><em>on GitHub</em></a>.
     </p>
 {% endmacro giscus %}
+
+{% macro dark_mode_note() %}
+<div class="dark-mode-note warning">
+    <h2>Dark Mode is Experimental</h2>
+    <p>
+        We're still working on adjusting text colors, fixing images, and removing inconsistencies. If you have any problems, please <a href="https://github.com/phil-opp/blog_os/issues">file an issue</a>.
+    </p>
+</aside>
+{% endmacro dark_mode_note %}
diff --git a/blog/typos.toml b/blog/typos.toml
new file mode 100644
index 00000000..099243e3
--- /dev/null
+++ b/blog/typos.toml
@@ -0,0 +1,12 @@
+[files]
+extend-exclude = [
+    "*.svg",
+]
+
+[default.extend-words]
+IST = "IST" # Interrupt Stack Table
+SEH = "SEH" # structured exception handling
+
+[default.extend-identifiers]
+TheBegining = "TheBegining" # GitHub user mentioned in status reports
+h015bf61815bb8afe = "h015bf61815bb8afe" # mangled name used in code example
diff --git a/utterances.json b/giscus.json
similarity index 100%
rename from utterances.json
rename to giscus.json