[okl4-developer] pagefault

[Pierre-Antoine Bernard]

Hi,

I am currently working on a port of OKL4 2.1.1 on an ATMEL AT91SAM9263 platform, specifically on the vtimer.
I developed a timer driver for that platform but I encounter strange problems at runtime.
The interrupt handling (kernel) seems to work, the vtimer sends asynchronous IPC every timeout (TIMER_PERIODIC) but after some random time a pagefault occurs (kernel access raised user pagefault @ 00000000, ip=f000b340, space=f0020778, esp = f001f6b4).
When I read at the ip address in the ELF image using objdump, I find it comes from the handle_pagefault function. It does not really help...

What could be the origin of the problem?

Regards,
Pierre
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.okl4.org/pipermail/developer/attachments/20080717/56f13391/attachment-0001.htm