DEB_URL = https://repos.rcn-ee.com/debian/pool/main/l/linux-upstream/linux-headers-6.1.69-ti-rt-r22_1sid_armhf.deb kernel-headers.deb: curl -sLo- $(DEB_URL) > $@