Part Number: TM4C123GH6PM
Hi, I used STM32F407 boards with Keil-MDK 5 and now I'm trying to use the TM4C123GXL launchpad with CCS 7.1.
I used the STM32F4 to test FFT (Fast Fourier Transform) and FFT functions are provided from CMSIS-DSP library.

arm_cortexM4lf_math.lib
This library was used when testing FFT with STM32F4. I want to test FFT with TM4C123 MCU as well.
So my questions are,
1) I believe that library file is available for Keil-MDK. Since CCS doesn't use the Keil compiler, I think I have to use the GCC library (.a file).
After downloading TM4C123 SDK, is the GCC library file provided in the SDK?
2) If the application uses ROM_FPULazyStackingEnable, does the application need to use DSB and ISB instruction or not?
(Check the video 6:20)
-Best Regards