Support for choosing a board

I am new in the embedded area, and need support for choosing an appropriate board for a project.

I have serious problems in finding a board with:

at least 2xADC channels
at least 1xUART/USART Port
at least 2x16-bit timers
at least 3xPWM outputs
at least 16 GPIO
should cost around 400$.
which is supported by Qnx.

I ve looked at the BSP table from the QNX website, and on the compatibility list, but i didnt found something appropriate.
Is it so difficult to find a board for that?

Thx a lot !