Guest User

Untitled

a guest
Mar 18th, 2013
56
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. Index: arch/l4/Kconfig
  2. ===================================================================
  3. --- arch/l4/Kconfig (revision 25)
  4. +++ arch/l4/Kconfig (working copy)
  5. @@ -235,6 +235,26 @@
  6. help
  7. Support for (virtual) TPMs provided by the L4 service STPM of TUD:OS.
  8. ...
  9. +
  10. +config PCI_GENODE
  11. + bool "Genode PCI"
  12. + depends on PCI
  13. + default y
  14. + help
  15. + Use (para-)virtual PCI bus.
  16. +
  17.  
  18.  
  19. --- arch/l4/Makefile (revision 25)
  20. +++ arch/l4/Makefile (working copy)
  21. ...
  22.  
  23. +ifeq ($(CONFIG_PCI_GENODE),)
  24. drivers-$(CONFIG_PCI) += arch/l4/pci/
  25. +endif
RAW Paste Data