一定時間以内の応答を保証する「Real Time Linux」が正式にカーネルに組み込まれる