I have a TWR-K65 board working with the FreeRTOS "hello_world" example using the windows version of KDS 3.2. Now I am trying to step through the initialization code that occurs before main gets called. Why are the initialization files like--(crt0.s, crtbegin.(s or c), crtend.(s or c)) not available in source code form as part of the KDS 3.2 release? Aren't these suppose to be released as part of the GCC tools per the GPL?