Dear Adam,
On Fri, Feb 13, 2009 at 5:32 AM, Adam Lackorzynski adam@os.inf.tu-dresden.de wrote:
The the data abort happens it should end up in the page fault handler and further on make a page visible at 0xc0080000. Does this happen or not?
Yes, and then it would stuck between irq_handler() and Timeslice_timeout::expired().
Best Regards, Tsai, Tung-Chieh