L4Re/Fiasco IO memory map.
d.waddington at samsung.com
Wed Aug 15 17:52:34 CEST 2012
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
> -----Original Message-----
> From: l4-hackers-bounces at os.inf.tu-dresden.de [mailto:l4-hackers-
> bounces at os.inf.tu-dresden.de] On Behalf Of Adam Lackorzynski
> Sent: Wednesday, August 15, 2012 4:31 AM
> To: l4-hackers at 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 at os.inf.tu-dresden.de
> Lackorzynski http://os.inf.tu-dresden.de/~adam/
> l4-hackers mailing list
> l4-hackers at os.inf.tu-dresden.de
More information about the l4-hackers