Fiasco.OC with ARM TrustZone

Adam Lackorzynski adam at
Tue Jun 11 22:38:12 CEST 2013

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 at

More information about the l4-hackers mailing list