Linuxってリアルタイム関連のAPIを使うのに
特殊なカーネルは必要なの?
RTLinuxを使わないとダメって本当?