>>34
armのドキュメント読みつつzynqでステップ実行しながらメモリの状態見てみたんだが、
以下の認識で合ってるだろうか？
・ページテーブルを構築
　　適当なメモリ領域にページテーブルを構築(要16kiBアラインメント)
　　(レジスタをいじって設定とかではなく例えば0x80000000番地に作っておく等)
・変換テーブルベースレジスタ(TTBR0、TTBR1)をセット
　　TTBR0はユーザー用、TTBR1はOS用
　　さっき用意したページテーブルの先頭アドレス(上位ビット)を渡す
　　下位ビットの方にその他の設定する
・システム制御レジスタ(CP15 c1、SCTLR)レジスタのMMU有効化ビットをON
　　SCTLRのBit0に1をセット