まずはabogani氏の公開するリアルタイムカーネルをインストールして再起動します。
sudo add-apt-repository ppa:abogani/realtime sudo apt-get update sudo apt-get install linux-realtime sudo reboot
--
次に、GRUBの設定を変更して、起動時に自動的にrealtimeカーネルが選択されるようにします。
まずは/boot/grub/grub.cfgを直接見るか、/etc/default/grubのGRUB_HIDDEN_TIMEOUTをコメントアウトして、起動時にGRUBメニューを表示して構造を調べます。
realtimeと末尾についたmenuentryがメインメニューの3番目、サブメニューの7番目にあるとすると…
※grub.cfgの中にsubmenuキーワードを見落とさないように注意です…
/etc/default/grubにGRUB_DEFAULT="2>6"を設定します。
※メインメニュー、サブメニュー、ともに0から始まります
※メインメニューに存在する場合は場合は">"以降は必要ありません
あとはsudo update-grubすればOKです。
※http://d.hatena.ne.jp/jewel_lapislazuli/20121028/1351411377 参照
--
再起動して、リアルタイムカーネルが正しく選択されるかチェックします。
※一応、まずはGRUB_HIDDEN_TIMEOUTをコメントアウトした状態で再起動してみた方がいいと思います…自分は設定をミスってひどい目にあいました…
uname -a Linux mohammedthink 3.2.0-23-realtime #36~ppa1-Ubuntu SMP PREEMPT RT Wed Apr 11 06:37:34 UTC 2012 i686 i686 i386 GNU/Linux
0 件のコメント:
コメントを投稿