Hello Markus,
I understand your mood , sorry for the inconvenient to you.
As you know the KDS use the GUN ARM Embedded Toolchain,
it includes many lib. And we may use many functions when development
proeject on KDS, so it hard to introduce all of that on User Guide.
So we can only check the we use which lib , then find what about the lib.
Or of course we are glad to you ask NXP support .
You can also search your problem on community , maybe someone else have
the same question , and have got the answer . If not , please contact us without
any hesitate.
I think you are in Christmas, While in my country , we don't have holidays at Christmas.
Happy holidays !
Alice