linux: install device specific dts files

This commit is contained in:
Lukas Rusak 2017-03-14 12:06:20 -07:00
parent 5a43defa8a
commit f9f8d5c67e
No known key found for this signature in database
GPG Key ID: 8C310C807E7393A3

View File

@ -139,6 +139,10 @@ post_patch() {
sed -i -e "s|CONFIG_MXC_HDMI_CEC_SR=y||" $PKG_BUILD/.config
fi
fi
# install extra dts files
cp -v projects/$PROJECT/devices/$DEVICE/config/*-overlay.dts $PKG_BUILD/arch/$TARGET_KERNEL_ARCH/boot/dts/overlays/ || :
cp -v projects/$PROJECT/devices/$DEVICE/config/dt-blob.dts $PKG_BUILD/arch/$TARGET_KERNEL_ARCH/boot/dts/ || :
}
makeinstall_host() {