In first tutorial about discovery board we were blinking led. But I said nothing about system clock speed. In while loop we just use
// Waste some tome
for (i = 0; i < 500000; i++);
for some delay, to actually see how led was blinking. We didn’t know at which clock speed our processors work and for first time, I think you didn’t even ask yourself.