# We have a conf and classes directory, add to BBPATH
BBPATH .= ":${LAYERDIR}"

# We have a recipes-* directories, add to BBFILES
BBFILES += "${LAYERDIR}/recipes-*/*/*.bb \
	${LAYERDIR}/recipes-*/*/*.bbappend"

BBFILE_COLLECTIONS += "{{=machine}}"
BBFILE_PATTERN_{{=machine}} = "^${LAYERDIR}/"
BBFILE_PRIORITY_{{=machine}} = "6"
