6.828: Operating System Engineering (44)

kernel

昨晩のナニですが、pgdir[PDX(VPT)] は pgdir [0x3bf] で、pgdir[PDX(UVPT)] は pgdir[0x3bd] ということになるのか。で、それぞれに pgdir の物理アドレスが格納されるので、コメントにあるように Recursively ということになるのか。

  • pages は UPAGES にマップされる模様
  • Kernel Stack が云々
  • 0 な pa を KERNBASE な va にマップされるとのこと

これで UPAGES から上のマップはできあがあるのか。で、ラストでページングを有効にして云々な模様。
やはりポイントは page_check だなぁ。

今日は

色々な意味でこれで終了。