In the TM4C123G Launchpad Workshop page 129, there is a note about power modes. This note differentiate between processor clock and system clock. So what is the difference between them ? Is this a general concept or is it specific to the TM4C123GH6PM micro-controller ?
Different clocks control different parts of the microcontroller. One of those clocks control the main code, while the other controls timers. By using low power modes, you turn off the main code clock but leave the other on so your timer or adc or other peripheral that runs on that timer still works. Essentially all microcontroller work this way.