2006年1月14日 (土曜日)

22:13:45 # Life カーネルってどこのメモリに存在しているのだろう． そんなことを調べてみました． PAGE_OFFSETというのがおそらくカーネルの仮想アドレス の場所のはず． それをvirt_to_physで変換してあげれば確認できるだろう． とおもい，realkshをつかってテスト． powerpcでは仮想アドレスが0xc0000000, 実アドレスが0と出ました．本当か？

REAL ksh: #include <asm/io.h>
REAL ksh: printk("%x\n", PAGE_OFFSET);
  Building modules, stage 2.
KMSG: <4>c0000000

REAL ksh: printk("%lx\n", virt_to_phys((void*)PAGE_OFFSET));
  Building modules, stage 2.
KMSG: <4>0
	

x86_64では次のような結果がでました．これってあっているのか？

REAL ksh: printk("%lx\n", PAGE_OFFSET);
  Building modules, stage 2.
KMSG: <4>ffff810000000000

REAL ksh: printk("%lx\n", virt_to_phys((void*)PAGE_OFFSET));
  Building modules, stage 2.
KMSG: <4>0
REAL ksh:   
	

23:58:21 # Life dpkgメンテナがサバティカル． Scott James Remnantがサバティカルをとるということで引退宣言をしました． dpkgのメンテナンスがチームで運営されることになるようですが，今後どうなるでしょうか．