Andi Kleen wrote: > Is that a board with VIA chipset? Yep. > > VIA doesn't seem to support PCI accesses with addresses >4GB and they also > don't have a working GART IOMMU. > > It will likely work with iommu=force I'll give this a try.... I do get a line in dmesg which reads: PCI-DMA: Disabling IOMMU.