Ubuntu で　リアルタイムカーネルをインストールする方法
09/09/07 初版　清水正晴@fuRo

リアルタイムカーネルをインストール
$ sudo apt-get install linux-rt

リアルタイムカーネル用ドライバを再コンパイルしてインストールするために必要なヘッダーをインストール
$ sudo apt-get install linux-headers-rt 

再起動後、カーネル選択画面でリアルタイムカーネルを選択

OS起動後端末で

$ uname -a
Linux air 2.6.24-24-rt #1 SMP PREEMPT RT Sat Aug 22 02:59:05 UTC 2009 i686 GNU/Linux
                    ^^
と-rtがついていればリアルタイムカーネルでOS実行中
