I am using the TWRK21F120M BSP on a board that has the K22F120M MCU and I'm not sure at what speed the clock is running. It appears from the BSP that it uses the 'config 0' settings which look to be 120MHz, but I'm concerned the execution is running slowly. For example, toggling a GPIO bit using direct register access only runs at about 4.5MHz.
Am I mistaken about what default frequency the BSP is set to run, or is there something specifically I need to do to set the clock rate? Is it because I'm using a slightly different MCU? I noticed a note in the twr21f120m.h header (ln 134) that indicates 48MHz, which doesn't seem to match the values in bsp_cm.h so I'm not sure if it's a typo or I'm just confused.