Eclipse Threadx

[Gil1]

I have a project (STM32H7) using Eclipse ThreadX 6.4.0. I would like to use the safety certified version of ThreadX (6.4.2). How would I go about this transition? Is there an application note covering this subject?

Thanks,

Gil