オペレーティング・システム入門―最新のLinuxカーネルを題材に読み解く組み込みシステム開発の常識 (TECHI―Embedded Software)