Hi Mark, 0xf8000000 | 00000012 | [520 <--> 521 ] This should cover memory in the range 0xf8000000-0xf8001fff Your timer @ 0xF8F00200 is not in this range. The global/private timers provided by Cortex-A9 CPU's are reserved for the kernel scheduler. Which platform are you using? Are there any other timers that you could use on this platform? - Alex On Sat, 2016-11-12 at 12:59 -0500, Mark Reus wrote:

Hi

I want to map the arm global timer which is located at memory location 0xF8F00200 .

However, when I am trying to get the physical frame using :

error = simple_get_frame_cap(&simple, (void*)global_timer_paddr, 12, &ep_cap_path); if (error) { ZF_LOGE("Failed to find frame at paddr %p\n", global_timer_paddr); return error; }

I get the Error Statement on stduout as "main@main.c:209 Failed to find frame at paddr 0xf8f00200"

If i print the bootinfo during bootup, I can see that I have access to this region

0xf8000000 | 00000012 | [520 <--> 521 ]

Can someone help me as why this issue may be caused? I know that this global timer is said to be mapped in the private region. But I do not what exactly that means and if we cannot do it.

Regards Mark _______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel