1321073928.dat<>今のLinuxってどうみてもマイクロカーネルだよね (20)