#
# Board support for Raspberry Pi family
#
#REPOSITORIES += $(GENODE_DIR)/repos/rpi