On Mon Jun 10, 2013 at 12:14:41 +0800, Chao-Jui Chang wrote:
Could you let me know how to check it and what to printf ?
Let's concentrate on the mct. In timer_mct.cpp there's a configure() function. At the end you add while (1) { printf("%lx\n", read<Mword>(Reg::L_TCNTO)); } also include <cstdio>. I'm not sure whether the particular register is the right one but I think so. When running this you should see different numbers all the time. So in this case the counter is at least working.
Adam