No, with BACstac/32 package we supply a porting guide for the customer to do the porting to a specific microprocessor.  We have been involved with customers who have ported to Windows CE, VxWorks, RTEMS, and more.

Please contact us at products@cimetrics.com and we will give you the porting guide so you can evaluate the effort required.