Cabeçalhos e scripts para Linux VFIO
