Hi, We currently have the problem that the clock on our board does not seem to tick, or ticks extremely slow. This also happens in C code with the clock() function. It returns the exact same value for several seconds, and then only increments a fraction of what it should. Is this just some misconfiguration(I hand-crafted an Ubuntu 12.04 armhf OS), or a problem with my board?
