L4Re/Fiasco IO memory map.

Adam Lackorzynski adam at os.inf.tu-dresden.de
Wed Aug 15 13:30:32 CEST 2012

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/

More information about the l4-hackers mailing list