L4Re/Fiasco IO memory map.
adam at os.inf.tu-dresden.de
Wed Aug 15 13:30:32 CEST 2012
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
More information about the l4-hackers