Linuxカーネルのサイズを調べる

objcopy -O binary vmlinux 出力ファイル名

として、ls -lか何かでサイズを調べる。

これでいい・・ですよね？

ref http://www.ctrlz.jp/kb/vmlinux.html