Anyone on the list ever used TimeSys linux? My company bought it and wants to move away from RTAI (at some point) so we can have professional support, but I am not so sure that their approach will provide performance as good as RTAI's. Any thoughts? Steve