Hi Is there any particular reason for why xf86-video-i810 is chosen over xf86-video-intel by default in xorg-drivers? The latter seems a lot faster here, but maybe there are stability and HW compatibility issues? I just want to make sure this is not an oversight ;)