Re: Fiasco.OC with ARM TrustZone
Adam Lackorzynski <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.devel |
|---|---|
| Message-ID | <[email protected]> |
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 [email protected]
Lackorzynski http://os.inf.tu-dresden.de/~adam/