Fiasco.OC with ARM TrustZone

[Adam Lackorzynski]

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
-- 
Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/