We are intending to use T1042 as our new generation SP card processor, and we'd like to run Freescale embedded Hypervisor on it. Above Hypervisor there will be two OS running, Linux 4.1 and VxWorks 6.9. Can you please tell me if there is a T1042 RDB to purchase ? If there is one, can you please send me the web page to get more information about the board ? Also can you please provide some information on which SDK version supports T1042 ?