Prebuilt RTX libraries were provided by the CMSIS project but I believe that now they have stopped distributing them. Using the prebuilt libraries at the beginning of TF-M was just a practical choice, I’d very much welcome a contribution to build RTX from source
as part of the NS code. Do you think you can work towards that? Currently our bandwidth is limited to spend some engineering time on that but would very much appreciate any contributions.