リアルタイムカーネル提供する出来るだけメジャーなディストリいくつか教えて！
Xも使いたいです。