Validation of OpenBSW with Threadx

Hello,

I'm looking into using ThreadX with OpenBSW.  I was wondering if you've done any official validation of the OpenBSW stack with ThreadX?  I checked the GitHub repo ([link to OpenBSW repo]) but didn't see anything specific.  Any information you can share would be greatly appreciated!