Armadilloフォーラム

Armadillo-420に搭載されているLinuxをRealTime化して使用したいと考えています。
ArmadilloにRealTimeカーネルを搭載して開発を行った経験がある方がいらっしゃいましたら、
どのようなRealTimeカーネルを使用して、どのように環境を構築したのか教えていただきたいです。
また、構築時や実際の動作時に気を付けるべきポイントなどありましたら合わせて教えていただきたいです。