aarch64-paging
aarch64-pagingクレートはAArch64仮想メモリシステムアーキテクチャに則ったページテーブルの生成を可能にします。
Speaker Notes
- 現時点ではEL1しかサポートされていませんが、他の例外レベルのサポートも簡単に追加できるはずです。
- これはAndroidでProtected VM Firmwareのために利用されています。
- この例は本物のハードウェアかQEMUを必要とするので、簡単には実行できません。