Is RTEMS paid support from OAR, as described at http://www.oarcorp.com/rtems_standard_support.htm , still in existence, or has that been discontinued in favor of the third parties described at http://www.rtems.com/support.html ? Ken Peters