Azure ThreadX RTOS Licensing on S32K

[DrJonM]

Are there any plans to include S32K in the licensed hardware for Azure RTOS (like LPC5500 and i.MX RT117x)? 

Whilst licensing direct from Microsoft is not prohibitively expensive, it would be somewhat simpler if it was a pre-licensed device.

Thanks,

Jon.