Thanks Adam. OK - I can confirm I am stupid ;) I had not added the offset in the page. Apparently writing to some random piece of IO memory is not good ;-)
Fixed. Daniel
-----Original Message----- From: l4-hackers-bounces@os.inf.tu-dresden.de [mailto:l4-hackers- bounces@os.inf.tu-dresden.de] On Behalf Of Adam Lackorzynski Sent: Wednesday, August 15, 2012 4:31 AM To: l4-hackers@os.inf.tu-dresden.de Subject: Re: L4Re/Fiasco IO memory map.
Hi Daniel,
On Tue Aug 14, 2012 at 14:12:28 -0700, Daniel Waddington wrote:
I have a SATA controller card. When I try to map in the IO memory from the PCI BAR regs an NMI is generated - and the mapping doesn't seemed to have worked (fully?). What might generate this NMI?
The same platform/device works fine in Linux.
Strange. Does that happen right in the moment when the mapping is done or after that? Maybe some triggered MSI is the reason for an NMI but that's just a (silly) thought. I assume you did map it uncached etc?
Adam
Adam adam@os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/
l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers