Dell D3100, XPS 13 dev. edition / Gentoo Linux

[mlukaszek]

This does not look right:

[ 112.616091] DMAR: Allocating domain for evdi.0 failed

Not sure what could be causing this exactly. Have you compiled your kernel with CONFIG_INTEL_IOMMU (a bit of a blind shot to be honest, but it's the first time I see something like this logged)?

Thanks,
Michal