Guest User

Untitled

a guest
Feb 6th, 2015
214
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. GENODE_DIR = /home/envy/genode
  2. BASE_DIR = $(GENODE_DIR)/repos/base
  3. CONTRIB_DIR = $(GENODE_DIR)/contrib
  4.  
  5. ##
  6. ## Kernel-specific base repository
  7. ##
  8.  
  9. REPOSITORIES += $(GENODE_DIR)/repos/base-hw
  10.  
  11. ##
  12. ## Repositories needed for the default demo scenario
  13. ##
  14.  
  15. REPOSITORIES += $(GENODE_DIR)/repos/base
  16. REPOSITORIES += $(GENODE_DIR)/repos/os
  17. REPOSITORIES += $(GENODE_DIR)/repos/demo
  18.  
  19. ##
  20. ## Optional repositories
  21. ##
  22.  
  23. #
  24. # Ports of popular open-source libraries and the C library.
  25. #
  26. # Make sure to execute 'make prepare' in 'libports' prior building.
  27. #
  28. #REPOSITORIES += $(GENODE_DIR)/repos/libports
  29.  
  30. #
  31. # Qt4 tool kit
  32. #
  33. # The 'qt4' repository depends on 'libc' and 'libports'
  34. # Make sure to execute 'make prepare' in 'qt4' prior building.
  35. #
  36. #REPOSITORIES += $(GENODE_DIR)/repos/qt4
  37.  
  38. #
  39. # Ports of popular 3rd-party applications
  40. #
  41. # The 'ports' repository depends on 'libc', 'libports', and 'qt4'.
  42. # Make sure to execute 'make prepare' in 'ports' prior building.
  43. #
  44. #REPOSITORIES += $(GENODE_DIR)/repos/ports
  45.  
  46. #
  47. # Ports of the Linux TCP/IP stack and Linux drivers (USB) from the Linux kernel
  48. #
  49. #REPOSITORIES += $(GENODE_DIR)/repos/dde_linux
  50.  
  51. #
  52. # NetBSD file-system support
  53. #
  54. #REPOSITORIES += $(GENODE_DIR)/repos/dde_rump
  55.  
  56. #
  57. # High-level Genode-specific services and applications
  58. #
  59. # The 'gems' repository depends on 'libc', 'libports', and 'qt4'.
  60. #
  61. #REPOSITORIES += $(GENODE_DIR)/repos/gems
  62. REPOSITORIES += $(GENODE_DIR)/repos/trusted_apps
  63. REPOSITORIES += $(GENODE_DIR)/repos/libports
  64. RUN_OPT = --target uboot
RAW Paste Data