Advertisement
Guest User

Untitled

a guest
May 14th, 2024
107
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Diff 0.66 KB | None | 0 0
  1. diff --git a/drivers/Makefile b/drivers/Makefile
  2. index 37fd6ce3bd7f..68ba7241e167 100644
  3. --- a/drivers/Makefile
  4. +++ b/drivers/Makefile
  5. @@ -66,6 +66,9 @@ obj-y             += char/
  6.  # iommu/ comes before gpu as gpu are using iommu controllers
  7.  obj-y              += iommu/
  8.  
  9. +# allow vfio to override device drivers
  10. +obj-$(CONFIG_VFIO)     += vfio/
  11. +
  12.  # gpu/ comes after char for AGP vs DRM startup and after iommu
  13.  obj-y              += gpu/
  14.  
  15. @@ -96,7 +99,6 @@ obj-$(CONFIG_ATM)     += atm/
  16.  obj-$(CONFIG_FUSION)       += message/
  17.  obj-y              += firewire/
  18.  obj-$(CONFIG_UIO)      += uio/
  19. -obj-$(CONFIG_VFIO)     += vfio/
  20.  obj-y              += cdrom/
  21.  obj-y              += auxdisplay/
  22.  obj-$(CONFIG_PCCARD)       += pcmcia/
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement