So Redlib is covered under "LA_OPT_TOOL Software Tools v14 January 2019; NXP SOFTWARE LICENSE AGREEMENT"? For some reason, I was under the impression that that agreement applied to components of the IDE itself (i.e. the stuff running on my development PC), and not to the object code that ends up in the target image I produce using the IDE. But upon closer examination of the agreement, it looks like it does cover "Compilable Software" which seems to include binary libraries. At least I think so.
