L4Re/Fiasco IO memory map.

[Daniel Waddington]

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 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                 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
> http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers