>>586 Linuxがリアルタイムカーネルになったのは最近なので、これからはしらんが、業界では専用のチップに載せれるようなRTOSを載せてオーディオ機器に仕立てる。
スタジオで使ってるわけじゃないから型番とか、そんなのは知らん。
RTOSは有料unixなので高い。すごく小さいからコンピュータだと意識しないかもしれん。